Technische Universität Berlin
|
|
- Shannon McCarthy
- 6 years ago
- Views:
Transcription
1 Technische Universität Berlin Institut für Mathematik Regularity of the adjoint state for the instationary Navier-Stokes equations Arnd Rösch, Daniel Wachsmuth Preprint 1-4 Preprint-Reihe des Instituts für Mathematik Technische Universität Berlin Report 1-4 April 4
2
3 Adjoint state regularity 1 Regularity of the adjoint state for the instationary Navier-Stokes equations 1 Arnd Rösch, Daniel Wachsmuth 3 Abstract. In this article, we are considering imbeddings of abstract functions in spaces of functions being continuous in time. A family of functions depending on certain parameters is discussed in detail. In particular, this example shows that such functions do not belong to the space C([, T ], H). In the second part, we investigate an optimal control problem for the instationary Navier-Stokes equation. We will answer the question, in which sense the initial value problem for the adjoint equation can be solved. Key words. Vector-valued functions, imbeddings, optimal control, Navier-Stokes equations, regularity of adjoints AMS subject classifications. Primary 46E4, Secondary 49N6 1. Introduction. In this paper, we will study the regularity of abstract functions. The discussed properties are heavily connected to the optimal control of instationary Navier-Stokes equations. Here, the gradient of a given objective functional is evaluated by means of an adjoint state. The adjoint state is itself the solution of an evolution equation. The discussion of abstract functions in the first part of the paper will reflect important properties of the adjoint state. The aim of the present article is two-folded. At first, we want to shed light on imbeddings of abstract functions in spaces of continuous functions. We have to refer to the mostly classical results due to Lions, [4]. Given a Gelfand triple V H V, the space { W (, T ) = y L d (, T ; V ) : dt y L (, T ; V ) is continuously imbedded in C([, T ], H). In a recent research paper, the question of compact imbeddings is considered, []. However, to the knowledge of the authors there are no further results in the literature generalizing the result of Lions substantially except the following one in the book of Dautray and Lions [4, XVIII.3.5, p. 51]. They wrote, that it suffices to require d dt y L1 (, T ; V ) to get the continuity y C([, T ], H). Since the adjoint state of the Navier-Stokes equation does not belong to W (, T ) in general, this result in [4] is used in different papers concerning the optimal control of the instationary Navier-Stokes equation, see [8, 1, 11, 14]. In this paper, we will show that this more general imbedding result cannot be true. To this aim we discuss a family of functions depending on certain parameters in detail. Nevertheless, the authors want to point out that in our opinion the incorrectness of the imbedding result in [4] does not influence the main results in the mentioned papers [8, 1, 11, 14]. 1 This work was partially supported by DFG SFB 557 Control of complex turbulent shear flows at TU Berlin. Johann Radon Institute for Computational and Applied Mathematics (RICAM), Austrian Academy of Sciences, Altenbergerstraße 69, A-44 Linz, Austria. 3 Institut für Mathematik, Technische Universität Berlin, Str. des 17. Juni 136, D-163 Berlin, Germany.
4 Arnd Rösch, Daniel Wachsmuth These examples shows also that the result of Amann [] is really sharp. The second part of the article deals with the adjoint state connected with an optimal control problem for the instationary Navier-Stokes equations. For certain regularity of the data it belongs to the space W (, 4/3; V, V ) := { y L (, T ; V ) : d dt y L4/3 (, T ; V ). As already mentioned, one cannot expect that this space is imbedded in C([, T ], H). Naturally, there arises the question: is there an imbedding of W (, 4/3; V, V ) in C([, T ], X), where X is a space of weaker topology than H? The article is organized as follows: In Section, we construct families of functions and study regularity properties. In the second part, Section 3, we give a brief overview of the theory of optimal control for instationary Navier-Stokes equations. Finally, we present a regularity result of the adjoint state. A last example shows that this regularity cannot be improved by imbedding arguments.. Counterexamples. Here, we will deal with imbeddings of abstract functions in spaces of continuous functions. At first, we state the most classical result in this field. Let V H V be a Gelfand triple. Theorem.1. The space W (p, q; V, V ) := { y L p (, T ; V ) : is continuously imbedded in C([, T ], H) if 1/p + 1/q 1. d dt y Lq (, T ; V ) For the proof in the case p = q = we refer to [4]. It can be easily adapted to the case 1/p + 1/q = 1, cf. [5]. In the sequel, we will construct several functions which are in W (p, q; V, V ), where p, q do not meet the assumptions of the previous theorem. We prove that in the case 1/p+1/q > 1 there is no imbedding W (p, q; V, V ) C([, T ], H). We are also looking for a positive result of the kind: for given p, q the space W (p, q; V, V ) is continuously imbedded in C([, T ], X), where X is a space with weaker topology than H. Consider the following example: Let Ω = [, 1] and T >. Set V := H 1 (Ω), H = L (Ω), and V induced by the H-scalar product such that V H V forms a Gelfand-triple. Define a function f α,k over Ω [, T ] by f α,k (x, t) = n 1/ e ( nαt) sin n k πx, (.1) where k is a natural number. Lemma.. The function f α,k given by (.1) has the following properties: (i) f α,k C([, T ]; H) for α >, (ii) f α,k L p (, T ; V ) for p < α k+1/, (iii) d dt f α,k L q (, T ; V ) for q < α α+1/ k. Proof. Set v n (x) := sin n k πx. At first, observe that the functions v n are orthogonal with respect to the H as well as to the V -scalar product. It holds v n H = 1 and v n V = 1 n k π.
5 Adjoint state regularity 3 Now, we want to derive the V -norm of v n. Let φ V be a test function. After partial integration, we find using the Cauchy-Schwarz inequality v n, φ V,V = 1 sin(n k πx) φ(x) dx = 1 n k π 1 cos(n k πx) φ (x) dx 1 nk π φ V. This allows us to conclude v n V 1 nk π. Setting φ(x) := v n (x), we obtain v n V = 1 π n k. (i) Let f N α,k be the function defined by the finite series fα,k(x, N t) = n 1/ e ( nαt) sin n k πx. For t =, we obtain f N α,k(x, ) = Consequently, we find for the L -norm f N α,k(, ) H = n 1/ sin n k πx. 1 T sin n k πx dx = n 1 n. This series grows unboundedly for N. Therefore, f α,k () cannot belong to H, which implies that f α,k is not in C([, T ]; H). (ii) Again, we consider the finite series fα,k N. We want to estimate the Lp (, T ; V )- norm of fα,k N. We derive first using Hölders inequality ( ( T N ) p fα,k N L p (V ) = n 1/ e ( nαt) v n V dt )1/p ( ) T ) 1/p p (n 1/ e ( nαt) v n V dt. The integral on the right-hand side can be computed by ) p ( ) p π (n 1/ e ( nαt) v n V dt = n p(k 1/) e ( pnαt) dt 1 ( ) p π n p(k 1/) α. p
6 4 Arnd Rösch, Daniel Wachsmuth Hence, we arrive at the estimate f N α,k Lp (V ) This series will be finite for N, if π p p n k 1/ α/p. k 1/ α/p < 1 or equivalently p < α k + 1/ holds. (iii) Similarly, the L q (, T ; V )-estimate can be proven. We shall begin with ( ( d dt f T N q )1/q α,k N = n α 1/ e ( nαt) v n V ) dt Lq (V ) ( ) T ( 1/q q n α 1/ e ( nαt) v n V ) dt. We find for the time integral ( ) ( ) q q 1 T n α 1/ e ( nαt) v n V dt = n q(α k 1/) π 1 q ( 1 π ) q n q(α k 1/) α. e ( qnα t) dt This implies d dt f α,k N 1 Lq (V ) q q π n α k 1/ α/q. The series on the right hand side is uniformly bounded for α 1/ k α/q < 1, which is equivalent to q < α α + 1/ k, and completes the proof. Remark.3. For α = p(k + 1/) + ε with some fixed ε >, we find that (i) and (ii) are automatically fulfilled. Moreover, we obtain from (iii) q < pk + p/ + ε (p 1)k + p/ + ε + 1/.
7 Adjoint state regularity 5 If k is sufficiently large, the value of q is arbitrary close to p = p p 1 = p This shows, that the proposition of Theorem.1 is sharp. Further, we can conclude that there is no imbedding of W (, 1; V, V ) in C([, T ], H) as stated in [4, p. 51]. In the following, we will denote by H s (Ω) for 1 s the Sobolev-Slobodeckij spaces of fractional order. We have H 1 = V and H = H with the notation already introduced. Corollary.4. Let us consider the function This function satisfies f α,k,l (x, t) = n l e ( nαt) sin n k πx. (i) f α,k,l C([, T ]; H) for α > and l 1, (ii) f α,k,l L p (, T ; V ) for p < α k l+1, (iii) d dt f α,k,l L q (, T ; V α ) for q < α k l+1, (iv) f α,k,l C([, T ]; H s ) for s > 1 l k and l < 1, (v) f α,k,l C([, T ]; H s ) for s < 1/ l k and l < 1. Proof. The points (i) (iii) can be shown similarly to Lemma.. To prove (iv) and (v) we use interpolation theory. Given v H, we have v H s with θ 1 = s. For a function v V, we obtain c 1 v θ1 V v 1 θ1 H with θ = 1 1+s. Hence, for v n(x) = sin n k πx we find v H c v θ H s v 1 θ V (.) v n H s c 1 v n s V v n 1 s H = c 1 π s n sk =: c 3 n sk. (.3) Let us denote by fα,k,l N the finite series f N α,k,l(x, t) = n l e ( nαt) sin n k πx. Now, we are ready to prove (iv). We want to show that f α,k,l is in C([, T ], H s ). To this aim, let t [, T ] be given. Let the pre-requisite s > 1 l k be fulfilled. We derive using (.3) f α,k,l (t) H s = n l e ( nαt) v n H s n l v n H s c 3 n l sk.
8 6 Arnd Rösch, Daniel Wachsmuth By assumption, we have l sk < 1 for the exponent. Therefore, we obtain uniform convergence of f α,k,l (t). This uniform convergence and the fact n l e ( nα t) v n C([, T ]; H s ) for each n and fixed s ensures the continuity of the abstract function. (v) Starting from (.), we get fα,k,l N H s c s 1 fα,k,l N s+1 H f N α,k,l s V, since obviously fα,k,l N holds. For sufficiently large N and l < 1/, we estimate the H-Norm of fα,k,l N by f N α,k,l H = 1 n l 1 N 1 x l dx = l (N 1 l 1) l N 1 l. Note, that the estimate is also correct for negative values of l. Similarly, we have to derive a bound of the V -norm. obtain ( fα,k,l N V = π n l n k π 1 + = π ( 1 + N For sufficiently large N, we (x + 1) k l dx 1 ( (N + 1) 1+k l 1 )) 1 + k l π 1 + k l N 1+k l. Since by assumption l < 1/, it holds 1 + k l > for k >. Altogether, we found f N α,k,l H s cn s+1 (1 l) s (1+k l) = cn 1/ sk l, which tends to infinity if s < 1/ l k. Hence, f α,k,l cannot be a function continuous in time with values in such H s spaces. This examples shows that under certain conditions it may happens that abstract functions are continuous with value in some space H s but discontinuous with values in spaces of integrable functions. 3. Application to an optimal control problem. In this section, we will consider optimal control of the instationary Navier-Stokes equations. As model problem serves the minimization of the quadratic objective functional min J(y, u) = α T Ω y(x, T ) y T (x) dx + α Q y(x, t) y Q (x, t) dxdt Q + α R curl y(x, t) dxdt + γ u(x, t) dxdt (3.1) subject to the instationary Navier-Stokes equations Q Q ) y t ν y + (y )y + p = u + f in Q, div y = in Q, y = on Γ, y() = y in Ω. (3.)
9 Adjoint state regularity 7 The control has to be in a set of admissible controls, u U ad, given by U ad = {u L (Q) : u a,i (x, t) u i (x, t) u b,i (x, t) a.e. on Q, i = 1,. Here, Ω is an open bounded subset of R with C -boundary Γ, such that Ω is locally on one side of Γ, and Q is defined by Q = (, T ) Ω. Further, functions y T L (Ω), y Q L (Q), and y H L (Ω) are given. The source term f is required to belong to L (, T ; V ). The parameters γ and ν are positive real numbers. The constraints u a, u b are required to be in L (Q) with u a,i (x, t) u b,i (x, t) a.e. on Q, i = 1, Notations and preliminary results. First, we introduce some notations and provide some results that we need later on. To begin with, we define the solenoidal spaces H := {v L (Ω) : div v =, V := {v H 1 (Ω) : div v =. These spaces are Hilbert spaces with their norms denoted by H respectively V and scalar products (, ) H respectively (, ) V. The dual of V with respect to the scalar product of H we denote by V with the duality pairing, V,V. We shall work in the standard space of abstract functions from [, T ] to a real Banach space X, L p (, T ; X), endowed with its natural norm, ( ) 1/p T y Lp (X) := y Lp (,T ;X) = y(t) p X dt y L (X) := vrai max y(t) X. t (,T ) 1 p <, In the sequel, we will identify the spaces L p (, T ; L p (Ω) ) and L p (Q) for 1 < p <, and denote their norm by u p := u L p (Q). The usual L (Q) -scalar product we denote by (, ) Q to avoid ambiguity. In all what follows, stands for norms of abstract functions, while denotes norms of stationary spaces like H and V. To deal with the time derivative in (3.), we introduce the common spaces of functions y whose time derivatives y t exist as abstract functions, W α (, T ; V ) := {y L (, T ; V ) : y t L α (, T ; V ), W (, T ) := W (, T ; V ), where 1 α <. Endowed with the norm y W α := y W α (,T ;V ) = y L (V ) + y t L α (V ), these spaces are Banach spaces, respectively Hilbert spaces in the case of W (, T ). Every function of W (, T ) is, up to changes on sets of zero measure, equivalent to a function of C([, T ], H), and the imbedding W (, T ) C([, T ], H) is continuous, cf. [1, 1]. As we saw above, there is no imbedding W α (, T ; V ) in C([, T ], H) for α <. However, the space W (, T ) enjoys the following imbedding property: Lemma 3.1. The space W (, T ) is continuously imbedded in L 4 (Q).
10 8 Arnd Rösch, Daniel Wachsmuth Proof. For v V, the interpolation inequality v 4 c v 1/ H v W (, T ) be given. Then, we can readily estimate v 1/ V holds, cf. [13]. Let v 4 4 v(t) 4 4 dt c v H v V dt c v L (H) v L (V ) c v 4 W, which proves the claim. For convenience, we define the trilinear form b : V V V R by together with b(u, v, w) = ((u )v, w) = b Q (u, v, w) = Ω i,j=1 u i v j x i w j dx b(u(t), v(t), w(t)) dt. An important property of b is that for u V and sufficient regular v, w it holds b(u, v, w) = b(u, w, v). (3.3) There are several estimates of b respectively b Q available. We mention only the following one which we will need in the sequel. For detailed discussions consult [3, 13, 15]. Lemma 3.. Let u, w L 4 (Q) and v L (, T ; V ) be given. Then there is a constant c > independently of u, v, w such that holds. b Q (u, v, w) c u 4 v L (,T ;V ) w 4 To specify the problem setting, we introduce a linear operator A : L (, T ; V ) L (, T ; V ) by and a nonlinear operator B by (Ay)(t), v(t) V,V dt := (y(t), v(t)) V dt, ( ) T B(y) (t), v(t) V dt := b(y(t), y(t), v(t))dt.,v As a conclusion of Lemma 3.1, eq. (3.3), and Lemma 3., we find that B is continuous as operator from W (, T ) to L (, T ; V ). Testing system (3.) by divergence-free functions, one obtains the solenoidal form of the Navier-Stokes equations y t + νay + B(y) = u + f y() = y, where the first equation has to be understood in the sense of L (, T ; V ). It is wellknown that for all initial values y H and source terms u, f L (, T ; V ) there exists a unique weak solution y W (, T ) of (3.), cf. [3, 13].
11 Adjoint state regularity 9 We introduce the linearized equation by y t + νay + B (ȳ)y = u y() = y. (3.4) Here, ȳ is a given state y W (, T ). This equation is solvable for all u L (, T ; V ) and y H. Its unique solution y is in W (, T ). 3.. Optimality condition. Now, we return to the optimization problem (3.1). We will call a control u U ad locally optimal, if there exists ρ > such that J(ȳ, ū) J(y, u) for all u U ad with u ū ρ. Here, ȳ and y denote the states associated with ū and u, respectively. The first-order necessary condition for local optimality is stated in the next theorem. Theorem 3.3. Let ū be a locally optimal control with associated state ȳ = y(ū). Then there exists a unique solution λ W 4/3 (, T ; V ) of the adjoint equation λ t + νa λ + B (ȳ) λ = αq (ȳ y Q ) + α R curl curl ȳ λ(t ) = α T (ȳ(t ) y T ). (3.5) Moreover, the variational inequality is satisfied. (γū + λ, u ū) L (Q) u U ad (3.6) Proofs can be found in [6, 7, 14]. The regularity of λ is proven in [1] for homogeneous initial conditions, λ(t ) =. The adjoint state λ is the solution of a linearized adjoint equation backward in time. So it is natural, to look for its dependance of the given data. For convenience, we denote by g the right-hand side of (3.5), and by λ T the initial value α T (ȳ(t ) y T ). Theorem 3.4. Let λ T H, g L (, T ; V ), and ȳ L (, T ; V ) L (, T ; H) be given. Then there exists a unique weak solution λ of (3.5) satisfying λ W 4/3 (, T ). The mapping (g, λ T ) λ is continuous in the mentioned spaces. Proof. At first, denote by w the weak solution of w t + νaw = g w(t ) = λ T. Its existence and regularity w W (, T ) follows from solvability of the instationary Stokes-equation, cf. [13]. Moreover, we get the continuity estimate Further, let z be the weak solution of w W c { g L (V ) + λ T H. (3.7) z t + νaz + B (ȳ) z = B (ȳ) w z(t ) =.
12 1 Arnd Rösch, Daniel Wachsmuth Since ȳ and w are in W (, T ), we get B (ȳ) w L 4/3 (, T ; V ) W (, T ) as follows. We write for v W (, T ) [B (ȳ) w]v = b(ȳ, v, w) + b(v, ȳ, w) dt c { ȳ 4 v L (V ) w 4 + v 4 ȳ L (V ) w 4. By Lemma 3., we conclude [B (ȳ) w]v c ȳ W w W { v L (V ) + v 4. Since v 4 c v W, we get B (ȳ) w W (, T ). The space V is continuously imbedded in L 4 (Ω), which allows us to conclude B (ȳ) w L 4/3 (, T ; V ). Therefore, we arrive at B (ȳ) w W + B (ȳ) w L 4/3 (V ) c ȳ W w W. (3.8) Now, Proposition..1 in [9] respectively Proposition.4 in [1] imply the existence of z together with the regularity z W 4/3 (, T ) and the estimate z W 4/3 c { B (ȳ) w L 4/3 (V ) + B (ȳ) w W c ȳ W w W. (3.9) We construct a solution of the inhomogeneous adjoint equation (3.5) by λ = z + w. Using (3.7) and (3.9), λ W 4/3 z W 4/3 + w W c (1 + ȳ W ) { g L (V ) + λ T H is found, and the claim is proven. Observe, that the conditions of the previous theorem requires the initial value to be in H, whereas the regularity λ W 4/3 (, T ) does not guarantee λ(t) λ T in H for t T. If the data is more regular then things are much easier. If for instance f L (Q) and y V is given together with y T V, then the state y and the adjoint λ admits the same regularity: it holds that λ belongs to a space H,1 which is continuously imbedded in C([, T ], V ), confer [9, 13] Example. In this last section, we will answering the question: can the adjoint state be represented by a continuous abstract function? Clearly, if λ t L 4/3 (, T ; V ) together with λ(t ) V hold, then it is obvious that λ is a continuous function with values in V. Nevertheless, we are looking for a sharper imbedding result. Let ε > and integer k > 3/ + 3ε be given. Set l = 1 k/3 + ε and α = 8/3k. Notice that by the definition of k and l we have l < 1/. Then the function f := f α,k,l introduced in Section, fulfills: ε 4/3k ε (i) f L p (, T ; V ) for p < 8/3k 4/3k ε = + (ii) d dt f Lq (, T ; V ) for q < 8/3k k ε = /3ε k ε (iii) f C([, T ], H s ) for s > ε k (iv) f C([, T ], H s ) for s < 1 3 1/+ε k.
13 Adjoint state regularity 11 Here, we observe that f W (, 4/3; V, V ) for all possible k and ε. Thus, it has the same regularity as the adjoint state λ. And we can say that the space W (, 4/3; V, V ) is not continuous imbedded in C([, T ], H s ) for s < 1/3. However, there is a positive result available. Theorem 3.5. The space W (p, q; V, V ) is compactly imbedded in C([, T ], H s ) for s > 1 p + 1 q p 1 q. Proof. The notation is adapted to the one used in the present article. For the proof and detailed discussions, we refer to Amann []. We combine these conclusions to Corollary 3.6. The space W (, 4/3; V, V ) is continuously imbedded in the space C([, T ], H s ) for s > 1/3. If s < 1/3 holds, then W (, 4/3; V, V ) can not be imbedded in C([, T ], H s ). REFERENCES [1] R. A. Adams. Sobolev spaces. Academic Press, San Diego, [] H. Amann. Compact embeddings of vector-valued Sobolev and Besov spaces. Glasnik Matematicki, 35: ,. [3] P. Constantin and C. Foias. Navier-Stokes equations. The University of Chicago Press, Chicago, [4] R. Dautray and J. L. Lions. Evolution problems I, volume 5 of Mathematical analysis and numerical methods for science and technology. Springer, Berlin, 199. [5] H. Gajewski, K. Gröger, and K. Zacharias. Nichtlineare Operatorgleichungen und Operatordifferentialgleichungen. Akademie-Verlag, Berlin, [6] M. D. Gunzburger and S. Manservisi. The velocity tracking problem for Navier-Stokes flows with bounded distributed controls. SIAM J. Contr. Optim., 37: , [7] M. D. Gunzburger and S. Manservisi. Analysis and approximation of the velocity tracking problem for Navier-Stokes flows with distributed control. SIAM J. Numer. Anal., 37: ,. [8] M. Hintermüller and M. Hinze. A SQP-semi-smooth Newton-type algorithm applied to control of the instationary Navier-Stokes system subject to control constraints. Technical Report TR3-11, Department of Computational and Applied Mathematics, Rice University, submitted. [9] M. Hinze. Optimal and instantaneous control of the instationary Navier-Stokes equations. Habilitation, TU Berlin, revised version,. [1] M. Hinze and K. Kunisch. Second order methods for optimal control of time-dependent fluid flow. SIAM J. Contr. Optim., 4:95 946, 1. [11] M. Hinze and K. Kunisch. Second order methods for boundary control of the instationary Navier-Stokes system. ZAMM, 84: , 4. [1] J. L. Lions and E. Magenes. Non-homogeneous boundary value problems and applications, volume I. Springer, Berlin, 197. [13] R. Temam. Navier-Stokes equations. North Holland, Amsterdam, [14] F. Tröltzsch and D. Wachsmuth. Second-order sufficient optimality conditions for the optimal control of Navier-Stokes equations. Preprint 3-3, Institut für Mathematik, TU Berlin, submitted. [15] W. von Wahl. The equations of Navier-Stokes and abstract parabolic equations. Vieweg, Braunschweig, 1985.
SECOND-ORDER SUFFICIENT OPTIMALITY CONDITIONS FOR THE OPTIMAL CONTROL OF NAVIER-STOKES EQUATIONS
1 SECOND-ORDER SUFFICIENT OPTIMALITY CONDITIONS FOR THE OPTIMAL CONTROL OF NAVIER-STOKES EQUATIONS fredi tröltzsch and daniel wachsmuth 1 Abstract. In this paper sufficient optimality conditions are established
More informationSUPERCONVERGENCE PROPERTIES FOR OPTIMAL CONTROL PROBLEMS DISCRETIZED BY PIECEWISE LINEAR AND DISCONTINUOUS FUNCTIONS
SUPERCONVERGENCE PROPERTIES FOR OPTIMAL CONTROL PROBLEMS DISCRETIZED BY PIECEWISE LINEAR AND DISCONTINUOUS FUNCTIONS A. RÖSCH AND R. SIMON Abstract. An optimal control problem for an elliptic equation
More informationNECESSARY OPTIMALITY CONDITIONS FOR AN OPTIMAL CONTROL PROBLEM OF 2D
NECESSARY OPTIMALITY CONDITIONS FOR AN OPTIMAL CONTROL PROBLEM OF 2D g-navier-stokes EQUATIONS Nguyen Duc Loc 1 Abstract Considered here is the optimal control problem of 2D g-navier-stokes equations.
More informationAdaptive methods for control problems with finite-dimensional control space
Adaptive methods for control problems with finite-dimensional control space Saheed Akindeinde and Daniel Wachsmuth Johann Radon Institute for Computational and Applied Mathematics (RICAM) Austrian Academy
More informationFINITE ELEMENT APPROXIMATION OF ELLIPTIC DIRICHLET OPTIMAL CONTROL PROBLEMS
Numerical Functional Analysis and Optimization, 28(7 8):957 973, 2007 Copyright Taylor & Francis Group, LLC ISSN: 0163-0563 print/1532-2467 online DOI: 10.1080/01630560701493305 FINITE ELEMENT APPROXIMATION
More informationSTATE-CONSTRAINED OPTIMAL CONTROL OF THE THREE-DIMENSIONAL STATIONARY NAVIER-STOKES EQUATIONS. 1. Introduction
STATE-CONSTRAINED OPTIMAL CONTROL OF THE THREE-DIMENSIONAL STATIONARY NAVIER-STOKES EQUATIONS J. C. DE LOS REYES AND R. GRIESSE Abstract. In this paper, an optimal control problem for the stationary Navier-
More informationNecessary conditions for convergence rates of regularizations of optimal control problems
Necessary conditions for convergence rates of regularizations of optimal control problems Daniel Wachsmuth and Gerd Wachsmuth Johann Radon Institute for Computational and Applied Mathematics RICAM), Austrian
More informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
More informationREGULAR LAGRANGE MULTIPLIERS FOR CONTROL PROBLEMS WITH MIXED POINTWISE CONTROL-STATE CONSTRAINTS
REGULAR LAGRANGE MULTIPLIERS FOR CONTROL PROBLEMS WITH MIXED POINTWISE CONTROL-STATE CONSTRAINTS fredi tröltzsch 1 Abstract. A class of quadratic optimization problems in Hilbert spaces is considered,
More informationA. RÖSCH AND F. TRÖLTZSCH
ON REGULARITY OF SOLUTIONS AND LAGRANGE MULTIPLIERS OF OPTIMAL CONTROL PROBLEMS FOR SEMILINEAR EQUATIONS WITH MIXED POINTWISE CONTROL-STATE CONSTRAINTS A. RÖSCH AND F. TRÖLTZSCH Abstract. A class of nonlinear
More informationON CONVERGENCE OF A RECEDING HORIZON METHOD FOR PARABOLIC BOUNDARY CONTROL. fredi tröltzsch and daniel wachsmuth 1
ON CONVERGENCE OF A RECEDING HORIZON METHOD FOR PARABOLIC BOUNDARY CONTROL fredi tröltzsch and daniel wachsmuth Abstract. A method of receding horizon type is considered for a simplified linear-quadratic
More informationEXISTENCE OF REGULAR LAGRANGE MULTIPLIERS FOR A NONLINEAR ELLIPTIC OPTIMAL CONTROL PROBLEM WITH POINTWISE CONTROL-STATE CONSTRAINTS
EXISTENCE OF REGULAR LAGRANGE MULTIPLIERS FOR A NONLINEAR ELLIPTIC OPTIMAL CONTROL PROBLEM WITH POINTWISE CONTROL-STATE CONSTRAINTS A. RÖSCH AND F. TRÖLTZSCH Abstract. A class of optimal control problems
More informationProper Orthogonal Decomposition for Optimal Control Problems with Mixed Control-State Constraints
Proper Orthogonal Decomposition for Optimal Control Problems with Mixed Control-State Constraints Technische Universität Berlin Martin Gubisch, Stefan Volkwein University of Konstanz March, 3 Martin Gubisch,
More informationK. Krumbiegel I. Neitzel A. Rösch
SUFFICIENT OPTIMALITY CONDITIONS FOR THE MOREAU-YOSIDA-TYPE REGULARIZATION CONCEPT APPLIED TO SEMILINEAR ELLIPTIC OPTIMAL CONTROL PROBLEMS WITH POINTWISE STATE CONSTRAINTS K. Krumbiegel I. Neitzel A. Rösch
More informationNew Helmholtz-Weyl decomposition in L r and its applications to the mathematical fluid mechanics
New Helmholtz-Weyl decomposition in L r and its applications to the mathematical fluid mechanics Hideo Kozono Mathematical Institute Tohoku University Sendai 980-8578 Japan Taku Yanagisawa Department of
More informationKonstantinos Chrysafinos 1 and L. Steven Hou Introduction
Mathematical Modelling and Numerical Analysis Modélisation Mathématique et Analyse Numérique Will be set by the publisher ANALYSIS AND APPROXIMATIONS OF THE EVOLUTIONARY STOKES EQUATIONS WITH INHOMOGENEOUS
More informationError estimates for the discretization of the velocity tracking problem
Numerische Mathematik manuscript No. (will be inserted by the editor) Error estimates for the discretization of the velocity tracking problem Eduardo Casas 1, Konstantinos Chrysafinos 2 1 Departamento
More informationASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS. Tian Ma. Shouhong Wang
DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Volume 11, Number 1, July 004 pp. 189 04 ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS Tian Ma Department of
More informationb i (µ, x, s) ei ϕ(x) µ s (dx) ds (2) i=1
NONLINEAR EVOLTION EQATIONS FOR MEASRES ON INFINITE DIMENSIONAL SPACES V.I. Bogachev 1, G. Da Prato 2, M. Röckner 3, S.V. Shaposhnikov 1 The goal of this work is to prove the existence of a solution to
More informationOn Friedrichs inequality, Helmholtz decomposition, vector potentials, and the div-curl lemma. Ben Schweizer 1
On Friedrichs inequality, Helmholtz decomposition, vector potentials, and the div-curl lemma Ben Schweizer 1 January 16, 2017 Abstract: We study connections between four different types of results that
More informationAn optimal control problem for a parabolic PDE with control constraints
An optimal control problem for a parabolic PDE with control constraints PhD Summer School on Reduced Basis Methods, Ulm Martin Gubisch University of Konstanz October 7 Martin Gubisch (University of Konstanz)
More informationOn m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry
On m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry Ognjen Milatovic Department of Mathematics and Statistics University of North Florida Jacksonville, FL 32224 USA. Abstract
More informationON THE UNIQUENESS IN THE 3D NAVIER-STOKES EQUATIONS
ON THE UNIQUENESS IN THE 3D NAVIER-STOKES EQUATIONS Abdelhafid Younsi To cite this version: Abdelhafid Younsi. ON THE UNIQUENESS IN THE 3D NAVIER-STOKES EQUATIONS. 4 pages. 212. HAL Id:
More informationLocal null controllability of the N-dimensional Navier-Stokes system with N-1 scalar controls in an arbitrary control domain
Local null controllability of the N-dimensional Navier-Stokes system with N-1 scalar controls in an arbitrary control domain Nicolás Carreño Université Pierre et Marie Curie-Paris 6 UMR 7598 Laboratoire
More informationhal , version 6-26 Dec 2012
ON THE UNIQUENESS IN THE 3D NAVIER-STOKES EQUATIONS ABDEHAFID YOUNSI Abstract. In this paper, we give a new regularity criterion on the uniqueness results of weak solutions for the 3D Navier-Stokes equations
More informationAppendix A Functional Analysis
Appendix A Functional Analysis A.1 Metric Spaces, Banach Spaces, and Hilbert Spaces Definition A.1. Metric space. Let X be a set. A map d : X X R is called metric on X if for all x,y,z X it is i) d(x,y)
More informationA CAUCHY PROBLEM OF SINE-GORDON EQUATIONS WITH NON-HOMOGENEOUS DIRICHLET BOUNDARY CONDITIONS 1. INTRODUCTION
Trends in Mathematics Information Center for Mathematical Sciences Volume 4, Number 2, December 21, Pages 39 44 A CAUCHY PROBLEM OF SINE-GORDON EQUATIONS WITH NON-HOMOGENEOUS DIRICHLET BOUNDARY CONDITIONS
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationRobust error estimates for regularization and discretization of bang-bang control problems
Robust error estimates for regularization and discretization of bang-bang control problems Daniel Wachsmuth September 2, 205 Abstract We investigate the simultaneous regularization and discretization of
More informationOn the density of classes of closed convex sets with pointwise constraints in Sobolev spaces
On the density of classes of closed convex sets with pointwise constraints in Sobolev spaces M. Hintermüller a, C.N. Rautenberg a a Institute for Mathematics, Humboldt-Universität zu Berlin, Unter den
More informationPriority Program 1253
Deutsche Forschungsgemeinschaft Priority Program 1253 Optimization with Partial Differential Equations Klaus Deckelnick and Michael Hinze A note on the approximation of elliptic control problems with bang-bang
More informationMinimal periods of semilinear evolution equations with Lipschitz nonlinearity
Minimal periods of semilinear evolution equations with Lipschitz nonlinearity James C. Robinson a Alejandro Vidal-López b a Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. b Departamento
More informationSELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY
Electronic Journal of Differential Equations, Vol. 2003(2003), No.??, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) SELF-ADJOINTNESS
More informationUniversität des Saarlandes. Fachrichtung 6.1 Mathematik
Universität des Saarlandes U N I V E R S I T A S S A R A V I E N I S S Fachrichtung 6.1 Mathematik Preprint Nr. 155 A posteriori error estimates for stationary slow flows of power-law fluids Michael Bildhauer,
More informationCONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence
1 CONVERGENCE THEOR G. ALLAIRE CMAP, Ecole Polytechnique 1. Maximum principle 2. Oscillating test function 3. Two-scale convergence 4. Application to homogenization 5. General theory H-convergence) 6.
More informationHamburger Beiträge zur Angewandten Mathematik
Hamburger Beiträge zur Angewandten Mathematik Numerical analysis of a control and state constrained elliptic control problem with piecewise constant control approximations Klaus Deckelnick and Michael
More informationStrong Stabilization of the System of Linear Elasticity by a Dirichlet Boundary Feedback
To appear in IMA J. Appl. Math. Strong Stabilization of the System of Linear Elasticity by a Dirichlet Boundary Feedback Wei-Jiu Liu and Miroslav Krstić Department of AMES University of California at San
More informationA-posteriori error estimates for optimal control problems with state and control constraints
www.oeaw.ac.at A-posteriori error estimates for optimal control problems with state and control constraints A. Rösch, D. Wachsmuth RICAM-Report 2010-08 www.ricam.oeaw.ac.at A-POSTERIORI ERROR ESTIMATES
More informationStrong stabilization of the system of linear elasticity by a Dirichlet boundary feedback
IMA Journal of Applied Mathematics (2000) 65, 109 121 Strong stabilization of the system of linear elasticity by a Dirichlet boundary feedback WEI-JIU LIU AND MIROSLAV KRSTIĆ Department of AMES, University
More informationGlobal regularity of a modified Navier-Stokes equation
Global regularity of a modified Navier-Stokes equation Tobias Grafke, Rainer Grauer and Thomas C. Sideris Institut für Theoretische Physik I, Ruhr-Universität Bochum, Germany Department of Mathematics,
More informationOn an Approximation Result for Piecewise Polynomial Functions. O. Karakashian
BULLETIN OF THE GREE MATHEMATICAL SOCIETY Volume 57, 010 (1 7) On an Approximation Result for Piecewise Polynomial Functions O. arakashian Abstract We provide a new approach for proving approximation results
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationLECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov,
LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES Sergey Korotov, Institute of Mathematics Helsinki University of Technology, Finland Academy of Finland 1 Main Problem in Mathematical
More informationOptimal Control of Partial Differential Equations I+II
About the lecture: Optimal Control of Partial Differential Equations I+II Prof. Dr. H. J. Pesch Winter semester 2011/12, summer semester 2012 (seminar), winter semester 2012/13 University of Bayreuth Preliminary
More informationSolving Distributed Optimal Control Problems for the Unsteady Burgers Equation in COMSOL Multiphysics
Excerpt from the Proceedings of the COMSOL Conference 2009 Milan Solving Distributed Optimal Control Problems for the Unsteady Burgers Equation in COMSOL Multiphysics Fikriye Yılmaz 1, Bülent Karasözen
More informationTHE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS
THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS OGNJEN MILATOVIC Abstract. We consider H V = M +V, where (M, g) is a Riemannian manifold (not necessarily
More informationL p Theory for the div-curl System
Int. Journal of Math. Analysis, Vol. 8, 2014, no. 6, 259-271 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2014.4112 L p Theory for the div-curl System Junichi Aramaki Division of Science,
More informationSECOND-ORDER SUFFICIENT OPTIMALITY CONDITIONS FOR THE OPTIMAL CONTROL OF NAVIER-STOKES EQUATIONS
ESAIM: COCV January 26, Vol. 12, 93 119 DOI: 1.151/cocv:2529 ESAIM: Control, Optimisation and Calculus of Variations SECOND-ORDER SUFFICIENT OPTIMALITY CONDITIONS FOR THE OPTIMAL CONTROL OF NAVIER-STOKES
More informationEXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM
EXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM JENICĂ CRÎNGANU We derive existence results for operator equations having the form J ϕu = N f u, by using
More informationNumerical Analysis of State-Constrained Optimal Control Problems for PDEs
Numerical Analysis of State-Constrained Optimal Control Problems for PDEs Ira Neitzel and Fredi Tröltzsch Abstract. We survey the results of SPP 1253 project Numerical Analysis of State-Constrained Optimal
More informationEuler Equations: local existence
Euler Equations: local existence Mat 529, Lesson 2. 1 Active scalars formulation We start with a lemma. Lemma 1. Assume that w is a magnetization variable, i.e. t w + u w + ( u) w = 0. If u = Pw then u
More informationLipschitz stability of optimal controls for the steady-state Navier-Stokes equations
Lipschitz stability of optimal controls for the steady-state Navier-Stokes equations by Tomaš Roubíček 1,2 and Fredi Tröltzsch 3 1 Mathematical Institute, Charles University, Sokolovská 83 CZ-186 75 Praha
More informationi=1 α i. Given an m-times continuously
1 Fundamentals 1.1 Classification and characteristics Let Ω R d, d N, d 2, be an open set and α = (α 1,, α d ) T N d 0, N 0 := N {0}, a multiindex with α := d i=1 α i. Given an m-times continuously differentiable
More informationarxiv: v1 [math.ap] 21 Dec 2016
arxiv:1612.07051v1 [math.ap] 21 Dec 2016 On the extension to slip boundary conditions of a Bae and Choe regularity criterion for the Navier-Stokes equations. The half-space case. H. Beirão da Veiga, Department
More informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More informationConvergence of a finite element approximation to a state constrained elliptic control problem
Als Manuskript gedruckt Technische Universität Dresden Herausgeber: Der Rektor Convergence of a finite element approximation to a state constrained elliptic control problem Klaus Deckelnick & Michael Hinze
More informationLecture Note III: Least-Squares Method
Lecture Note III: Least-Squares Method Zhiqiang Cai October 4, 004 In this chapter, we shall present least-squares methods for second-order scalar partial differential equations, elastic equations of solids,
More informationL. Levaggi A. Tabacco WAVELETS ON THE INTERVAL AND RELATED TOPICS
Rend. Sem. Mat. Univ. Pol. Torino Vol. 57, 1999) L. Levaggi A. Tabacco WAVELETS ON THE INTERVAL AND RELATED TOPICS Abstract. We use an abstract framework to obtain a multilevel decomposition of a variety
More informationTHE STOKES SYSTEM R.E. SHOWALTER
THE STOKES SYSTEM R.E. SHOWALTER Contents 1. Stokes System 1 Stokes System 2 2. The Weak Solution of the Stokes System 3 3. The Strong Solution 4 4. The Normal Trace 6 5. The Mixed Problem 7 6. The Navier-Stokes
More informationNONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS. Shouchuan Hu Nikolas S. Papageorgiou. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 34, 29, 327 338 NONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS Shouchuan Hu Nikolas S. Papageorgiou
More informationProper Orthogonal Decomposition in PDE-Constrained Optimization
Proper Orthogonal Decomposition in PDE-Constrained Optimization K. Kunisch Department of Mathematics and Computational Science University of Graz, Austria jointly with S. Volkwein Dynamic Programming Principle
More informationMath 699 Reading Course, Spring 2007 Rouben Rostamian Homogenization of Differential Equations May 11, 2007 by Alen Agheksanterian
. Introduction Math 699 Reading Course, Spring 007 Rouben Rostamian Homogenization of ifferential Equations May, 007 by Alen Agheksanterian In this brief note, we will use several results from functional
More informationOn the Stokes operator in general unbounded domains. Reinhard Farwig, Hideo Kozono and Hermann Sohr
Hokkaido Mathematical Journal Vol. 38 (2009) p. 111 136 On the Stokes operator in general unbounded domains Reinhard Farwig, Hideo Kozono and Hermann Sohr (Received June 27, 2007; Revised December 19,
More informationFact Sheet Functional Analysis
Fact Sheet Functional Analysis Literature: Hackbusch, W.: Theorie und Numerik elliptischer Differentialgleichungen. Teubner, 986. Knabner, P., Angermann, L.: Numerik partieller Differentialgleichungen.
More informationEXISTENCE AND REGULARITY RESULTS FOR SOME NONLINEAR PARABOLIC EQUATIONS
EXISTECE AD REGULARITY RESULTS FOR SOME OLIEAR PARABOLIC EUATIOS Lucio BOCCARDO 1 Andrea DALL AGLIO 2 Thierry GALLOUËT3 Luigi ORSIA 1 Abstract We prove summability results for the solutions of nonlinear
More informationHOMEOMORPHISMS OF BOUNDED VARIATION
HOMEOMORPHISMS OF BOUNDED VARIATION STANISLAV HENCL, PEKKA KOSKELA AND JANI ONNINEN Abstract. We show that the inverse of a planar homeomorphism of bounded variation is also of bounded variation. In higher
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More informationLORENTZ SPACE ESTIMATES FOR VECTOR FIELDS WITH DIVERGENCE AND CURL IN HARDY SPACES
- TAMKANG JOURNAL OF MATHEMATICS Volume 47, Number 2, 249-260, June 2016 doi:10.5556/j.tkjm.47.2016.1932 This paper is available online at http://journals.math.tku.edu.tw/index.php/tkjm/pages/view/onlinefirst
More informationc 2008 Society for Industrial and Applied Mathematics
SIAM J. CONTROL OPTIM. Vol. 47, No. 3, pp. 1301 1329 c 2008 Society for Industrial and Applied Mathematics A PRIORI ERROR ESTIMATES FOR SPACE-TIME FINITE ELEMENT DISCRETIZATION OF PARABOLIC OPTIMAL CONTROL
More informationOn the Stokes semigroup in some non-helmholtz domains
On the Stokes semigroup in some non-helmholtz domains Yoshikazu Giga University of Tokyo June 2014 Joint work with Ken Abe (Nagoya U.), Katharina Schade (TU Darmstadt) and Takuya Suzuki (U. Tokyo) Contents
More informationLECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)
LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) RAYTCHO LAZAROV 1 Notations and Basic Functional Spaces Scalar function in R d, d 1 will be denoted by u,
More information2 Statement of the problem and assumptions
Mathematical Notes, 25, vol. 78, no. 4, pp. 466 48. Existence Theorem for Optimal Control Problems on an Infinite Time Interval A.V. Dmitruk and N.V. Kuz kina We consider an optimal control problem on
More informationP(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law:
Introduction Functions of bounded variation, usually denoted by BV, have had and have an important role in several problems of calculus of variations. The main features that make BV functions suitable
More informationSemismooth Newton Methods for an Optimal Boundary Control Problem of Wave Equations
Semismooth Newton Methods for an Optimal Boundary Control Problem of Wave Equations Axel Kröner 1 Karl Kunisch 2 and Boris Vexler 3 1 Lehrstuhl für Mathematische Optimierung Technische Universität München
More informationVariational Formulations
Chapter 2 Variational Formulations In this chapter we will derive a variational (or weak) formulation of the elliptic boundary value problem (1.4). We will discuss all fundamental theoretical results that
More informationNonlinear Analysis 72 (2010) Contents lists available at ScienceDirect. Nonlinear Analysis. journal homepage:
Nonlinear Analysis 72 (2010) 4298 4303 Contents lists available at ScienceDirect Nonlinear Analysis journal homepage: www.elsevier.com/locate/na Local C 1 ()-minimizers versus local W 1,p ()-minimizers
More informationEXISTENCE AND REGULARITY OF SOLUTIONS FOR STOKES SYSTEMS WITH NON-SMOOTH BOUNDARY DATA IN A POLYHEDRON
Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 147, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE AND REGULARITY OF SOLUTIONS FOR
More informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More informationSubdifferential representation of convex functions: refinements and applications
Subdifferential representation of convex functions: refinements and applications Joël Benoist & Aris Daniilidis Abstract Every lower semicontinuous convex function can be represented through its subdifferential
More informationA Remark on the Regularity of Solutions of Maxwell s Equations on Lipschitz Domains
A Remark on the Regularity of Solutions of Maxwell s Equations on Lipschitz Domains Martin Costabel Abstract Let u be a vector field on a bounded Lipschitz domain in R 3, and let u together with its divergence
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationVelocity averaging a general framework
Outline Velocity averaging a general framework Martin Lazar BCAM ERC-NUMERIWAVES Seminar May 15, 2013 Joint work with D. Mitrović, University of Montenegro, Montenegro Outline Outline 1 2 L p, p >= 2 setting
More informationOn Riesz-Fischer sequences and lower frame bounds
On Riesz-Fischer sequences and lower frame bounds P. Casazza, O. Christensen, S. Li, A. Lindner Abstract We investigate the consequences of the lower frame condition and the lower Riesz basis condition
More informationThe Navier-Stokes problem in velocity-pressure formulation :convergence and Optimal Control
The Navier-Stokes problem in velocity-pressure formulation :convergence and Optimal Control A.Younes 1 A. Jarray 2 1 Faculté des Sciences de Tunis, Tunisie. e-mail :younesanis@yahoo.fr 2 Faculté des Sciences
More informationA Priori Error Analysis for Space-Time Finite Element Discretization of Parabolic Optimal Control Problems
A Priori Error Analysis for Space-Time Finite Element Discretization of Parabolic Optimal Control Problems D. Meidner and B. Vexler Abstract In this article we discuss a priori error estimates for Galerkin
More informationControl of Interface Evolution in Multi-Phase Fluid Flows
Control of Interface Evolution in Multi-Phase Fluid Flows Markus Klein Department of Mathematics University of Tübingen Workshop on Numerical Methods for Optimal Control and Inverse Problems Garching,
More informationModel order reduction & PDE constrained optimization
1 Model order reduction & PDE constrained optimization Fachbereich Mathematik Optimierung und Approximation, Universität Hamburg Leuven, January 8, 01 Names Afanasiev, Attwell, Burns, Cordier,Fahl, Farrell,
More informationThe Navier-Stokes Equations with Time Delay. Werner Varnhorn. Faculty of Mathematics University of Kassel, Germany
The Navier-Stokes Equations with Time Delay Werner Varnhorn Faculty of Mathematics University of Kassel, Germany AMS: 35 (A 35, D 5, K 55, Q 1), 65 M 1, 76 D 5 Abstract In the present paper we use a time
More informationA note on the σ-algebra of cylinder sets and all that
A note on the σ-algebra of cylinder sets and all that José Luis Silva CCM, Univ. da Madeira, P-9000 Funchal Madeira BiBoS, Univ. of Bielefeld, Germany (luis@dragoeiro.uma.pt) September 1999 Abstract In
More informationAnalysis in weighted spaces : preliminary version
Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.
More informationA note on the Stokes operator and its powers
J Appl Math Comput (2011) 36: 241 250 DOI 10.1007/s12190-010-0400-0 JAMC A note on the Stokes operator and its powers Jean-Luc Guermond Abner Salgado Received: 3 December 2009 / Published online: 28 April
More informationSolution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0
Solution Sheet Throughout this sheet denotes a domain of R n with sufficiently smooth boundary. 1. Let 1 p
More informationVariable Exponents Spaces and Their Applications to Fluid Dynamics
Variable Exponents Spaces and Their Applications to Fluid Dynamics Martin Rapp TU Darmstadt November 7, 213 Martin Rapp (TU Darmstadt) Variable Exponent Spaces November 7, 213 1 / 14 Overview 1 Variable
More informationA LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1.
A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE THOMAS CHEN AND NATAŠA PAVLOVIĆ Abstract. We prove a Beale-Kato-Majda criterion
More informationWEAK LOWER SEMI-CONTINUITY OF THE OPTIMAL VALUE FUNCTION AND APPLICATIONS TO WORST-CASE ROBUST OPTIMAL CONTROL PROBLEMS
WEAK LOWER SEMI-CONTINUITY OF THE OPTIMAL VALUE FUNCTION AND APPLICATIONS TO WORST-CASE ROBUST OPTIMAL CONTROL PROBLEMS ROLAND HERZOG AND FRANK SCHMIDT Abstract. Sufficient conditions ensuring weak lower
More informationarxiv: v1 [math.ap] 5 Nov 2018
STRONG CONTINUITY FOR THE 2D EULER EQUATIONS GIANLUCA CRIPPA, ELIZAVETA SEMENOVA, AND STEFANO SPIRITO arxiv:1811.01553v1 [math.ap] 5 Nov 2018 Abstract. We prove two results of strong continuity with respect
More informationHamburger Beiträge zur Angewandten Mathematik
Hamburger Beiträge zur Angewandten Mathematik A finite element approximation to elliptic control problems in the presence of control and state constraints Klaus Deckelnick and Michael Hinze Nr. 2007-0
More informationConvergence rates in l 1 -regularization when the basis is not smooth enough
Convergence rates in l 1 -regularization when the basis is not smooth enough Jens Flemming, Markus Hegland November 29, 2013 Abstract Sparsity promoting regularization is an important technique for signal
More informationSobolev embeddings and interpolations
embed2.tex, January, 2007 Sobolev embeddings and interpolations Pavel Krejčí This is a second iteration of a text, which is intended to be an introduction into Sobolev embeddings and interpolations. The
More informationTakens embedding theorem for infinite-dimensional dynamical systems
Takens embedding theorem for infinite-dimensional dynamical systems James C. Robinson Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. E-mail: jcr@maths.warwick.ac.uk Abstract. Takens
More information