A GAGLIARDO NIRENBERG INEQUALITY, WITH APPLICATION TO DUALITY-BASED A POSTERIORI ESTIMATION IN THE L 1 NORM
|
|
- Lucy Dalton
- 5 years ago
- Views:
Transcription
1 27 Kragujevac J. Math. 30 ( A GAGLIARDO NIRENBERG INEQUALITY, WITH APPLICATION TO DUALITY-BASED A POSTERIORI ESTIMATION IN THE L 1 NORM Endre Süli Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, United Kingdom ( endre.suli@comlab.ox.ac.uk (Received October 25, 2006 Abstract. We prove the Gagliardo Nirenberg-type multiplicative interpolation inequality v L 1 (R n C v 1/2 Lip (R n v 1/2 BV(R n v Lip (R n BV(R n, where C is a positive constant, independent of v. Here Lip (R n is the norm of the dual to the Lipschitz space Lip 0 (R n := C 0,1 0 (Rn = C 0,1 (R n C 0 (R n and BV(R n signifies the norm in the space BV(R n consisting of functions of bounded variation on R n. We then use a local version of this inequality to derive an a posteriori error bound in the L 1 ( norm, with = (0, 1 n, for a finite element approximation to a boundary-value problem for a first-order linear hyperbolic equation, under the limited regularity requirement that the solution to the problem belongs to BV(. 1. INTRODUCTION The aim of this paper is to establish the following Gagliardo Nirenberg-type multiplicative interpolation inequality: there exists a constant C > 0, such that v L 1 (R n C v 1/2 Lip (R n v 1/2 BV(R n v Lip (R n BV(R n, (1
2 28 where Lip (R n is the norm of the dual to the Lipschitz space Lip 0 (R n := C 0,1 0 (R n = C 0,1 (R n C 0 (R n and BV(R n signifies the norm in the space BV(R n consisting of functions of bounded variation on R n. Here, for k N 0, C k 0(R n denotes the set of k-times continuously differentiable functions with compact support in R n and C 0 (R n = k=0 Ck 0(R n ; for the sake of notational simplicity, we write C 0 (R n instead of C 0 0(R n. We refer to text of Meyer [8], particularly Theorems 17 and 18 on p.129 in Section 2.2, for the statement and proof of the closely related improved Gagliardo Nirenberg inequality due to Cohen, Dahmen, Daubechies and DeVore, according to which there exists a constant C > 0 such that, for every function v that belongs to the intersection of the homogeneous Besov space Ḃ 1, (R n with BV(R n, v L 2 (R n C v 1/2 Ḃ 1, (R n v 1/2 BV(R n. (2 In (2, compared with the inequality (1 established here, instead of L 1 (R n the left-hand side of the inequality includes the L 2 (R n norm, while the right-hand side contains the norm Ḃ 1, (R n instead of the dual Lipschitz norm Lip (R n. We note in passing that the dual Lipschitz norm also appears in the articles by Tadmor [11] and Nessyahu & Tadmor [9], for example, in the analysis of numerical methods for scalar hyperbolic partial differential equations. We begin, in Section 2, by establishing a local version of (1. We then extend this local inequality to the whole of R n in Section 3. In the final section, Section 4, we use the local version of the inequality (1 on, where = (0, 1 n, to derive a residual-based a posteriori bound in the L 1 ( norm on the error between the analytical solution of a boundary-value problem for a first-order linear hyperbolic equation and its finite element approximation, under the limited regularity requirement that the analytical solution to the problem belongs to BV(. A posteriori error bounds are crucial building blocks of adaptive finite element algorithms, aimed at optimally distributing the computational mesh so as to accurately capture the analytical solution in a certain, prescribed, norm, or a linear or nonlinear functional of the analytical solution. The mathematics of a posteriori error estimation is an active
3 29 field of research. We shall not attempt to survey this thriving and broad subject here; instead, we refer the reader to the survey articles and monographs [1, 3, 4, 5, 6, 12] listed in the bibliography. 2. INTERIOR BOUND Suppose that R n is either a bounded open set in R n with Lipschitz continuous boundary or = R n. We begin by deriving an interior version of inequality (1. For this purpose we consider a function K C 0 (R n such that K(x 0 and K( x = K(x for all x in R n, supp(k is the unit ball B 1 = {x R n : x 1}, and R n K(ξ dξ = 1. Let us suppose that is a bounded open subset of with, let d R + { } denote the distance between and, and suppose that δ (0, d. In particular if = R n, then d = ; otherwise 0 < d <. We consider the function K δ C 0 (R n defined by K δ (x := 1 ( x δ K. n δ For any ψ L (R n, with supp(ψ, we define ψ δ = ψ K δ, where signifies convolution over R n. Observe that since supp(ψ δ supp(ψ + supp(k δ for all δ (0, d, ψ δ belongs to C 0 (R n. Since supp(ψ δ, it follows that ψ δ Lip 0 ( = C 0,1 ( C 0 (, where, for a bounded open set, C 0 ( denotes the set of all uniformly continuous functions defined on which vanish on. For = R n, Lip 0 (R n has been defined above. We begin by showing the following result.
4 30 Lemma 1. Let ψ L (R n with supp(ψ, and define ψ δ (x = ψ K δ. Further, let B 1 denote the unit ball in R n centred at 0, and define C 1 := K(ξ dξ; B 1 then, for any δ in (0, d, ψ δ Lip( C 1 δ 1 ψ L (. Here Lip( is the norm of the space Lip 0 (, defined by w(x w(x w Lip( := sup, w Lip x, x ; x x x x 0 (. Proof. Recalling the definition of convolution, it is immediate that ψ δ (x ψ δ (x ψ L (R n K δ (x y K δ (x y dy R n for any pair of points x, x in. Noting that K δ C 0 (R n and applying the Integral Mean Value Theorem it follows that K δ (x y K δ (x y x x 1 0 K δ (θ(x y + (1 θ(x y dθ for any pair of points x, x in and any y R n. Upon integrating both sides of the last inequality with respect to y R n we deduce that K δ (x y K δ (x y dy R n ( 1 x x K δ (x y + θ(x x dθ dy, R n 0 for any pair of points x, x in. Interchanging the order of integration on the righthand side and performing the change of variables y z(y = x y + θ(x x for θ fixed in [0, 1] and x, x fixed in, recalling the translation-invariance of the Lebesgue measure on R n we find that K δ (x y K δ (x y dy x x K δ (z dz. R n R n
5 31 Now ( x K δ (x = δ 1 n ( K, δ and therefore, upon noting that supp(k = B 1, R n K δ (z dz = δ 1 C 1, with C 1 as in the statement of the Lemma. Returning to the first inequality in the proof and recalling that supp(ψ, we deduce the required result. Next we prove the following lemma. Lemma 2. Suppose that ϕ W 1,1 (; then, there exists a positive constant C 2 such that, for any δ in (0, d, ϕ ϕ δ L 1 ( C 2 δ ϕ W 1,1 (, where ϕ δ := ϕ K δ, with ϕ defined to be identically zero over the set R n \, and C 2 := B 1 max ξ B1 K(ξ, with B 1 denoting the Lebesgue measure of the unit ball B 1 in R n. Proof. Suppose, to begin with, that ϕ W 1,1 ( C (. Given x, we have the following sequence of equalities: ϕ(x ϕ δ (x = ϕ(x ϕ(yk δ (x y dy R n = ϕ(x ϕ(x yk δ (y dy R n = [ϕ(x ϕ(x y] K δ (y dy R n = δ n [ϕ(x ϕ(x y] K(y/δ dy y <δ = [ϕ(x ϕ(x δξ] K(ξ dξ. B 1 The last equality implies that ϕ(x ϕ δ (x C 3 B 1 ϕ(x ϕ(x δξ dξ, x,
6 32 where C 3 = max ξ B1 K(ξ. Upon integration over we deduce that ϕ ϕ δ L 1 ( C 3 ϕ(x ϕ(x δξ dξ dx B 1 = C 3 ϕ( ϕ( δξ L B 1 ( dξ. (3 1 In order to further bound the right-hand side in (3, observe that ϕ(x ϕ(x δξ = δξ 1 for any x in and any ξ B 1. Consequently, so that ϕ(x ϕ(x δξ δ ϕ( ϕ( δξ L 1 ( δ 0 ( ϕ(θx + (1 θ(x δξ dθ ϕ(x (1 θδξ dθ ϕ(x (1 θδξ dx dθ. (4 Upon performing the change of variables x z(x = x (1 θδξ for fixed θ in [0, 1] and ξ B 1, it follows from (4 that 1 ϕ( ϕ( δξ L 1 ( δ δ Substituting (5 into (3 gives 0 (1 θδξ ϕ(z dz dθ ϕ(z dz = δ ϕ W 1,1 (. (5 ϕ ϕ δ L 1 ( C 2 δ ϕ W 1,1 (, where C 2 = C 3 B 1. This proves the desired inequality for ϕ W 1,1 ( C (. For ϕ W 1,1 ( the inequality then follows by density of W 1,1 ( C ( in the Sobolev space W 1,1 (. Now we extend this result to functions of bounded variation. Let us suppose for this purpose that u L 1 (; we then put { } Du := sup u div v dx : v = (v 1,..., v n [C 1 0(] n, v(x 1 for x.
7 33 A function u L 1 ( is said to be of bounded variation on if u BV( := Du <. The linear space of functions of bounded variation of is denoted by BV( and is equipped with the norm BV( defined by u BV( := u L 1 ( + u BV(. Thus, BV( is the set of functions u L 1 ( whose weak gradient Du is a bounded (vector-valued Radon measure with finite total variation u BV(. If u W 1,1 ( ( BV(, then u BV( = Du = u L 1 (, where u is the distributional gradient of u (cf. [10]. We recall the following approximation result of Anzellotti and Giaquinta [2]; see also Theorem 1.17 in Giusti [7] and Theorem in Ziemer [13]. Theorem 1. For each function v BV( there exists a sequence {ϕ j } j=1 of functions in W 1,1 ( C ( such that lim v ϕ j dx = 0, j Dϕ j dx = Dv. lim j Now, suppose that v BV( (extended by zero to the whole of R n and consider a sequence {ϕ j } j=1 of functions in W 1,1 ( C (, as in Theorem 1; namely, and lim v ϕ j L j 1 ( = 0 lim ϕ j W j 1,1 ( = v BV(. By Lemma 2, we also have, with ϕ j defined to be identically 0 in the set R n \, that ϕ j ϕ j K δ L 1 ( C 2 δ ϕ j W 1,1 (.
8 34 Passing to the limit as j, we deduce that v v K δ L 1 ( C 2 δ Dv = C 2 δ v BV(. Thus we have proved the following lemma. Lemma 3. Suppose that v BV(, extended to R n \ as the identically zero function; then, for each δ (0, d, v v δ L 1 ( C 2 δ v BV(, where v δ = v K δ and C 2 is the same positive constant as in Lemma 2. Now suppose that v Lip ( BV( (extended by zero onto the whole of R n. With δ (0, d as above, we then write v(xψ(x dx = v(xψ δ (x dx + v(x[ψ(x ψ δ (x] dx, where, as before, ψ L ( (extended by zero onto the whole of R n. Further, recalling that K( z = K(z for all z R n, we deduce that v(x[ψ(x ψ δ (x] dx = [v(x v δ (x]ψ(x dx. Thereby, v(xψ(x dx v Lip ( ψ δ Lip( + v v δ L 1 ( ψ L (. Recalling Lemmas 1 and 2, we find that v(xψ(x dx { } C 1 δ 1 v Lip ( + C 2 δ v BV( ψ L (. Let us, in particular, choose ψ = χ sgn(v, where χ is the characteristic function of the open set. We then deduce that v L 1 ( C 1 δ 1 v Lip ( + C 2 δ v BV( δ (0, d, v Lip ( BV(. (6 Trivially, (6 implies that v L 1 ( C 1 δ 1 v Lip ( + C 2 δ v BV( δ (0, d, v Lip ( BV(, (7
9 35 where δ = dist(,,. We begin by considering the case of d < ; the case of d =, corresponding to the choice of = R n, will be discussed in the next section. For v Lip ( BV(, v 0, we consider the mapping δ R + f(v; δ := C 1 δ 1 v Lip ( + C 2 δ v BV(. The function f(v; is strictly positive on R + and attains its minimum value at C 1 v Lip δ = δ 0 := (. C 2 v BV( We shall consider two mutually exclusive cases, depending on the size of δ 0 > 0 relative to d <. Case 1: δ 0 (0, d. On equilibrating the two terms on the right-hand side of (7 by choosing δ = δ 0, we get v L 1 ( C 4 v 1/2 Lip ( v 1/2 BV(, (8 where C 4 = 2 C 1 C 2. For future reference, we rewrite (8 in the following equivalent form: v L 1 ( C 1 C 2 v 1/2 Lip ( v 1/2 BV( + C 1 C 2 v 1/2 Lip ( v 1/2 BV(, (9 the inequality being valid for all v Lip ( BV( such that δ 0 (0, d. Since C 2 v BV( = 1 ( 1 = max C 1 v Lip ( δ 0 d, 1 ( 1 = max δ 0 d, C 2 v BV(, C 1 v Lip ( we can rewrite (9 as follows: ( 1 v L 1 ( C 1 v Lip ( max d, C 2 v BV( + C 1 C 2 v 1/2 C 1 v Lip Lip ( v 1/2 BV(. (10 ( Case 2: δ 0 [d,. In this case, the function f(v; is strictly monotonic decreasing in the interval δ (0, d, and therefore inf δ (0,d f(v, δ = f(v, d. Hence, v L 1 ( C 1 (d 1 v Lip ( + C 2 d v BV( C 1 (d 1 v Lip ( + C 2 δ 0 v BV( C 1 (d 1 v Lip ( + C 1 C 2 v 1/2 Lip ( v 1/2 BV(.
10 36 Now, since d δ 0, we have that ( 1 1 = max d d, 1 = max δ 0 ( 1 d, C 2 v BV( C 1 v Lip ( so, once again, ( 1 v L 1 ( C 1 v Lip ( max d, C 2 v BV( + C 1 C 2 v 1/2 C 1 v Lip Lip ( v 1/2 BV(. (11 ( Combining Cases 1 and 2, as expressed by inequalities (10 and (11, we see that, irrespective of the relative magnitudes of δ 0 and d, we have ( 1 v L 1 ( C 1 v Lip ( max d, C 2 v BV( + C 1 C 2 v 1/2 C 1 v Lip Lip ( v 1/2 BV(, (12 ( for all v Lip ( BV(\{0}, where and where d := dist(, (0,., 3. GLOBAL BOUND We shall now consider the case when = R n, and extend the result stated in (12 from to the whole of R n. On taking d = in (7 and equilibrating the two terms on the right-hand side of (7 by choosing δ = δ 0 (0, d = (0,, we have that v L 1 ( C 4 v 1/2 Lip (R n v 1/2 BV(R n v Lip (R n BV(R n. Now, let us assume that { j } j=1 is a nested sequence of bounded open sets, 1 2 R n such that R n = j=1 j. On taking = j in the last inequality, we see that v L 1 ( j C 4 v 1/2 Lip (R n v 1/2 BV(R n v Lip (R n BV(R n, j = 1, 2,..., where C 4 = 2 C 1 C 2 is independent of j. Defining v j (x := χ j (xv(x, j = 1, 2,..., where χ j is the characteristic function of j, we can restate this inequality as follows: v j L 1 (R n C 4 v 1/2 Lip (R n v 1/2 BV(R n v Lip (R n BV(R n, j = 1, 2,....
11 37 As v(x = lim j v j (x for a.e. x R n, it follows by Fatou s Lemma that v L 1 (R n lim inf j v j L 1 (R n. Consequently, passing to the limit over j gives v L 1 (R n C 4 v 1/2 Lip (R n v 1/2 BV(R n v Lip (R n BV(R n, (13 which is the desired multiplicative interpolation inequality. 4. APPLICATION IN A POSTERIORI ERROR ANALYSIS Suppose that = (0, 1 n, and let Γ signify the union of all (n 1-dimensional open faces of. Let us denote by ν the unit outward normal vector to Γ. Suppose that b [C 0,1 ( ] n, c C 0,1 (, and f BV(. We shall suppose that there exists a positive contact c 0 such that c(x + 1 b(x c 2 0 for all x, and that the components b i, i = 1,..., n, of the vector field b are strictly positive on. We then consider the first-order linear hyperbolic partial differential equation Lu := (bu + cu = f in, (14 supplemented by the boundary condition u Γ = g, (15 where Γ = {x Γ : b(x ν(x < 0} and g L 1 (Γ ; analogously, we define Γ + = {x Γ : b(x ν(x > 0}. The weak formulation of the boundary-value problem amounts to finding u BV( such that u b v dx + (b ν u v ds + Γ + c u v dx = f v dx (b ν g v ds (16 Γ for all v C 0,1 (. Now, let {T h } h>0 denote a shape-regular family of partitions of into disjoint open simplices κ whose union is ; for κ T h we define h κ := diam(κ and let h =
12 38 max κ Th h κ. Further, let V hp denote the set of all continuous piecewise polynomials of degree p 1 defined on T h. that The finite element approximation of (16 is defined as follows: find u h V hp such u h b v h dx + (b ν u h v h ds + c u h v h dx Γ + = f v h dx (b νg v h ds v h V hp. (17 Γ On denoting the expression on the left-hand side of (17 by B(u h, v h, it is easily seen that (w h, v h V hp V hp B(w h, v h R is a bilinear functional, and B(v h, v h c 0 v h 2 L 2 ( v h V hp. Since V hp is a finite-dimensional linear space it then follows that problem (17 has a unique solution u h V hp. To derive an a posteriori bound on the error u u h in the L 1 ( norm where, we begin by establishing an a posteriori error bound in the Lip ( norm using a duality argument which involves the formal adjoint L : z b z + cz of the differential operator L. Let ψ Lip 0 (, and let z C 0,1 ( denote the corresponding (classical solution to the hyperbolic boundary-value problem L z = ψ in subject to z Γ+ = 0. Consequently, z C 0,1 ( also satisfies the following identity: w b z dx + (b νw z ds + c w z dx = w ψ dx w BV(. (18 Γ +
13 39 Thus, for any z h V hp, (u u h ψ dx = (u u h b z dx + (b ν(u u h z ds + c (u u h z dx Γ + = (u u h b (z z h dx + (b ν(u u h (z z h ds Γ + + c (u u h (z z h dx = f (z z h dx (b ν g (z z h dx Γ [ ] u h b (z z h dx + (b ν u h (z z h ds + c u h (z z h dx Γ + = (f (bu h cu h (z z h dx (b ν (g u h (z z h dx. Γ On defining the internal residual R = f (bu h cu h on and the boundary residual R Γ = b ν (g u h on Γ, we then deduce the error representation formula (u u h ψ dx = R (z z h dx + R Γ (z z h dx z h V hp. Γ Hence, with h signifying the positive piecewise constant function defined on T h such that h(x = h κ for all x κ and all κ T h, (u u h ψ dx hr L 1 ( h 1 (z z h L ( + hr Γ L 1 (Γ h 1 (z z h L (Γ Thus, ( hr L 1 ( + hr Γ L 1 (Γ h 1 (z z h L ( z h V hp. (u u h ψ dx ( hr L 1 ( + hr Γ L 1 (Γ inf h 1 (z z h L z h V (. hp Using a standard approximation property of the finite element space V hp in the L ( norm, we deduce that ( (u u h ψ dx K approx hr L 1 ( + hr Γ L 1 (Γ z Lip(,
14 40 where K approx is a positive constant, dependent only on the shape-regularity of the family {T h } h>0. For the sake of simplicity, we shall assume henceforth that b is a constant vector with positive entries. Since ψ Lip 0 ( vanishes on Γ, it follows by hyperbolic regularity theory that c 0 z L ( ψ L ( and c 0 z L ( ψ L ( + c L ( z L ( ψ L ( + c 1 0 c L ( ψ L (. Furthermore, because ψ Γ = 0, we have that ψ L ( diam( ψ L (, and therefore, where z Lip( K stab ψ Lip(, ( K stab = c c 1 0 diam( c L (. Thus, (u u h ψ dx K ( stabk approx hr L 1 ( + hr Γ L 1 (Γ ψ Lip( for all ψ Lip 0 (, whereby, ( u u h Lip ( K stab K approx hr L 1 ( + hr Γ L 1 (Γ =: ApostLip. Furthermore, u u h BV( u BV( + u h BV( K stab f BV( + u h BV( =: Apost BV, where we have used that u BV( K stab f BV(. We note that, trivially, BV( L 1 ( and, when R n is bounded, as is the case in this section, L 1 ( Lip (; therefore also BV( Lip ( and thereby Lip ( BV( = BV(.
15 41 It now follows from (12 that u u h L 1 ( ( C 1 u u h 1/2 max C1 u u Lip ( d h 1/2, C Lip ( 2 u u h 1/2 BV( + C 1 C 2 u u h 1/2 u u Lip ( h 1/2 C 1 Apost 1/2 Lip max + C 1 C 2 Apost 1/2 Lip Apost 1/2 BV, in any domain, with d = dist(,. BV( ( C1 Apost 1/2, C d Lip 2 Apost 1/2 BV We note, in particular, that if C1 d Apost 1/2 Lip C 2 Apost 1/2 BV, that is if Apost Lip C 2(d 2 then the following conditional a posteriori error bound holds: the condition being inequality (19. C 1 Apost BV, (19 u u h L 1 ( 2 C 1 C 2 Apost 1/2 Lip Apost 1/2 BV, Since the quantity Apost BV featuring in the right-hand side of (19 is expected to be, at best, of size O(1 as h 0, while the left-hand side of (19 is anticipated to decay as O(h 2s with some s (0, 1/2], we expect to be able to set d := dist(, = O(h s as h 0. This is the desired a posteriori bound on the error between the analytical solution u BV( and its finite element approximation u h V hp, in terms of the computable domain and boundary residuals, the numerical solution u h and the data. Acknowledgements: I wish to express my sincere gratitude to Ricardo Nochetto (University of Maryland, Christoph Ortner (University of Oxford and Maria Schonbek (University of California at Santa Cruz for helpful comments and stimulating discussions on the subject of this paper.
16 42 References [1] M. Ainsworth, J.T. Oden, A Posteriori Error Estimation in Finite Element Analysis, Wiley Interscience, New York (2000. [2] G. Anzellotti, M. Giaquinta, Funzioni BV e tracce, Rend. Sem. Mat. Padova, 60 (1978, pp [3] R. Becker, R. Rannacher, An optimal control approach to a posteriori error estimation in finite element methods, Acta Numerica 2001, pp , Cambridge University Press, Cambridge (2001. [4] W. Bangerth, R. Rannacher, Adaptive Finite Element Methods for Differential Equations, Birkhauser Verlag, Basel (2003. [5] K. Eriksson, D. Estep, P. Hansbo, C. Johnson, Introduction to adaptive methods for differential equations, Acta Numerica 1995, pp , Cambridge University Press, Cambridge (1995. [6] M. B. Giles, E. Süli, Adjoint methods for PDEs: a posteriori error analysis and postprocessing by duality, Acta Numerica 2002, pp , Cambridge University Press, Cambridge (2002. [7] E. Giusti, Minimal Surfaces and Functions of Bounded Variation, Monographs in Mathematics, Vol. 80, Birkhäuser Verlag, Boston, Basel, Stuttgart (1984. [8] Y. Meyer, Oscillating patterns in image processing and in some nonlinear evolution equations, The Fifteenth Dean Jacqueline B. Lewis Memorial Lectures, November 1, [9] H. Nessyahu, E. Tadmor, The convergence rate of approximate solutions for nonlinear scalar conservation laws, SIAM J. Numer. Anal. 29 (1992, pp
17 43 [10] E. M. Stein, Singular Integrals and Differentiability Properties of Functions, Princeton University Press, Princeton, New Jersey (1970. [11] E. Tadmor, Local error estimates for discontinuous solutions of nonlinear hyperbolic equations, SIAM J. Numer. Anal., 28 (1991, pp [12] R. Verfürth, A Review of a Posteriori Error Estimation and Adaptive Mesh- Refinement Techniques, Teubner-Verlag and J. Wiley, Stuttgart (1996. [13] W. P. Ziemer, Weakly Differentiable Functions, Graduate Texts in Mathematics, Springer-Verlag, Berlin (1989.
Chapter 6 A posteriori error estimates for finite element approximations 6.1 Introduction
Chapter 6 A posteriori error estimates for finite element approximations 6.1 Introduction The a posteriori error estimation of finite element approximations of elliptic boundary value problems has reached
More informationA Posteriori Existence in Adaptive Computations
Report no. 06/11 A Posteriori Existence in Adaptive Computations Christoph Ortner This short note demonstrates that it is not necessary to assume the existence of exact solutions in an a posteriori error
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 informationELLIPTIC RECONSTRUCTION AND A POSTERIORI ERROR ESTIMATES FOR PARABOLIC PROBLEMS
ELLIPTIC RECONSTRUCTION AND A POSTERIORI ERROR ESTIMATES FOR PARABOLIC PROBLEMS CHARALAMBOS MAKRIDAKIS AND RICARDO H. NOCHETTO Abstract. It is known that the energy technique for a posteriori error analysis
More informationA posteriori error estimates applied to flow in a channel with corners
Mathematics and Computers in Simulation 61 (2003) 375 383 A posteriori error estimates applied to flow in a channel with corners Pavel Burda a,, Jaroslav Novotný b, Bedřich Sousedík a a Department of Mathematics,
More informationAdaptive Finite Element Methods Lecture 1: A Posteriori Error Estimation
Adaptive Finite Element Methods Lecture 1: A Posteriori Error Estimation Department of Mathematics and Institute for Physical Science and Technology University of Maryland, USA www.math.umd.edu/ rhn 7th
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 informationEntropic Schemes for Conservation Laws
CONSTRUCTVE FUNCTON THEORY, Varna 2002 (B. Bojanov, Ed.), DARBA, Sofia, 2002, pp. 1-6. Entropic Schemes for Conservation Laws Bojan Popov A new class of Godunov-type numerical methods (called here entropic)
More informationGIOVANNI COMI AND MONICA TORRES
ONE-SIDED APPROXIMATION OF SETS OF FINITE PERIMETER GIOVANNI COMI AND MONICA TORRES Abstract. In this note we present a new proof of a one-sided approximation of sets of finite perimeter introduced in
More informationGreen s Functions and Distributions
CHAPTER 9 Green s Functions and Distributions 9.1. Boundary Value Problems We would like to study, and solve if possible, boundary value problems such as the following: (1.1) u = f in U u = g on U, where
More informationA posteriori error estimation of approximate boundary fluxes
COMMUNICATIONS IN NUMERICAL METHODS IN ENGINEERING Commun. Numer. Meth. Engng 2008; 24:421 434 Published online 24 May 2007 in Wiley InterScience (www.interscience.wiley.com)..1014 A posteriori error estimation
More informationb i (x) u + c(x)u = f in Ω,
SIAM J. NUMER. ANAL. Vol. 39, No. 6, pp. 1938 1953 c 2002 Society for Industrial and Applied Mathematics SUBOPTIMAL AND OPTIMAL CONVERGENCE IN MIXED FINITE ELEMENT METHODS ALAN DEMLOW Abstract. An elliptic
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 informationA Posteriori Estimates for Cost Functionals of Optimal Control Problems
A Posteriori Estimates for Cost Functionals of Optimal Control Problems Alexandra Gaevskaya, Ronald H.W. Hoppe,2 and Sergey Repin 3 Institute of Mathematics, Universität Augsburg, D-8659 Augsburg, Germany
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 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 informationJUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationHigh order geometric smoothness for conservation laws
High order geometric smoothness for conservation laws Martin Campos-Pinto, Albert Cohen, and Pencho Petrushev Abstract The smoothness of the solutions of 1D scalar conservation laws is investigated and
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationAn interpolation operator for H 1 functions on general quadrilateral and hexahedral meshes with hanging nodes
An interpolation operator for H 1 functions on general quadrilateral and hexahedral meshes with hanging nodes Vincent Heuveline Friedhelm Schieweck Abstract We propose a Scott-Zhang type interpolation
More informationSOLUTION OF THE DIRICHLET PROBLEM WITH A VARIATIONAL METHOD. 1. Dirichlet integral
SOLUTION OF THE DIRICHLET PROBLEM WITH A VARIATIONAL METHOD CRISTIAN E. GUTIÉRREZ FEBRUARY 3, 29. Dirichlet integral Let f C( ) with open and bounded. Let H = {u C ( ) : u = f on } and D(u) = Du(x) 2 dx.
More informationSecond Order Elliptic PDE
Second Order Elliptic PDE T. Muthukumar tmk@iitk.ac.in December 16, 2014 Contents 1 A Quick Introduction to PDE 1 2 Classification of Second Order PDE 3 3 Linear Second Order Elliptic Operators 4 4 Periodic
More informationOn the distributional divergence of vector fields vanishing at infinity
Proceedings of the Royal Society of Edinburgh, 141A, 65 76, 2011 On the distributional divergence of vector fields vanishing at infinity Thierry De Pauw Institut de Recherches en Mathématiques et Physique,
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationTraces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains
Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains Sergey E. Mikhailov Brunel University West London, Department of Mathematics, Uxbridge, UB8 3PH, UK J. Math. Analysis
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationRemarks on the Gauss-Green Theorem. Michael Taylor
Remarks on the Gauss-Green Theorem Michael Taylor Abstract. These notes cover material related to the Gauss-Green theorem that was developed for work with S. Hofmann and M. Mitrea, which appeared in [HMT].
More information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More informationTHE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)
Appeared in Israel J. Math. 00 (997), 7 24 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION Juha Kinnunen Abstract. We prove that the Hardy Littlewood maximal operator is bounded in the Sobolev
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 informationThe oblique derivative problem for general elliptic systems in Lipschitz domains
M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T
More informationSome lecture notes for Math 6050E: PDEs, Fall 2016
Some lecture notes for Math 65E: PDEs, Fall 216 Tianling Jin December 1, 216 1 Variational methods We discuss an example of the use of variational methods in obtaining existence of solutions. Theorem 1.1.
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
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 informationOn a weighted total variation minimization problem
On a weighted total variation minimization problem Guillaume Carlier CEREMADE Université Paris Dauphine carlier@ceremade.dauphine.fr Myriam Comte Laboratoire Jacques-Louis Lions, Université Pierre et Marie
More informationPERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,
More informationINFINITE TIME HORIZON OPTIMAL CONTROL OF THE SEMILINEAR HEAT EQUATION
Nonlinear Funct. Anal. & Appl., Vol. 7, No. (22), pp. 69 83 INFINITE TIME HORIZON OPTIMAL CONTROL OF THE SEMILINEAR HEAT EQUATION Mihai Sîrbu Abstract. We consider here the infinite horizon control problem
More informationt y n (s) ds. t y(s) ds, x(t) = x(0) +
1 Appendix Definition (Closed Linear Operator) (1) The graph G(T ) of a linear operator T on the domain D(T ) X into Y is the set (x, T x) : x D(T )} in the product space X Y. Then T is closed if its graph
More informationNumerical Solutions to Partial Differential Equations
Numerical Solutions to Partial Differential Equations Zhiping Li LMAM and School of Mathematical Sciences Peking University The Residual and Error of Finite Element Solutions Mixed BVP of Poisson Equation
More informationACM/CMS 107 Linear Analysis & Applications Fall 2017 Assignment 2: PDEs and Finite Element Methods Due: 7th November 2017
ACM/CMS 17 Linear Analysis & Applications Fall 217 Assignment 2: PDEs and Finite Element Methods Due: 7th November 217 For this assignment the following MATLAB code will be required: Introduction http://wwwmdunloporg/cms17/assignment2zip
More informationOn uniqueness of weak solutions to transport equation with non-smooth velocity field
On uniqueness of weak solutions to transport equation with non-smooth velocity field Paolo Bonicatto Abstract Given a bounded, autonomous vector field b: R d R d, we study the uniqueness of bounded solutions
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationSharp estimates for a class of hyperbolic pseudo-differential equations
Results in Math., 41 (2002), 361-368. Sharp estimates for a class of hyperbolic pseudo-differential equations Michael Ruzhansky Abstract In this paper we consider the Cauchy problem for a class of hyperbolic
More informationExtremal Solutions of Differential Inclusions via Baire Category: a Dual Approach
Extremal Solutions of Differential Inclusions via Baire Category: a Dual Approach Alberto Bressan Department of Mathematics, Penn State University University Park, Pa 1682, USA e-mail: bressan@mathpsuedu
More informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
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 informationA LOWER BOUND FOR THE GRADIENT OF -HARMONIC FUNCTIONS Edi Rosset. 1. Introduction. u xi u xj u xi x j
Electronic Journal of Differential Equations, Vol. 1996(1996) No. 0, pp. 1 7. ISSN 107-6691. URL: http://ejde.math.swt.edu (147.6.103.110) telnet (login: ejde), ftp, and gopher access: ejde.math.swt.edu
More informationSingular Integrals. 1 Calderon-Zygmund decomposition
Singular Integrals Analysis III Calderon-Zygmund decomposition Let f be an integrable function f dx 0, f = g + b with g Cα almost everywhere, with b
More informationΓ-convergence of functionals on divergence-free fields
Γ-convergence of functionals on divergence-free fields N. Ansini Section de Mathématiques EPFL 05 Lausanne Switzerland A. Garroni Dip. di Matematica Univ. di Roma La Sapienza P.le A. Moro 2 0085 Rome,
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 informationON MAPS WHOSE DISTRIBUTIONAL JACOBIAN IS A MEASURE
[version: December 15, 2007] Real Analysis Exchange Summer Symposium 2007, pp. 153-162 Giovanni Alberti, Dipartimento di Matematica, Università di Pisa, largo Pontecorvo 5, 56127 Pisa, Italy. Email address:
More informationNECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)
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 informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationLECTURE 5 APPLICATIONS OF BDIE METHOD: ACOUSTIC SCATTERING BY INHOMOGENEOUS ANISOTROPIC OBSTACLES DAVID NATROSHVILI
LECTURE 5 APPLICATIONS OF BDIE METHOD: ACOUSTIC SCATTERING BY INHOMOGENEOUS ANISOTROPIC OBSTACLES DAVID NATROSHVILI Georgian Technical University Tbilisi, GEORGIA 0-0 1. Formulation of the corresponding
More informationBoth these computations follow immediately (and trivially) from the definitions. Finally, observe that if f L (R n ) then we have that.
Lecture : One Parameter Maximal Functions and Covering Lemmas In this first lecture we start studying one of the basic and fundamental operators in harmonic analysis, the Hardy-Littlewood maximal function.
More informationAN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W 1,p FOR EVERY p > 2 BUT NOT ON H0
AN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W,p FOR EVERY p > BUT NOT ON H FERNANDO FARRONI, RAFFAELLA GIOVA AND FRANÇOIS MURAT Abstract. In this note we give an example of functional
More informationEnergy norm a-posteriori error estimation for divergence-free discontinuous Galerkin approximations of the Navier-Stokes equations
INTRNATIONAL JOURNAL FOR NUMRICAL MTHODS IN FLUIDS Int. J. Numer. Meth. Fluids 19007; 1:1 [Version: 00/09/18 v1.01] nergy norm a-posteriori error estimation for divergence-free discontinuous Galerkin approximations
More informationOBSERVABILITY INEQUALITY AND DECAY RATE FOR WAVE EQUATIONS WITH NONLINEAR BOUNDARY CONDITIONS
Electronic Journal of Differential Equations, Vol. 27 (27, No. 6, pp. 2. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu OBSERVABILITY INEQUALITY AND DECAY RATE FOR WAVE EQUATIONS
More informationBoundary Integral Equations on the Sphere with Radial Basis Functions: Error Analysis
Boundary Integral Equations on the Sphere with Radial Basis Functions: Error Analysis T. Tran Q. T. Le Gia I. H. Sloan E. P. Stephan Abstract Radial basis functions are used to define approximate solutions
More information+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1
Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and
More informationGRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS
LE MATEMATICHE Vol. LI (1996) Fasc. II, pp. 335347 GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS CARLO SBORDONE Dedicated to Professor Francesco Guglielmino on his 7th birthday W
More informationBLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED
BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED TAOUFIK HMIDI AND SAHBI KERAANI Abstract. In this note we prove a refined version of compactness lemma adapted to the blowup analysis
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 informationLocal semiconvexity of Kantorovich potentials on non-compact manifolds
Local semiconvexity of Kantorovich potentials on non-compact manifolds Alessio Figalli, Nicola Gigli Abstract We prove that any Kantorovich potential for the cost function c = d / on a Riemannian manifold
More informationTheory of PDE Homework 2
Theory of PDE Homework 2 Adrienne Sands April 18, 2017 In the following exercises we assume the coefficients of the various PDE are smooth and satisfy the uniform ellipticity condition. R n is always an
More informationand finally, any second order divergence form elliptic operator
Supporting Information: Mathematical proofs Preliminaries Let be an arbitrary bounded open set in R n and let L be any elliptic differential operator associated to a symmetric positive bilinear form B
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationMINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA
MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA SPENCER HUGHES In these notes we prove that for any given smooth function on the boundary of
More informationFind (u,p;λ), with u 0 and λ R, such that u + p = λu in Ω, (2.1) div u = 0 in Ω, u = 0 on Γ.
A POSTERIORI ESTIMATES FOR THE STOKES EIGENVALUE PROBLEM CARLO LOVADINA, MIKKO LYLY, AND ROLF STENBERG Abstract. We consider the Stokes eigenvalue problem. For the eigenvalues we derive both upper and
More informationA spacetime DPG method for acoustic waves
A spacetime DPG method for acoustic waves Rainer Schneckenleitner JKU Linz January 30, 2018 ( JKU Linz ) Spacetime DPG method January 30, 2018 1 / 41 Overview 1 The transient wave problem 2 The broken
More informationSYMPLECTIC GEOMETRY: LECTURE 5
SYMPLECTIC GEOMETRY: LECTURE 5 LIAT KESSLER Let (M, ω) be a connected compact symplectic manifold, T a torus, T M M a Hamiltonian action of T on M, and Φ: M t the assoaciated moment map. Theorem 0.1 (The
More informationTraces and Duality Lemma
Traces and Duality Lemma Recall the duality lemma with H / ( ) := γ 0 (H ()) defined as the trace space of H () endowed with minimal extension norm; i.e., for w H / ( ) L ( ), w H / ( ) = min{ ŵ H () ŵ
More informationMEYERS TYPE ESTIMATES FOR APPROXIMATE SOLUTIONS OF NONLINEAR ELLIPTIC EQUATIONS AND THEIR APPLICATIONS. Yalchin Efendiev.
Manuscript submitted to AIMS Journals Volume X, Number 0X, XX 200X Website: http://aimsciences.org pp. X XX MEYERS TYPE ESTIMATES FOR APPROXIMATE SOLUTIONS OF NONLINEAR ELLIPTIC EUATIONS AND THEIR APPLICATIONS
More informationOrder of Convergence of Second Order Schemes Based on the Minmod Limiter
Order of Convergence of Second Order Schemes Based on the Minmod Limiter Boan Popov and Ognian Trifonov July 5, 005 Abstract Many second order accurate non-oscillatory schemes are based on the Minmod limiter,
More informationENERGY NORM A POSTERIORI ERROR ESTIMATES FOR MIXED FINITE ELEMENT METHODS
ENERGY NORM A POSTERIORI ERROR ESTIMATES FOR MIXED FINITE ELEMENT METHODS CARLO LOVADINA AND ROLF STENBERG Abstract The paper deals with the a-posteriori error analysis of mixed finite element methods
More informationREGULARITY THROUGH APPROXIMATION FOR SCALAR CONSERVATION LAWS
SIAM J. MATH. ANAL. c 1988 Society for Industrial and Applied Mathematics Vol. 19, No. 4, pp. 1 XX, July 1988 003 REGULARITY THROUGH APPROXIMATION FOR SCALAR CONSERVATION LAWS BRADLEY J. LUCIER Abstract.
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 informationConvergence of generalized entropy minimizers in sequences of convex problems
Proceedings IEEE ISIT 206, Barcelona, Spain, 2609 263 Convergence of generalized entropy minimizers in sequences of convex problems Imre Csiszár A Rényi Institute of Mathematics Hungarian Academy of Sciences
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 informationIntroduction to Singular Integral Operators
Introduction to Singular Integral Operators C. David Levermore University of Maryland, College Park, MD Applied PDE RIT University of Maryland 10 September 2018 Introduction to Singular Integral Operators
More informationNonlinear aspects of Calderón-Zygmund theory
Ancona, June 7 2011 Overture: The standard CZ theory Consider the model case u = f in R n Overture: The standard CZ theory Consider the model case u = f in R n Then f L q implies D 2 u L q 1 < q < with
More informationRiemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,
Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction....................... 9 9b Positive integrands................... 9c Special functions gamma and beta......... 4 9d Change of
More informationInstitut für Mathematik
U n i v e r s i t ä t A u g s b u r g Institut für Mathematik Dietrich Braess, Carsten Carstensen, and Ronald H.W. Hoppe Convergence Analysis of a Conforming Adaptive Finite Element Method for an Obstacle
More informationarxiv: v1 [math.ap] 12 Mar 2009
LIMITING FRACTIONAL AND LORENTZ SPACES ESTIMATES OF DIFFERENTIAL FORMS JEAN VAN SCHAFTINGEN arxiv:0903.282v [math.ap] 2 Mar 2009 Abstract. We obtain estimates in Besov, Lizorkin-Triebel and Lorentz spaces
More informationRENORMALIZED SOLUTIONS ON QUASI OPEN SETS WITH NONHOMOGENEOUS BOUNDARY VALUES TONI HUKKANEN
RENORMALIZED SOLTIONS ON QASI OPEN SETS WITH NONHOMOGENEOS BONDARY VALES TONI HKKANEN Acknowledgements I wish to express my sincere gratitude to my advisor, Professor Tero Kilpeläinen, for the excellent
More informationProceedings of the 5th International Conference on Inverse Problems in Engineering: Theory and Practice, Cambridge, UK, 11-15th July 2005
Proceedings of the 5th International Conference on Inverse Problems in Engineering: Theory and Practice, Cambridge, UK, 11-15th July 2005 SOME INVERSE SCATTERING PROBLEMS FOR TWO-DIMENSIONAL SCHRÖDINGER
More informationOn Kusuoka Representation of Law Invariant Risk Measures
MATHEMATICS OF OPERATIONS RESEARCH Vol. 38, No. 1, February 213, pp. 142 152 ISSN 364-765X (print) ISSN 1526-5471 (online) http://dx.doi.org/1.1287/moor.112.563 213 INFORMS On Kusuoka Representation of
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More information2 A Model, Harmonic Map, Problem
ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or
More informationA Two-Grid Stabilization Method for Solving the Steady-State Navier-Stokes Equations
A Two-Grid Stabilization Method for Solving the Steady-State Navier-Stokes Equations Songul Kaya and Béatrice Rivière Abstract We formulate a subgrid eddy viscosity method for solving the steady-state
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 informationLECTURE 3: DISCRETE GRADIENT FLOWS
LECTURE 3: DISCRETE GRADIENT FLOWS Department of Mathematics and Institute for Physical Science and Technology University of Maryland, USA Tutorial: Numerical Methods for FBPs Free Boundary Problems and
More informationNOTE ON A REMARKABLE SUPERPOSITION FOR A NONLINEAR EQUATION. 1. Introduction. ρ(y)dy, ρ 0, x y
NOTE ON A REMARKABLE SUPERPOSITION FOR A NONLINEAR EQUATION PETER LINDQVIST AND JUAN J. MANFREDI Abstract. We give a simple proof of - and extend - a superposition principle for the equation div( u p 2
More informationHARDY INEQUALITIES WITH BOUNDARY TERMS. x 2 dx u 2 dx. (1.2) u 2 = u 2 dx.
Electronic Journal of Differential Equations, Vol. 003(003), No. 3, pp. 1 8. ISSN: 107-6691. UL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) HADY INEQUALITIES
More informationConvergence and optimality of an adaptive FEM for controlling L 2 errors
Convergence and optimality of an adaptive FEM for controlling L 2 errors Alan Demlow (University of Kentucky) joint work with Rob Stevenson (University of Amsterdam) Partially supported by NSF DMS-0713770.
More informationHARMONIC ANALYSIS. Date:
HARMONIC ANALYSIS Contents. Introduction 2. Hardy-Littlewood maximal function 3. Approximation by convolution 4. Muckenhaupt weights 4.. Calderón-Zygmund decomposition 5. Fourier transform 6. BMO (bounded
More information