control, optimal design and numerics · elliptic optimal design. control= shape of the domain....
TRANSCRIPT
![Page 1: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/1.jpg)
URJC, Diciembre 06.
Control, Optimal Design and Numerics
Enrique ZuazuaUniversidad Autonoma28049 Madrid, [email protected]
http://www.uam.es/enrique.zuazua
![Page 2: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/2.jpg)
DOMINO: Desarrollo de aplicacion informatica para el Diseno Optimo
aeronautico Mediante tecnIcas NOvedosas
http://www.dominoproject.com
SIMUMAT: Modelizacion Matematica y Simulacion Numerica en Cien-
cia y Tecnologia
http://www.simumat.es/ESP/
IMDEA: Instituto Madrileno de Estudios Avanzados - Matematicas
http://www.imdea.org/
![Page 3: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/3.jpg)
MOTIVATION / A FEW EXAMPLES:
• Noise reduction in cavities and vehicles.
Typically, the models involve the wave equation for the acoustic
waves coupled with some other equations modelling the dynam-
ics of the boundary structure, the action of actuators, possibly
through smart mechanisms and materials.
![Page 4: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/4.jpg)
http://www.ind.rwth-aachen.de/research/noise reduction.html
![Page 5: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/5.jpg)
Noise reduction is a subject to research in many different fields.
Depending on the environment, the application, the source sig-
nals, the noise, and so on, the solutions look very different. Here
we consider noise reduction for audio signals, especially speech
signals, and concentrate on common acoustic environments such
an office room or inside a car. The goal of the noise reduction is
to reduce the noise level without distorting the speech, thus re-
duce the stress on the listener and - ideally - increase intelligibility.
![Page 6: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/6.jpg)
• Quantum control and Computing.
Laser control in Quantum mechanical and molecular systems to
design coherent vibrational states.
In this case the fundamental equation is the Schrodinger equation
that may be viewed as a wave equation with inifnite speed of
propagation. The laser beam interacts with the Schrodinger free
dynamics:
![Page 7: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/7.jpg)
P. Brumer and M. Shapiro, Laser Control of Chemical reactions,
Scientific American, March, 1995, pp.34-39.
![Page 8: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/8.jpg)
• Seismic waves, earthquakes: The interaction of seismic waves
with buildings...
F. Cotton, P.-Y. Bard, C. Berge et D. Hatzfeld, Qu’est-ce qui fait
vibrer Grenoble?, La Recherche, 320, Mai, 1999, 39-43.
![Page 9: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/9.jpg)
• Flexible structures.
SIAM Report on “Future Directions in Control Theory. A Math-
ematical Perspective”, W. H. Fleming, Chairman, 1988.
![Page 10: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/10.jpg)
And many others...
![Page 11: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/11.jpg)
The human cardiovascular system: Blood in arteries.
![Page 12: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/12.jpg)
The Tames barrier
![Page 13: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/13.jpg)
KEY WORDS AND IDEAS:
CONTROL
∼ OPTIMIZATION
∼ OPTIMAL DESIGN
Optimal design or optimal shape design = Control problem in which
the control variable is the shape of the domain where the dynamics
under consideration evolves.
![Page 14: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/14.jpg)
MAIN STRATEGY:
Use a descent method for efficiently reaching the minimum.
For that, an efficient computation of gradients is needed.
When the deformations under consideration involve many variables(shape functions) the gradient is constituted by very many directionalderivatives.
The short-cut: The adjoint state!
The adjoint system looks very much like the state equation. It pro-vides all directional derivatives and accelerates the efficiency of thedescent method.
![Page 15: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/15.jpg)
TWO APPROACHES
* PDE approach:
PDE → Control Theory for PDE → Continuous Adjoint
→ Numerical approximation of controls.
* Finite-dimensional approach:
PDE → numerical approximation of PDE → Discrete Adjoint
→ control for the numerical scheme/finite dimensional model.
![Page 16: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/16.jpg)
COMPARISON:
THE PDE APPROACH:
Advantages:
• It is more consistent with the developments of Continuum Mechancis.
It uses really PDE modelling.
• There is a well established theory of PDE’s and also of numerical
approximation schemes.
![Page 17: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/17.jpg)
The drawbacks:
• The existing theory is often insufficient to deal with realistic and
complex models;
• It requires a master of various sophisticated tools: Functional
Analysis, Geometry, Asymptotics of Solutions, Numerical Analy-
sis,....
• Numerical analysis is required twice: One to approximate the state
equations and another one for the adjoint ones.
![Page 18: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/18.jpg)
THE FINITE-DIMENSIONAL APPROACH:
Advantages:
• It requires less sophisticated mathematical tools.
• It is closer to the effective computer programming.
![Page 19: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/19.jpg)
The drawbacks:
• Many numerical schemes are not differentiable (“if conditions” forupwinding and viscosity).
• It may ignore some subtle and relevant aspects on the behaviorof solutions;
• Numerical schemes that are stable for solving IVP may be unstablefor control.
• One may loose intuition about the behavior and nature of theadjoint state.
![Page 20: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/20.jpg)
DO BOTH APPROACHES GIVE THE SAMERESULTS?
DO THE PROCESSES OF CONTROL ANDNUMERICS COMMUTE?
IN GENERAL THEY DO NOT, THIS IS PARTICULARLY THE
CASE FOR WAVE-LIKE PHENOMENA.
![Page 21: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/21.jpg)
WHY? SPURIOUS NUMERICAL SOLUTIONS!
![Page 22: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/22.jpg)
THE SOLUTION?
A CLEVER COMBINATION OF BOTH CONTINUOUS AND DIS-
CRETE APPROACHES.
![Page 23: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/23.jpg)
DOMINO Project: AIRBUS-Spain, INTA (Instituto Nacional deTecnicas Aeronauticas), UAM.
![Page 24: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/24.jpg)
![Page 25: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/25.jpg)
![Page 26: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/26.jpg)
![Page 27: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/27.jpg)
![Page 28: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/28.jpg)
![Page 29: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/29.jpg)
![Page 30: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/30.jpg)
![Page 31: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/31.jpg)
![Page 32: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/32.jpg)
![Page 33: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/33.jpg)
![Page 34: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/34.jpg)
![Page 35: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/35.jpg)
![Page 36: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/36.jpg)
![Page 37: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/37.jpg)
![Page 38: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/38.jpg)
A MATHEMATICAL EXAMPLE
FINITE ELEMENT APPROXIMATION OFOPTIMAL SHAPE DESIGN PROBLEMS
D. Chenais & E. Z., Finite Element Approximation of 2D Elliptic
Optimal Design, JMPA, 85 (2006), 225-249.
M. Cea & E. Z., Finite Element Approximation of 2D Parabolic Op-
timal Design Problems, Numerical Mathematics and And Advanced
Applications, ENUMATH 2005, A. Bermudez de Castro et al., eds,
Springer, 2006, pp. 151-176.
![Page 39: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/39.jpg)
To choose the optimal domain Ω within the class of domains, em-bedded in the pave D and containing the subdomain ω.
![Page 40: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/40.jpg)
The number of applications is hughe:
* Design of flexible structures.
* Location of pollutants.
* Optical fibers, wave guides.
* Medicine, Biology,...
![Page 41: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/41.jpg)
OPTIMAL DESIGN
∼
OPTIMIZATION PROCESS INVOLVING GEOMETRIES AND SHAPES.
![Page 42: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/42.jpg)
Elliptic optimal design. Control= Shape of the domain. State equa-
tion = Dirichlet Laplacian.
Dimension n = 2, Sverak: There exists an optimal domain in the class
of all open subsets of a given bounded open set, whose complements
have a uniformly bounded number of connected components.
Key point: compactness of this class of domais with respect to the
complementary-Hausdorff topology and the continous dependence of
the solutions of the Dirichlet laplacian in H1 with respect to it.
![Page 43: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/43.jpg)
It is well known that, when the number of holes is unlimited, ho-mogenization phenomena arise and the minimum is not achieved.Cioranescu-Murat: −∆→ −∆ + µ.
![Page 44: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/44.jpg)
COMMON COMPUTATIONAL/NUMERICAL PRACTICE:
* Continous optimal design → discrete finite-element version.
* Compute the discrete optimal shape (discrete optimization or shape
and topological derivatives, level set methos,...)
The choice of one method or another depends very much on the
expertise and computational capacities.
THE PROBLEM:
Do these methods converge? YES!
![Page 45: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/45.jpg)
Key point : finite-element approximations of the solution of the
Dirichlet laplacian converge in H1 whenever the polygonal domains
converge in the sense of Hc-topology.
This provides a rigorous justification to the most common engineering
procedures in numerical simulation of optimal design problems.
![Page 46: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/46.jpg)
OPTIMAL SHAPE DESIGN+NUMERICS
=
NUMERICS+OPTIMAL SHAPE DESIGN
![Page 47: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/47.jpg)
The triangulation of the pave and the fixed subdomain (constraint)
from which all admissible discrete domains have to be built.
![Page 48: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/48.jpg)
The class of admissible domains for the discrete problem. This time
the admissible domains need to be unions of triangles from the dis-
crete mesh.
![Page 49: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/49.jpg)
![Page 50: Control, Optimal Design and Numerics · Elliptic optimal design. Control= Shape of the domain. State equa-tion = Dirichlet Laplacian. Dimension n = 2, Sver`ak˘ : There exists an](https://reader033.vdocuments.us/reader033/viewer/2022041909/5e6658be7046d02a910bc192/html5/thumbnails/50.jpg)
CONCLUSION:
* Control and Optimal Design Problems are ubiquitous:
* There is an important need of using deep tools of mathematics:
PDE, Numerical Analysis and Simulations, etc.
* There are challenging and difficult open problems requiring impor-
tant efforts. In particular melting continuous and discrete approaches
shbould be a priority.