Interface optimization problems for parabolic equations

Similar documents
The Heat Equation. Lectures INF2320 p. 1/88

Shape Optimization Problems over Classes of Convex Domains

Class Meeting # 1: Introduction to PDEs

Research Article Stability Analysis for Higher-Order Adjacent Derivative in Parametrized Vector Optimization

MATH 425, PRACTICE FINAL EXAM SOLUTIONS.

Solutions to Practice Problems for Test 4

Limits and Continuity

Math 241, Exam 1 Information.

Reference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.

Practice Final Math 122 Spring 12 Instructor: Jeff Lang

Duality of linear conic problems

Perron vector Optimization applied to search engines

OPTIMAL CONTROL OF A COMMERCIAL LOAN REPAYMENT PLAN. E.V. Grigorieva. E.N. Khailov

EXISTENCE AND NON-EXISTENCE RESULTS FOR A NONLINEAR HEAT EQUATION

Robust Geometric Programming is co-np hard

2.3 Convex Constrained Optimization Problems

Walrasian Demand. u(x) where B(p, w) = {x R n + : p x w}.

OPTIMAL SELECTION BASED ON RELATIVE RANK* (the "Secretary Problem")

Scheduling and Location (ScheLoc): Makespan Problem with Variable Release Dates

Further Study on Strong Lagrangian Duality Property for Invex Programs via Penalty Functions 1

On a comparison result for Markov processes

Notes on metric spaces

15 Limit sets. Lyapunov functions

Representation of functions as power series

88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a

Numerisches Rechnen. (für Informatiker) M. Grepl J. Berger & J.T. Frings. Institut für Geometrie und Praktische Mathematik RWTH Aachen

An optimal transportation problem with import/export taxes on the boundary

Fuzzy Differential Systems and the New Concept of Stability

Functional Optimization Models for Active Queue Management

An interval linear programming contractor

EXIT TIME PROBLEMS AND ESCAPE FROM A POTENTIAL WELL

General Theory of Differential Equations Sections 2.8, , 4.1

Numerical Methods for Differential Equations

Figure 2.1: Center of mass of four points.

Adaptive Numerical Solution of State Constrained Optimal Control Problems

Adaptive Online Gradient Descent

DEGREE THEORY E.N. DANCER

How To Understand The Theory Of Algebraic Functions

MATH 304 Linear Algebra Lecture 9: Subspaces of vector spaces (continued). Span. Spanning set.

CONSTANT-SIGN SOLUTIONS FOR A NONLINEAR NEUMANN PROBLEM INVOLVING THE DISCRETE p-laplacian. Pasquale Candito and Giuseppina D Aguí

Metric Spaces. Chapter Metrics

Section 12.6: Directional Derivatives and the Gradient Vector

Quasi-static evolution and congested transport

4 Lyapunov Stability Theory

Date: April 12, Contents

Lecture 10. Finite difference and finite element methods. Option pricing Sensitivity analysis Numerical examples

MATH PROBLEMS, WITH SOLUTIONS

College of the Holy Cross, Spring 2009 Math 373, Partial Differential Equations Midterm 1 Practice Questions

Sensitivity analysis of European options in jump-diffusion models via the Malliavin calculus on the Wiener space

TOPIC 4: DERIVATIVES

Increasing for all. Convex for all. ( ) Increasing for all (remember that the log function is only defined for ). ( ) Concave for all.

SOLUTIONS. f x = 6x 2 6xy 24x, f y = 3x 2 6y. To find the critical points, we solve

Extremal equilibria for reaction diffusion equations in bounded domains and applications.

SECOND-ORDER LINEAR DIFFERENTIAL EQUATIONS

A class of infinite dimensional stochastic processes

Finite covers of a hyperbolic 3-manifold and virtual fibers.

Convex analysis and profit/cost/support functions

THE CENTRAL LIMIT THEOREM TORONTO

The one dimensional heat equation: Neumann and Robin boundary conditions

Notes V General Equilibrium: Positive Theory. 1 Walrasian Equilibrium and Excess Demand

Parabolic Equations. Chapter 5. Contents Well-Posed Initial-Boundary Value Problem Time Irreversibility of the Heat Equation

SOLVING DIRECT AND INVERSE PROBLEMS OF PLATE VIBRATION BY USING THE TREFFTZ FUNCTIONS

Pacific Journal of Mathematics

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

15 Kuhn -Tucker conditions

Second-Order Linear Differential Equations

Fourth-Order Compact Schemes of a Heat Conduction Problem with Neumann Boundary Conditions

Multi-variable Calculus and Optimization

A QUICK GUIDE TO THE FORMULAS OF MULTIVARIABLE CALCULUS

ANALYTICITY OF SETS ASSOCIATED TO LELONG NUMBERS AND THE EXTENSION OF MEROMORPHIC MAPS 1

Consumer Theory. The consumer s problem

DIFFERENTIABILITY OF COMPLEX FUNCTIONS. Contents

OPTIMAl PREMIUM CONTROl IN A NON-liFE INSURANCE BUSINESS

arxiv:math/ v1 [math.st] 28 Dec 2001

ON CERTAIN DOUBLY INFINITE SYSTEMS OF CURVES ON A SURFACE

Differentiation of vectors

Wavelet analysis. Wavelet requirements. Example signals. Stationary signal 2 Hz + 10 Hz + 20Hz. Zero mean, oscillatory (wave) Fast decay (let)

DERIVATIVES AS MATRICES; CHAIN RULE

UNIVERSITETET I OSLO

Scalar Valued Functions of Several Variables; the Gradient Vector

Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces

AP Calculus BC 2006 Free-Response Questions

10.2 Series and Convergence

Solutions for Review Problems

1. Prove that the empty set is a subset of every set.

Load balancing of temporary tasks in the l p norm

Optimal Prediction of Resistance and Support Levels

Solutions of Equations in One Variable. Fixed-Point Iteration II

AP Calculus AB 2010 Free-Response Questions Form B

DIRICHLET S PROBLEM WITH ENTIRE DATA POSED ON AN ELLIPSOIDAL CYLINDER. 1. Introduction

Numerical concepts and error analysis for elliptic Neumann boundary control problems with pointwise state and control constraints

Homework #2 Solutions

Max-Min Representation of Piecewise Linear Functions

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Introduction to the Finite Element Method

Lecture Notes 10

1 Error in Euler s Method

2008 AP Calculus AB Multiple Choice Exam

4.5 Linear Dependence and Linear Independence

Transcription:

Control and Cybernetics vol. 23 (1994) No. 3 Interface optimization problems for parabolic equations by Karl-Heinz Hoffmann Lehrstuhl fiir Angewandte Mathematik Institut fiir Angewandte Mathematik und Statistik Technische Universitiit Miinchen Dachauer Strasse 9a, D-8000 Miinchen 2 Germany J an Sokolowski Systems Research Institute, Polish Academy of Sciences 01-447 Warsaw, ul. Newelska 6 Poland and Universite de Nancy I Departement de Mathematiques, B.P. 239 U.R.A-C.N.R.S. 750, Projet NUMATH, INRIA-Lorraine 54506 Vandoeuvre- Les-Nancy France An optimization problem for the heat equation with respect to the geometrical domain is considered. The existence of an optimal solution is obtained and the first order necessary optimality conditions are derived. 1. Introduction In this paper an optimization problem for the heat equation with respect to the geometrical domain is considered. Two C 1 curves are selected in an optimal way, the curves being the interfaces between the subsets of the lateral boundary of parabolic cylinder where the Neumann and Dirichlet boundary conditions are prescribed for the equation. The existence of an optimal solution is obtained by adding a regularizing term to the cost functional and the first order necessary optimality conditions are derived.

446 K.-H. HOFFMANN, J. SOKOLOWSKI The proofs of the results presented in the paper as well as some applications and numerical results are given in the forthcoming paper by Hoffmann and Sokolowski (1991). Let Q = 0 X (0, T), T > 0, denote a cylinder in ffi 3, where 0 E ffi 2 is a bounded domain with the smooth boundary ao. We assume that there are given compact, simply connected subsets K; C ao, i = 1, 2, such that K, 1 n K 2 = 0 and two sufficiently smooth curves X;(-) : [0, T]--. K; c ffi 3 on I;= an x [0, T]. The set I: consists of two subsets I:;, i = 1, 2, with I;"l n I:2 = u {X1(t) X t} U {X2(t) x t}. te[o,t] We assume that X;(-) E H 2 (0,T;ffi 2 ) fori= 1,2, and denote X= {X1,X2} E U = H 2 (0,T;ffi 4 ). ThesetofadmissiblecurvesUad ={X E H 2 (0,T;ffi 4 )1X(t) E K 1 x K 2 } obviously is not convex. The domain optimization problem can be formulated as follows inf J(X) XEUad with J(X) = ~ fo (y(x)- Yd) 2 dq + ~IIXII~ (1) where Yd E L 2 ( Q) is given, a ~ 0 is a regularization parameter. The function y(x)(x, t), X E Uad, (x, t) E Q, satisfies for a given function F E L 2 (Q) the heat equation ay at - -1\y = F ' in Q = 0 X (0, T) with given initial condition in 0 and mixed boundary conditions depending on X E Uad prescribed on the lateral boundary of Q. The boundary conditions are prescribed as follows: y = y(x) satisfies the nonhomegenuous Dirichlet condition on I;2 (resp. nonhomogenuous Neumann condition on I;1). In order to obtain the existence of an optimal domain i.e. the existence of an element X* E Uad such that J(X*) ; J(X) for all X E Uad, it is sufficient to select a family of admissible domains which is compact in an appropriate sense. For the problem under consideration it is sufficient to assume that for a minimizing sequence of domains { Qm} there exists a subsequence, still denoted { Qm}, such that the sequence of characteristic functions X m = characteristic function of I;~, converges in L 2 (I;) to a characteristic function X In order to have the existence of an optimal domain the standard approach of control theory is used, namely a regularizing term is introduced. We refer the reader to Sokolowski and Zolesio (1992) for a description of the material derivative method in the shape sensitivity analysis. The related results on the shape sensitivity analysis of optimal control problems can be found in Sokolowski (1987, 1988).

Inierfa.ce opiimiza.iion problems for pa.ra.bolic equa.iions 447 2. Parabolic equation in variable domain Let us consider the following parabolic equation if- Ay = F, in Q = n x (0, T) -?,;- = f, on E1 y = g, y(x, 0) = Yo(x), on E2 inn where J, g E L 2 (E) are given, and E; = { ( x, t) E f i ( t) x { t}, t E ( 0, T) } i = 1, 2 f 1(t) n f2(t) = X1(t) U X1(t) for all t E (0, T]. Here n is a given domain, an= f1(0) U f2(0) U {X1(0)} U {X2(0)}. We denote fo = fo(o), f1 =: f1(0). In order to derive the first order necessary optimality conditions for the optimization problem defined in the variable domain, we assume X1(t) = Tt(V)(XI(O)), X2(t) = Tt(V)(X2(0)), 'Vt E (0, T] for a given vector field V(.,.) E C(O, T + 81; C 1 (ffi.2, ill?)), 81 > 0 with the support in a compact of an. First, we investigate the differential stability of the solution to the parabolic equation with respect to the perturbations of the curves X 1 (t), X2(t) E an C rn.2, t E (0, T]. Let Xf (.),,q (.) be perturbed curves defined below, where c: E (0, o) is a parameter. Denote by Ye a solution to the parabolic equation in the perturbed domain, ~ -Aye = F, in Q = n x (0, T) ~ = J, on Ei Ye = g, on Et Ye(x, 0) = Yo(x), inn here f = fe, g = ge denote the restriction to E2 (resp. Ei) offunctions f (resp. g) defined on E. We assume that for sufficiently small t the curves X1(.), X2(.) are not perturbed

448 K.-H. HOFFMANN, J. SOKOLOWSKI Furthermore, we assume that X{(t), X2(t) E on, X{(t) ::j; X:2(t), Vt E [0, T ], VE: E [0, b) and there exist fori = 1, 2 the limits in H 2 (0, T; IR?) h; = lim ~(Xt - xn, e!o E; where h 1 (t), h 2 (t), t E (0, T), are the tangent vectors on :E = 80 x (0, T). In this section we derive the form of the derivative y 1 of the solution Ye = y(xe) E L 2 (Q) to the parabolic equation, with respect toe:, ate: = 0, assuming that the derivative exists in the space L 2 (Q). For the proof of the existence we refer the reader to Hoffmann and Sokolowski (1991). Using the transposition method it follows that the parabolic equation is equivalent to the following integral identit,y V<p E H 2, 1 (Q), t.p(t) = 0 in D, <p = 0 on :E2 Let us select a sufficiently smooth test function <p and let us assume that the test function is independent of the parameter E: i.e., <p = 0 in a small neighbourhood of I;~ C IR 3. If Ye is differentiable with respect to E:, at E: = 0, the derivative y 1 satisfies the following integral identity y'( - -- o<p D.<p)dxdt 0 n ot 1T 1 = r g ~<p.c(h)df + r Jt.p.C(h)df } ar-2 un } ar-1 V<p E H 2, 1 (Q), <p(t) = 0 in D, <p = 0 on :E2, where we denote h = { h 1 = lime!o ~(X{ - Xo), h2 = lime!o t(x2- xn, dl = (1 +I d~; (t) l2)1/2at, on X;, i = 1, 2 1.C(h)(t) = a(t) [hi(t) - (h;(t), V(t, X;(t))JR2/IIV(t, X;(t))ilnvL on X;, i = 1, 2

Interface optimization problems for pa.ra.bolic equations 449 REMARK 1 If the test function r.p is not sufficiently smooth, the right hand side of the integral identity for y' is not well defined. In such a case, assuming the differentiability of c: ---* Ye, the form of the derivative y' is defined by an auxiliary parabolic problem. PROPOSITION 1 There exist distributions g 0, g 1 supported on 8E 2 ( resp. on 8E 1 ) such that 1T r y 1 (- or.p- /:ir.p)dxdt 0 ln at \fr.p E H 2 1(Q), r.p(t) = 0 in fl, r.p = 0 on E2 = Eg 3. Optimization problem Finally, the necessary optimality conditions are derived for the following optimization probleum!-.----- Minimize the cost functional J(X) = ~it l (y,- Yd) 2 dxdt +~IIXIIu + /3 1 { g 2 de + f3 2 { f 2 de 2 2 }E 2 2 je 1 subject to the following nonconvex constraints X(t) = (X1(t), X2(t)) E Uad, for all t E [0, T], where a > 0, {3 1, {32 :::: 0 are given, U = H 2 (0, T; IR 4 ). PROPOSITION 2 There exists an optimal solution X E Uad for the optimization problem. In order to derive the first order necessary optimality conditions we assume that there exists a vector field V such that X;(t) =: 1t(V)(X;(O)) Vt E [0, T], i = 1, 2 A vector field H(.,.) defines an admissible perturbation of the optimal solution X provided that for c: > 0, c: small enough, Tt(V.)(X!(O)) E K-1, Tt(V.)(X2(0)) E K-2, Vt E [0, T] where V.= V+ c:h. For simplicity, we denote an optimal solution of the optimization problem by X. THEOREM 1 An optimal solution X E Uad satisfies the following optimality system State equation:

450 K.-H. HOFFMANN, J. SOKOLOWSKJ %? - D.y = F, in Q = n X (0, T)?, = J, on ~1 y=g, on~ 2 y(x, 0) = Yo(x), in fl Adjoint state equation: -%? - D.p = Y- Yd, in Q = fl x (0, T) y = 0, on ~2 p( X, T) = 0, in n Optimality conditions: for any admissible vector field H(.,.). Acknowledgement. Partially supported by Deutsche Forschungsgemeinschaft, SPP "Anwendungsbezogene Optimierung und Steuerung", and by the grant 2 1207 9101 of the State Comittee for Scientific Research of the Republic of Poland. References HOFFMANN, K.-H. AND SOKOLOWSKI, J. (1991) Domain optimization problem for parabolic equation, submitted for publication, and DFG Report No. 342, Augsburg. LIONS, J.L. AND MAGENES, E. (1968) Problemes aux Limites Non Homogenes et Applications. Vol.l, Dunod, Paris. SOKOLOWSKI, J. (1987) Sensitivity analysis of control constrained optimal control problems for-distributed parameter systems. SIAM J. Control and Op~ timization 25, 1542-1556.

Interfa.ce optimization problems for pa.ra.bolic equa.tions 451 SoKOLOWSKI, J. (1988) Shape sensitivity analysis of boundary optimal control problems for parabolic systems. SIAM Journal on Control and Optimization 26, 763-787. SOKOLOWSKI, J. AND ZoLESIO, J.-P. (1992) Introduction to Shape Optimization. Shape sensitivity analysis. Springer Ve,rlag.