A positional control problem for a nonlinear parabolic system

DOI10.1007/BF02754188MaRDI QIDQ5942096zbMATH OpenOpenAlexFDO

Publication date 19 August 2002

Published in Differential Equations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02754188

cooled fluid shape existence theorem guaranteed control incomplete information perturbation reachability solidification of a material

Mathematics Subject Classification ID

Homogenization in context of PDEs; PDEs in media with periodic structure (35B27) Nonlinear parabolic equations (35K55) Thermal effects in solid mechanics (74F05) Attainable sets, reachability (93B03) Control/observation systems governed by partial differential equations (93C20) Perturbations in control/observation systems (93C73)

Review text

This is a continuation of previous work by the same author. The problem consists in determining the so-called guaranteed control, where the phase trajectory ends in a previously designated set. In this case the system describes the solidification of a material. In addition to the control, the author also considers an uncontrolled perturbation. Specifically, the domain \(\Omega\subset \mathbb{R}^n\), \(n= 2\) or \(3\), with sufficiently smooth boundary describes the shape of the material. A nonlinear system of coupled equations describing the process of solidification of a cooled fluid shape was originally introduced by the author in [ibid. 28, 961--967 (1992; Zbl 0837.93032) and ibid. 27, 597--603 (1991; Zbl 0785.93050)]. The earlier work on this type of problem was done by \textit{Yu. S. Osipov} and collaborators [see for example Sov. Math., Dokl. 12, 262--266 (1971); translation from Dokl. Akad. Nauk SSSR 196, 779--782 (1971; Zbl 0229.90067), J. Appl. Math. Mech. 35, 92--99 (1971); translation from Prikl. Mat. Mekh. 35, 123--131 (1971; Zbl 0254.90069)]. Because of a cubic nonlinearity, the \(H'(\Omega)\) space is embedded in \(L_6\). After a brief statement describing the feedback control under incomplete information, the author sets out to prove its existence. It is stated in the classical formalism: Given an \(\varepsilon> 0\) there exists an \(h_0(\varepsilon)\) such that etc., describing the fact that the state of the system ends in the prescribed admissible set. The proof of this existence theorem requires first the proofs of several highly non-trivial inequalities, using the Lions-Magenes kind of arguments, plus some tricks of the trade. The algorithm described by the author is stable under a priori described perturbations. This is a difficult project requiring familiarity with the modelling of industrial solidification processes, yet at the same time following faithfully the tradition of J.-L. Lions in maintaining functional analytic rigor.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: A positional control problem for a nonlinear parabolic system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5942096)