# CONVERGENCE OF EXTERIOR SOLUTIONS TO RADIAL CAUCHY SOLUTIONS FOR 2 t U c 2 U = 0

Size: px
Start display at page:

Download "CONVERGENCE OF EXTERIOR SOLUTIONS TO RADIAL CAUCHY SOLUTIONS FOR 2 t U c 2 U = 0"

## Transcription

3 EJDE-206/266 CONVERGENCE OF EXTERIOR SOLUTIONS 3 present work addresses this question, and our findings are summarized in Theorem 3. below. We stress that while [2] dealt with the issue of using exterior solutions as a standalone method for obtaining existence of radial Cauchy problems, the setting for the present work is different. We are now exploiting what is known about the solution of the Cauchy solutions as well as exterior solutions for the radial 3-D linear wave equation, and the only issue is how the former solutions are approximated by the latter. Remark 2.. Before starting the detailed analysis we comment on a slightly subtle point. As recorded in our main result (Theorem 3.), we establish H 2 -regularity of the limiting Cauchy solution U when the initial data (Φ, Ψ) belong to H 2 H, and H -regularity when the data belong to H L 2. This is as it should be according to (3.3). Now, in the former case U is obtained as a limit of exterior Neumann solutions, while in the latter case it is obtained as a limit of exterior Dirichlet solutions. This raises a natural question: what regularity is obtained for U in the case of H 2 H -data, if we insist on approximating by exterior Dirichlet solutions? To answer this we need to specify how we compare the everywhere defined Cauchy solution U to exterior solutions U, which are defined only on the exterior domains R 3 := R 3 \ B. There are at least two ways to do this: (a) by calculating U(t) U (t) Hs (R 3 ) ; (b) by first defining a suitable extension Ũ of U to all of R 3, and then calculating U(t) Ũ (t) H s (R 3 ). (When using exterior solutions to establish existence for (2.) (as in [2]), there is no such choice: one must produce approximations to U that are everywhere defined.) With (b), which is what we do in this paper, the natural choice is to extend U (t) continuously as a constant on B at each time. I.e., for exterior Dirichlet solutions, we let Ũ (t, x) vanish identically on B, while for exterior Neumann solutions its value there is that of U (t, x) along the x =. It turns out that regardless of whether we use (a) or (b) to compare the Cauchy solution to the exterior solutions, the answer to the question above is that we obtain only H -convergence when exterior Dirichlet solutions are used. In fact, for (b) this is immediate: the exterior Dirichlet solution Ũ will typically have a nonzero radial derivative at r = + so that its extension Ũ contains a kink along x =. Thus, second derivatives of Ũ will typically contain a δ-function along x =, and Ũ does not even belong to H 2 (R 3 ) in this case. For (a) it suffices to consider the situation at time zero. With Φ as above we consider smooth cutoffs Φ (see (6.2) below). A careful calculation, carried out in [2], shows that Φ Φ H2 (R 3 ) blows up as 0. These remarks highlight the unsurprising but relevant fact that exterior Dirichlet solutions are more singular than exterior Neumann solutions; see [2] for a discussion. The goal is to show that the Cauchy solution U of (2.) can be approximated, uniformly on compact time intervals, in H 2 -norm by suitably chosen exterior Neumann solutions and in H -norm by suitably chosen exterior Dirichlet solutions. As indicated we shall use explicit solution formulae for both the Cauchy problem (2.) as well as for the exterior Neumann and Dirichlet problems. These formulae for radial solutions are readily available in 3 dimensions and exploits the fact that

5 EJDE-206/266 CONVERGENCE OF EXTERIOR SOLUTIONS 5 U(t) Hs (R 3 ) + U t (t) H s (R 3 ) C T ( Φ Hs (R 3 ) + Ψ H s (R 3 )), (3.4) for each T > 0, where C T is a number of the form C T = C ( + T ), and C a universal constant Exterior solutions and their extensions. With Φ Hrad s (R3 ) and Ψ H s rad (R3 ), s = or 2, the goal is to show that the solution U of (2.) can be realized as a limit of exterior solutions defined outside of B as 0. To make this precise we need to specify: () precisely which exterior solutions we consider: which boundary conditions do they satisfy along B, and how are their initial data related to the given Cauchy data Φ, Ψ; (2) how we compare the everywhere defined Cauchy solution U with exterior solutions U, that are defined only outside of B ; and (3) which norm we use for comparing U and U. Concerning () we shall consider exterior solutions that satisfy either vanishing Neumann or vanishing Dirichlet conditions along B. In either case, the initial data for the exterior problem are generated by a two-step procedure: we first approximate the original Cauchy data by C c,rad (R3 )-functions, and then apply an appropriate modification of these smooth approximations near the origin. These modifications use smooth cut-off functions and are made so that the result satisfies vanishing Neumann or Dirichlet conditions along x =. (See (4.2)-(4.3) and (6.2)-(6.3) for details.) In either case we denote the exterior, radial solutions corresponding to the approximate, smooth data by U (t, x) U (t, r); they are given explicitly in (4.5) and (6.4) below. As mentioned in Remark 2., for (2) we opt to compare the Cauchy solution U to the natural extensions Ũ of the smooth exterior solution U : at each time t, Ũ (t, x) takes the constant value U (t, ) on B, and coincides with U (t, x) for x. Thus, in the case of Dirichlet data, Ũ (t, x) vanishes identically on B, while for Neumann data its value there is that of U (t, x) along the boundary x =. Finally, concerning (3), Remark 2. above also explains the choice of H 2 -norm for comparing the Cauchy solution U to exterior Neumann solutions, and H -norm for comparison to exterior Dirichlet solutions. Our main result is as follows. Theorem 3.. Let T > 0 be given and let U denote the solution of the radial Cauchy problem (2.) for the linear wave equation in three space dimensions with initial data (Φ, Ψ). (i) For initial data in H 2 rad (R3 ) H rad (R3 ) the Cauchy solution U can be realized as a C([0, T ]; H 2 (R 3 ))-limit of suitable extended exterior Neumann solutions as 0. (ii) For initial data in H (R 3 ) L 2 (R 3 ) the Cauchy solution U can be realized as a C([0, T ]; H (R 3 ))-limit of suitable extended exterior Dirichlet solutions as 0. We point out that, e.g. in part (i), we do not claim that the extended Neumann solutions Ũ converge to U in H 2 -norm. In fact, we establish this latter property only for the case with Cc (R 3 ) initial data. However, thanks to the stability property (3.4), this is sufficient to obtain (i); see Proposition 3.2 below.

6 6 H. K. JENSSEN, C. TSIKKOU EJDE-206/266 The rest of the paper is organized as follows. After reducing to the case with smooth and compactly supported data in Section (3.3), we treat H 2 -convergence of exterior Neumann solutions in Sections (4)-(5), while H -convergence of exterior Dirichlet solutions is established in Sections (6)-(7) Reduction to smooth case. The first step of the proof is to use wellposedness (3.4) for the Cauchy problem to reduce to the case of smooth initial data. Proposition 3.2. With the setup in Theorem 3., let Ũ N, and Ũ D, denote the extensions of the exterior Neumann and Dirichlet solutions, respectively, as described in Section (3.2). Then, Theorem 3. follows once it is established that sup U(t) Ũ N, (t) H2 (R 3 ) 0 as 0, (3.5) 0 t T sup U(t) Ũ D, (t) H (R 3 ) 0 as 0, (3.6) 0 t T for any initial data Φ, Ψ C c,rad (R3 ). Proof. For concreteness consider the case of exterior Neumann solutions, and let arbitrary data Φ H 2 rad (R3 ), Ψ H rad (R3 ) be given. Fix any δ > 0. We first choose Φ 0, Ψ 0 in C c,rad (R3 ) with Φ Φ 0 H 2 + Ψ Ψ 0 H < δ 2C T, where C T is as in (3.4). The existence of such Φ 0, Ψ 0 may be established in a standard manner via convolution (using a radial mollifier) and smooth cutoff at large radii. Let U 0 denote the solution of (2.) with data Φ 0, Ψ 0. Also, for any > 0 let Ũ N, 0 (t, x) denote the extension of the exterior Neumann solution with data Φ 0, Ψ 0, as described in Section (3.2). Then, assuming that (3.5) has been established, we can choose > 0 sufficiently small to guarantee that Hence, for any t [0, T ] we have sup U 0 (t) Ũ N, 0 (t) H 2 < δ 0 t T 2. U(t) Ũ N, 0 (t) H 2 U(t) U 0 (t) H 2 + U 0 (t) Ũ N, 0 (t) H 2 (3.4) C T ( Φ Φ 0 H 2 + Ψ Ψ 0 H ) + δ 2 < δ, by the choice of Φ 0, Ψ 0. From now on we therefore consider an arbitrary but fixed pair of functions Φ, Ψ C c,rad (R3 ). Note that we then have that the functions ϕ and ψ in (2.2) are smooth on R + 0 and satisfy ϕ (0+) = ψ (0+) = Exterior Neumann solutions In this section and the next we consider the case of exterior Neumann solutions. For the fixed initial data Φ, Ψ C c,rad (R3 ) and any > 0 we derive a formula for U (t, x) U N, (t, x), defined for x and satisfying r U r= = 0. We refer to U as the exterior Neumann solution corresponding to the solution U of (2.) with

7 EJDE-206/266 CONVERGENCE OF EXTERIOR SOLUTIONS 7 data Φ, Ψ. In Section (5) we will then estimate how it (really, its extension Ũ (t, x) to all of R 3 ) approximates the solution U(t) in H 2 (R 3 ) at fixed times. To generate the exterior Neumann solution U we fix a smooth, nondecreasing function β : R + 0 R+ 0 with β on [0, ], β(s) = s for s 2. (4.) Then, with ϕ and ψ as in (2.2), we define Φ (x) ϕ ( x ) := ϕ ( β ( x )), (4.2) Ψ (x) ψ ( x ) := ψ ( β ( x )). (4.3) We refer to (Φ, Ψ ) as the Neumann data corresponding to the original Cauchy data (Φ, Ψ) for (2.). Note that the Neumann data are actually defined on all of R 3, that they are constant (equal to ϕ() and ψ(), respectively) on B, and that their restrictions to the exterior domain {x R 3 : x } satisfy homogeneous Neumann conditions along x =. The exterior Neumann solution U is now defined as the unique radial solution of the initial-boundary value problem +3 V = 0 on (0, T ) { x > } V (0, x) = Φ (x) V t (0, x) = Ψ (x) for x > for x > r V (t, x) = 0 along x = for t > 0. To obtain a formula for U we exploit the fact that V is a radial solution of the 3-D wave equation if and only if v = rv solves the -D wave equation. Setting u (t, r) := ru (t, r), we obtain that u solves the corresponding -D problem on {r > }: (-Half-line) + u = 0 on (0, T ) {r > } u(0, r) = rϕ (r) u t (0, r) = rψ (r) for r > for r > u r (t, ) = u(t, ) for t > 0. Note that the Neumann condition for the 3-D solution corresponds to a Robin condition for the -D solution. (A direct calculation shows that the initial data for u and u t both satisfy this Robin condition.) The solution u to the -Half-line problem is explicitly given via d Alembert s formula: 2 [(ct + r)ϕ (ct + r) + (ct r + 2)ϕ (ct r + 2)] u (t, r) = + ct+r 2c +e r ct 2 ct r+2 ct r+2 sψ (s) ds if r ct +, [ sψ (s) c sϕ (s) ]e s/ ds 2 [(r + ct)ϕ (r + ct) + (r ct)ϕ (r ct)] + r+ct 2c r ct sψ (s) ds if r ct +. (4.4)

8 8 H. K. JENSSEN, C. TSIKKOU EJDE-206/266 (One way to solve the -Dimensional Robin IBVP is to first solve the IBVP with general Dirichlet data u (t, ) = h(t) along r =, for which a d Alembert formula is readily available (see John [], p. 8); one may then identify the h which gives u r = u along r =.) A direct calculation shows that u is a classical solution on R t {r > }. From this we obtain the radial exterior Neumann solution U (t, r) := u (t,r) r : 2r [(ct + r)ϕ (ct + r) + (ct r + 2)ϕ (ct r + 2)] + ct+r 2cr ct r+2 sψ (s) ds + r e r ct 2 ct r+2 [ sψ (s) c sϕ (s) ]e s/ ds U (t, r) = if r ct + 2r [(r + ct)ϕ (r + ct) + (r ct)ϕ (r ct)] + r+ct 2cr r ct sψ (s) ds if r ct +. (4.5) We finally extend U at each time to obtain an everywhere defined approximation of the Cauchy solution U(t, x). As discussed earlier we use the natural choice of extending U continuously as a constant on B at each time: { Ũ U (t, ) for 0 x (t, x) = U (4.6) (t, x) for x. For later use we record that the value along the boundary is explicitly given as U (t, ) = (ct + )ϕ (ct + ) + ct+ e and we also note that ct+ [ sψ (s) c sϕ (s) ]e s/ ds, (4.7) Ũ (0, x) = Φ (x), Ũ t (0, x) = Ψ (x) for all x R 3. (4.8) 5. Comparing Cauchy and exterior Neumann solutions The issue now is to estimate the H 2 -distance U(t) Ũ (t) H2 (R 3 ) as 0. As explained in Section (2) we prefer to estimate this H 2 -difference by employing the natural energies for the wave equation. These energies will majorize the L 2 -distances of the first and second derivatives of U(t) and Ũ (t), and also provide control of the L 2 -distance of the functions themselves. 5.. Energies. For any function W (t, x) which is twice weakly differentiable on R R 3 we define the following st and 2nd order energies (note their domains of integration): E W (t) := t W (t, x) 2 + c 2 W (t, x) 2 dx, 2 R 3 EW (t) := t W (t, x) 2 + c 2 W (t, x) 2 dx, 2 and E W (t) := 3 E iw (t) = i= x 3 i= 2 R 3 t i W (t, x) 2 + c 2 i W (t, x) 2 dx,

9 EJDE-206/266 CONVERGENCE OF EXTERIOR SOLUTIONS 9 E W (t) := 3 E iw (t) = i= 3 i= The first goal is to estimate the energies t i W (t, x) 2 + c 2 i W (t, x) 2 dx. 2 x > E (t) := E U Ũ (t), E (t) := E U Ũ (t), which majorizes the L 2 -distances between the st and 2nd derivatives of U and Ũ, respectively. As a first step we observe the following facts. Lemma 5.. With U and U as defined above we have: each of the energies are constant in time. E U (t), E U (t), E iu (t), and E iu (t) Proof. The constancy of the first three energies is standard, while the constancy of E iu (t) is a consequence of the fact that we consider radial solutions. Indeed, as U is radial and satisfies vanishing Neumann conditions along x =, we have that U (t, x) 0 along x =. Thus, Ux it 0 for each i =, 2, 3 along x =. Differentiating in time, using that U is a solution of the wave equation, and integrating by parts, we therefore have E iu (t) = Ux itux itt + c 2 Ux i Ux it dx x > = c 2 = c 2 x > { x >} U x it U x i + U x i U x it dx U x it U x i ν ds = 0. Next, to estimate E (t), we expand the integrand and use that Ũ vanishes on B (by our choice of extension), to get E (t) = E U Ũ (t) = U t 2 Ũ t 2 + c 2 U Ũ 2 dx R 3 = E U (t) + EŨ (t) U t Ũt + c 2 U Ũ dx R 3 = E U (t) + EU (t) + vol(b ) Ut (t, ) 2 Ut (t, ) U t (t, x) dx 2 x < U t Ut + c 2 U U dx. x > Differentiating in time, applying Lemma 5., integrating by parts, and using the boundary condition r U (t, ) 0, then yield E (t) = d [ vol(b ) ] Ut (t, ) 2 Ut (t, ) U t (t, x) dx + c 2 Ut r U ds. dt 2 x < x =

10 0 H. K. JENSSEN, C. TSIKKOU EJDE-206/266 Integrating back up in time, and recalling that U and U are radial, we obtain [ E (T ) = E vol(b ) ] t=t (0) + Ut (t, ) 2 Ut (t, ) U t (t, x) dx 2 x < t=0 T (5.) + c 2 area(b ) Ut (t, ) r U(t, ) dt. 0 Below we shall carefully estimate the terms on the right-hand side to show that E (T ) 0 as 0. Before carrying out a similar representation of the 2nd order energy difference E (t), we observe how E (t) controls the L 2 -distance between U and Ũ. Setting D (t) := U(t, x) 2 Ũ (t, x) 2 dx, (5.2) R 3 the Cauchy-Schwarz inequality gives such that Ḋ (t) 2D (t) /2 E (t) /2, T D (T ) D (0) + E (t) dt. (5.3) 0 We now consider how E (t) changes in time. Arguing as above, using Lemma 5. and the fact that Ux i 0 on B, we have E iu i Ũ (t) = U xit 2 Ũ x it 2 + c 2 U xit Ũ x it 2 dx R 3 = E iu (t) + E i Ũ (t) U xi,tũ x it + c 2 U xi Ũ x i dx (5.4) R 3 = E iu (0) + E (0) iu U xi,tux it + c 2 U xi Ux i dx. x > Differentiating in time and integrating by parts in the last integral, give E iu i Ũ (t) = c 2 ( )( Uxit r Ux ) i ds. (5.5) Observing that we have x = 3 U xit r Ux i = ( )( r U t rr U ) i= along { x = } (recall that r U vanishes along { x = }), we obtain from (5.5) that T E (T ) = E (0) + c 2 ( area(b ) r U t (t, ) )( rr U (t, ) ) dt. (5.6) 0 To estimate E (T ) and E (T ), and hence also D (T ) according to (5.3), we employ the solution formulae (3.2) and (4.5).

11 EJDE-206/266 CONVERGENCE OF EXTERIOR SOLUTIONS 5.2. Initial differences in energy. The details of estimating the initial differences of the first and second order energies, i.e. E (0) and E (0), were carried out in [2, Section 3.2] (and makes use of (4.8)). Translating to our present notation we have that D (0) 2 Φ 2 H (B 2), (5.7) E (0) 2 Ψ 2 H (B 2) + Φ 2 H (B 2), (5.8) E (0) Ψ 2 H (B 2) + Φ 2 H 2 (B 2). (5.9) 5.3. Estimating growth of first order energy difference. According to (5.), to estimate E (T ) we need to estimate the quantities Ut and r U along x =. For the remaining term involving U t (t, x) in (5.) (for x ), it will suffice to employ an energy estimate that does not require formulae. Before considering these terms in detail we record the following fact. For any k R and for any t > 0 let then Q k(t) := ( k e ct+ ct+ [ sψ (s) c sϕ (s) ) ]e s/ ds + (ct + )ϕ (ct + ) ; Q k(t) 0 as 0. (5.0) To see this, integrate by parts in the ϕ -term to get that Q k(t) = c + ct+ ct+ sψ (s) k e s ct [ϕ (s) + sϕ (s)] k e s ct ds + ϕ () k e ct Recalling (4.2)-(4.3) and using that ϕ and ψ are fixed, smooth functions, the Dominated Convergence Theorem yields Q k (t) 0 as Estimating Ut (t, ). According to (4.7) we have Ut (t, ) = c ( ϕ (ct + ) + (ct + )ϕ (ct + ) (ct + ) + ψ (ct + ) ) cq c 2(t). As Q 2(t) tends to zero while ϕ and ψ remain bounded, we conclude that ds. U t (t, ) for all t [0, T ] as 0. (5.) Estimating r U(t, ). According to (3.2) we have 2 [(ct + )ϕ(ct + ) (ct )ϕ(ct )] [ϕ(ct + ) + (ct + )ϕ (ct + ) + ϕ(ct ) + (ct )ϕ (ct )] ct+ 2c sψ(s) ds + 2 ct 2c [(ct + )ψ(ct + ) + (ct )ψ(ct )] if t c r U(t, ) = 2 [( + ct)ϕ( + ct) + ( ct)ϕ( ct)] [ϕ( + ct) + ( + ct)ϕ ( + ct) + ϕ( ct) + ( ct)ϕ ( ct)] +ct 2c sψ(s) ds + 2 ct 2c [( + ct)ψ( + ct) ( ct)ψ( ct)] if t c (5.2)

12 2 H. K. JENSSEN, C. TSIKKOU EJDE-206/266 The terms for t c are estimated by 2nd order Taylor expansion of ϕ(ct ± ) and ψ(ct ± ) about = 0. The terms for t c are estimated by 2nd order Taylor expansion of ϕ and ψ about zero, and then using that ϕ (0) = ψ (0) = 0. (As observed earlier, this holds since ϕ and ψ are profile functions of the smooth, radial functions Φ and Ψ, respectively). These expansions are straightforward and we omit them. The end result is that the leading order terms in (5.2) cancel, leaving terms of size at most O(). We thus have r U(t, ) for all t [0, T ] as 0. (5.3) (Note: this is actually obvious since we know that U is a smooth, radial solution satisfying r U(t, 0) 0 and with fixed data independent of.) Finally, the Cauchy-Schwarz inequality and Lemma 5. give U t (t, x) dx 3/2 E U (0) /2. x < Applying this together with (5.) and (5.3) in (5.), we conclude that E (T ) E (0) + /2. (5.4) 5.4. Estimating growth of second order energy differences. Next, according to (5.6), to estimate E (T ), we need to estimate the quantities r U t and rr U along x = Estimating r U t (t, ). By taking the time derivative of (5.2) and then Taylor expanding the various terms as outlined above, we deduce that r U t (t, ) for all t [0, T ] as 0. (5.5) Estimating rr U (t, ). This estimate again requires a direct, but rather long, calculation (which we omit), followed by a careful analysis of the resulting expression. The first step is to calculate rr U (t, r) for r ct +, by using the first part of formula (4.5). A number of cancelations occur when the resulting expression is evaluated at r =, and we are left with rr U (t, ) = Q 3(t) 2 [ϕ + (ct )ϕ (ct + )ϕ ] c 2 [ctψ (ct + )ψ ], where ϕ, ψ, and their derivatives are evaluated at ct +. According to (4.2)-(4.3) we have that ϕ, ψ, and their first derivatives remain bounded independently of, while ϕ is at most of order. Since Q 3(t) 0 as 0 by (5.0), we therefore have that rr U (t, ) 2 for all t [0, T ] as 0. (5.6) Finally, by using (5.5) and (5.6) in (5.6), we conclude that E (T ) E (0) +. (5.7)

13 EJDE-206/266 CONVERGENCE OF EXTERIOR SOLUTIONS Convergence of exterior Neumann solutions. According to the definitions of D (t), E (t), and E (t), together with the estimates (5.3), (5.4), (5.7) we have U(t) Ũ (t) 2 H 2 (R 3 ) D (t) + E (t) + E (t) D (0) + E (0) + E (0) + /2, at any time t [0, T ]. Applying the bounds (5.7), and (5.8), (5.9), we conclude that the (extended) Neumann solutions Ũ (t) converge to the Cauchy solution U(t) in H 2 (R 3 ), uniformly on bounded time intervals, as 0. Thanks to Proposition 3.2, this concludes the proof of part (i) of Theorem Exterior Dirichlet solutions In this and the next section U refers to the exterior Dirichlet solutions; similarly for their extensions Ũ (t, x). For fixed initial data Φ, Ψ C c,rad (R3 ) and any > 0 we shall derive a formula for the exterior, radial Dirichlet solution U (t, x), defined for x and satisfying U r= = 0. We refer to U as the exterior Dirichlet solution corresponding to the solution U of (2.) with data Φ, Ψ. In Section (7) we will then estimate how it (really, its extension Ũ (t, x) to all of R 3 ) approximates the solution U(t) in H (R 3 ) at fixed times. To generate the exterior Dirichlet solution U (t, x) and its extension we use the following scheme. To smoothly approximate the original data (Φ, Ψ) with exterior Dirichlet data we fix a smooth, nondecreasing cutoff function χ : R + 0 R+ 0 with Then, with ϕ and ψ as in (2.2) we define χ 0 on [0, ], χ on [2, ). (6.) Φ (x) ϕ ( x ) := χ ( x ) ϕ( x ), (6.2) Ψ (x) ψ ( x ) := χ ( x ) ψ( x ). (6.3) We refer to (Φ, Ψ ) as the Dirichlet data corresponding to the original Cauchy data (Φ, Ψ) for (2.). Note that the Dirichlet data are actually defined on all of R 3, that they vanish identically on B, and hence their restrictions to the exterior domain {x R 3 : x } satisfy homogeneous Dirichlet conditions along x =. The exterior Dirichlet solution U (t, x) is then the unique radial solution of the initial-boundary value problem +3 V = 0 on (0, T ) { x > } V (0, x) = Φ (x) V t (0, x) = Ψ (x) for x > for x > V (t, x) = 0 along x = for t > 0. We next record the solution formula for the exterior, radial Dirichlet solution U (t, r) (which is simpler to derive than the formula for the exterior Neumann

14 4 H. K. JENSSEN, C. TSIKKOU EJDE-206/266 solution): U (t, r) = 2r [(ct + r)ϕ (ct + r) (ct r + 2)ϕ (ct r + 2)] ct+r ct r+2 sψ (s) ds if r ct + + 2cr 2r [(r + ct)ϕ (r + ct) + (r ct)ϕ (r ct)] + r+ct 2cr r ct sψ (s) ds if r ct +. (6.4) We finally extend U at each time to obtain an everywhere defined approximation of the Cauchy solution U. The natural choice is to extend U continuously as zero on B at each time { Ũ 0 for 0 x (t, x) = U (6.5) (t, x) for x. We note that Ũ (0, x) = Φ (x), Ũ t (0, x) = Ψ (x) for all x R 3. (6.6) 7. Comparing the Cauchy and exterior Dirichlet solutions We proceed to estimating the H -distance U(t) Ũ (t) H (R 3 ), and show that it vanishes as 0. As for exterior Neumann solutions we prefer to estimate this difference by estimating the first order energy E (t) = E U Ũ (t) as defined in (5.). This energy bounds the L 2 -norm of the gradient of the difference U Ũ, and it also controls the L 2 -norm of U Ũ itself. The calculations for these estimates are similar to the ones for the Neumann case in Section (5.), and will only be outlined. First, a direct calculation similar to what was done above (using that the energies E U (t) and EU (t) are both conserved in time), shows that E (t) = EU (0) + E U (0) U t Ut + c 2 U U dx. x > Differentiating with respect to time, integrating by parts, and applying the Dirichlet condition for U yield E (t) = c 2 U t (t, ) r U (t, ) ds. (7.) x = Also, with D (t) defined as in (5.2), we have that (5.3) holds also in the case of Dirichlet boundary conditions. To estimate the H -distance between the Cauchy solution U(t) and the exterior Dirichlet solution Ũ (t), we proceed to provide bounds for the initial terms D (0) and E (0), as well as for the surface integral in (7.). It is immediate to verify that D (0) Φ Φ 2 L 2 (R 3 ) Φ 2 L 2 (B 2),

15 EJDE-206/266 CONVERGENCE OF EXTERIOR SOLUTIONS 5 and similarly that E (0) Ψ 2 L 2 (B 2) + Φ Φ 2 L 2 (R 3 ). To bound the last term we recall the definition of Φ in (6.2) to calculate that Φ Φ 2 L 2 (R 3 ) Φ 2 dx + 2 Φ(x) 2 dx x <2 Φ 2 L 2 (B 2) + < x <2 < x <2 Φ(x) 2 x 2 dx. (7.2) As Φ belongs to H (R 3 ), Hardy s inequality (as formulated in [5, Lemma 7.]) shows that Φ(x) 2 x 2 yields We have thus established that belongs to L (R 3 ), so that the Dominated Convergence Theorem Φ Φ 2 L 2 (R 3 ) 0 as 0. D (0) 0 and E (0) 0 as 0. (7.3) Estimating t U(t, ). According to (3.2) we have c 2 [ϕ(ct + ) + (ct + )ϕ (ct + ) ϕ(ct ) (ct )ϕ (ct )] 2 [(ct + )ψ(ct + ) (ct )ψ(ct )] if t c t U(t, ) = c 2 [ϕ( + ct) + ( + ct)ϕ ( + ct) ϕ( ct) ( ct)ϕ ( ct)] + 2 [( + ct)ψ( + ct) + ( ct)ψ( ct)] if t c. (7.4) We estimate the terms for t c by 2nd order Taylor expansion of ϕ(ct ± ) and ψ(ct ± ) about = 0. The terms for t c are estimated by 2nd order Taylor expansion of ϕ and ψ about zero, and then using that ϕ (0) = ψ (0) = 0. These expansions are straightforward and are omitted. The result is that the leading order term in (7.4) for all times is O(). We thus have that U t (t, ) for all t [0, T ] as 0. (7.5) Estimating r U (t, ). We first calculate r U (t, r) for r ct + by using the first part of formula (6.4). Evaluating at r = gives that r U (t, ) = [ϕ (ct + ) + (ct + )ϕ (ct + )] + (ct + ) ψ (ct + ). c Recalling the definitions of ϕ and ψ in (6.2)-(6.3), and splitting the calculations into t c, we obtain r U (t, ) for all t [0, T ] as 0. (7.6)

16 6 H. K. JENSSEN, C. TSIKKOU EJDE-206/ Convergence of exterior Dirichlet solutions. By using (7.5) and (7.6) in (7.) we obtain that E (t) for all t [0, T ] as 0, such that (7.3) 2 gives E (t) 0 uniformly for t [0, T ] as 0. Finally, recalling that (5.3) also holds in the Dirichlet case, we have that (7.3) yields D (t) 0 uniformly for t [0, T ] as 0, as well. We thus conclude that U(t) Ũ (t) H (R 3 ) D (t) + E (t) 0 uniformly for t [0, T ] as 0. Thanks to Proposition 3.2, this concludes the proof of part (ii) of Theorem 3.. Acknowledgments. Jenssen was supported by the National Science Foundation under Grant DMS Tsikkou was supported by the WVU ADVANCE Sponsorship Program. References [] Lipman Bers, Fritz John, Martin Schechter; Partial differential equations, American Mathematical Society, Providence, R.I., With supplements by Lars Gȧrding and A. N. Milgram; With a preface by A. S. Householder; Reprint of the 964 original; Lectures in Applied Mathematics, 3A. [2] Helge Kristian Jenssen, Charis Tsikkou; Radial solutions to the cauchy problem for +3 u = 0 as limits of exterior solutions, Submitted, available at [3] Jeffrey Rauch; Partial differential equations, Graduate Texts in Mathematics, vol. 28, Springer-Verlag, New York. [4] Sigmund Selberg; Lecture notes, math 632, pde, Johns Hopkins University. [5] Luc Tartar; An introduction to sobolev spaces and interpolation spaces, Lecture Notes of the Unione Matematica Italiana, vol. 3, Springer, Berlin; UMI, Bologna. Helge Kristian Jenssen Department of Mathematics, Penn State University, University Park, State College, PA 6802, USA address: Charis Tsikkou Department of Mathematics, West Virginia University, Morgantown, WV 26506, USA address:

### The 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

### ON 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.,

### Math The Laplacian. 1 Green s Identities, Fundamental Solution

Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external

### SHARP 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

### On 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

### Partial Differential Equations

Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,

### A COUNTEREXAMPLE TO AN ENDPOINT BILINEAR STRICHARTZ INEQUALITY TERENCE TAO. t L x (R R2 ) f L 2 x (R2 )

Electronic Journal of Differential Equations, Vol. 2006(2006), No. 5, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A COUNTEREXAMPLE

### NONLINEAR SCHRÖDINGER ELLIPTIC SYSTEMS INVOLVING EXPONENTIAL CRITICAL GROWTH IN R Introduction

Electronic Journal of Differential Equations, Vol. 014 (014), No. 59, pp. 1 1. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu NONLINEAR SCHRÖDINGER

### at time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t))

Notations In this chapter we investigate infinite systems of interacting particles subject to Newtonian dynamics Each particle is characterized by its position an velocity x i t, v i t R d R d at time

### REMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID

REMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID DRAGOŞ IFTIMIE AND JAMES P. KELLIHER Abstract. In [Math. Ann. 336 (2006), 449-489] the authors consider the two dimensional

### Laplace 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

### A SHORT PROOF OF INCREASED PARABOLIC REGULARITY

Electronic Journal of Differential Equations, Vol. 15 15, No. 5, pp. 1 9. ISSN: 17-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu A SHORT PROOF OF INCREASED

### THE 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

### BIHARMONIC 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.

### THE WAVE EQUATION. d = 1: D Alembert s formula We begin with the initial value problem in 1 space dimension { u = utt u xx = 0, in (0, ) R, (2)

THE WAVE EQUATION () The free wave equation takes the form u := ( t x )u = 0, u : R t R d x R In the literature, the operator := t x is called the D Alembertian on R +d. Later we shall also consider the

### Homework 3 solutions Math 136 Gyu Eun Lee 2016 April 15. R = b a

Homework 3 solutions Math 136 Gyu Eun Lee 2016 April 15 A problem may have more than one valid method of solution. Here we present just one. Arbitrary functions are assumed to have whatever regularity

### EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018

EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner

### A NOTE ON THE LADYŽENSKAJA-BABUŠKA-BREZZI CONDITION

A NOTE ON THE LADYŽENSKAJA-BABUŠKA-BREZZI CONDITION JOHNNY GUZMÁN, ABNER J. SALGADO, AND FRANCISCO-JAVIER SAYAS Abstract. The analysis of finite-element-like Galerkin discretization techniques for the

### EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC SCHRÖDINGER EQUATIONS

Electronic Journal of Differential Equations, Vol. 017 (017), No. 15, pp. 1 7. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS TO ASYMPTOTICALLY PERIODIC

### PARTIAL DIFFERENTIAL EQUATIONS. Lecturer: D.M.A. Stuart MT 2007

PARTIAL DIFFERENTIAL EQUATIONS Lecturer: D.M.A. Stuart MT 2007 In addition to the sets of lecture notes written by previous lecturers ([1, 2]) the books [4, 7] are very good for the PDE topics in the course.

### SELF-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

### A REMARK ON MINIMAL NODAL SOLUTIONS OF AN ELLIPTIC PROBLEM IN A BALL. Olaf Torné. 1. Introduction

Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 24, 2004, 199 207 A REMARK ON MINIMAL NODAL SOLUTIONS OF AN ELLIPTIC PROBLEM IN A BALL Olaf Torné (Submitted by Michel

### OBSERVABILITY 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

### AN 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

### 2 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

### NONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian UNDER NONHOMOGENEOUS NEUMANN BOUNDARY CONDITION

Electronic Journal of Differential Equations, Vol. 2016 (2016), No. 210, pp. 1 7. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu NONLINEAR FREDHOLM ALTERNATIVE FOR THE p-laplacian

### SYMMETRY IN REARRANGEMENT OPTIMIZATION PROBLEMS

Electronic Journal of Differential Equations, Vol. 2009(2009), No. 149, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SYMMETRY IN REARRANGEMENT

### Piecewise Smooth Solutions to the Burgers-Hilbert Equation

Piecewise Smooth Solutions to the Burgers-Hilbert Equation Alberto Bressan and Tianyou Zhang Department of Mathematics, Penn State University, University Park, Pa 68, USA e-mails: bressan@mathpsuedu, zhang

### Integral Representation Formula, Boundary Integral Operators and Calderón projection

Integral Representation Formula, Boundary Integral Operators and Calderón projection Seminar BEM on Wave Scattering Franziska Weber ETH Zürich October 22, 2010 Outline Integral Representation Formula Newton

### OPTIMAL POTENTIALS FOR SCHRÖDINGER OPERATORS. 1. Introduction In this paper we consider optimization problems of the form. min F (V ) : V V, (1.

OPTIMAL POTENTIALS FOR SCHRÖDINGER OPERATORS G. BUTTAZZO, A. GEROLIN, B. RUFFINI, AND B. VELICHKOV Abstract. We consider the Schrödinger operator + V (x) on H 0 (), where is a given domain of R d. Our

### Energy method for wave equations

Energy method for wave equations Willie Wong Based on commit 5dfb7e5 of 2017-11-06 13:29 Abstract We give an elementary discussion of the energy method (and particularly the vector field method) in the

### 2. 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

### HARDY 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

### Sobolev 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

### Applied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.

Printed Name: Signature: Applied Math Qualifying Exam 11 October 2014 Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems. 2 Part 1 (1) Let Ω be an open subset of R

### Sobolev spaces. May 18

Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references

### Green 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

### THE 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

### and 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

### Waves in Flows. Global Existence of Solutions with non-decaying initial data 2d(3d)-Navier-Stokes ibvp in half-plane(space)

Czech Academy of Sciences Czech Technical University in Prague University of Pittsburgh Nečas Center for Mathematical Modelling Waves in Flows Global Existence of Solutions with non-decaying initial data

### Friedrich symmetric systems

viii CHAPTER 8 Friedrich symmetric systems In this chapter, we describe a theory due to Friedrich [13] for positive symmetric systems, which gives the existence and uniqueness of weak solutions of boundary

### MATH 124B Solution Key HW 05

7.1 GREEN S FIRST IENTITY MATH 14B Solution Key HW 05 7.1 GREEN S FIRST IENTITY 1. erive the 3-dimensional maximum principle from the mean value property. SOLUTION. We aim to prove that if u is harmonic

### MATH 819 FALL We considered solutions of this equation on the domain Ū, where

MATH 89 FALL. The D linear wave equation weak solutions We have considered the initial value problem for the wave equation in one space dimension: (a) (b) (c) u tt u xx = f(x, t) u(x, ) = g(x), u t (x,

### A proof for the full Fourier series on [ π, π] is given here.

niform convergence of Fourier series A smooth function on an interval [a, b] may be represented by a full, sine, or cosine Fourier series, and pointwise convergence can be achieved, except possibly at

### MATH 220: MIDTERM OCTOBER 29, 2015

MATH 22: MIDTERM OCTOBER 29, 25 This is a closed book, closed notes, no electronic devices exam. There are 5 problems. Solve Problems -3 and one of Problems 4 and 5. Write your solutions to problems and

### A PROPERTY OF SOBOLEV SPACES ON COMPLETE RIEMANNIAN MANIFOLDS

Electronic Journal of Differential Equations, Vol. 2005(2005), No.??, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A PROPERTY

### BLOWUP 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

### SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction

Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 21, 2003, 211 226 SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS Massimo Grosi Filomena Pacella S.

### We 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

### NECESSARY 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)

### Some 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.

### Calculus of Variations. Final Examination

Université Paris-Saclay M AMS and Optimization January 18th, 018 Calculus of Variations Final Examination Duration : 3h ; all kind of paper documents (notes, books...) are authorized. The total score of

### POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO

POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO HART F. SMITH AND MACIEJ ZWORSKI Abstract. We prove optimal pointwise bounds on quasimodes of semiclassical Schrödinger

### Harmonic Polynomials and Dirichlet-Type Problems. 1. Derivatives of x 2 n

Harmonic Polynomials and Dirichlet-Type Problems Sheldon Axler and Wade Ramey 30 May 1995 Abstract. We take a new approach to harmonic polynomials via differentiation. Surprisingly powerful results about

### BOUNDARY VALUE PROBLEMS ON A HALF SIERPINSKI GASKET

BOUNDARY VALUE PROBLEMS ON A HALF SIERPINSKI GASKET WEILIN LI AND ROBERT S. STRICHARTZ Abstract. We study boundary value problems for the Laplacian on a domain Ω consisting of the left half of the Sierpinski

### A 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

### CONSEQUENCES OF TALENTI S INEQUALITY BECOMING EQUALITY. 1. Introduction

Electronic Journal of ifferential Equations, Vol. 2011 (2011), No. 165, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu CONSEQUENCES OF

### The Helically Reduced Wave Equation as a Symmetric Positive System

Utah State University DigitalCommons@USU All Physics Faculty Publications Physics 2003 The Helically Reduced Wave Equation as a Symmetric Positive System Charles G. Torre Utah State University Follow this

### Variational 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

### Global well-posedness for KdV in Sobolev spaces of negative index

Electronic Journal of Differential Equations, Vol. (), No. 6, pp. 7. ISSN: 7-669. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) Global well-posedness for

### NON-EXTINCTION OF SOLUTIONS TO A FAST DIFFUSION SYSTEM WITH NONLOCAL SOURCES

Electronic Journal of Differential Equations, Vol. 2016 (2016, No. 45, pp. 1 5. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu NON-EXTINCTION OF

### On the Optimal Insulation of Conductors 1

JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS: Vol. 100, No. 2, pp. 253-263, FEBRUARY 1999 On the Optimal Insulation of Conductors 1 S. J. COX, 2 B. KAWOHL, 3 AND P. X. UHLIG 4 Communicated by K. A.

### Diffusion on the half-line. The Dirichlet problem

Diffusion on the half-line The Dirichlet problem Consider the initial boundary value problem (IBVP) on the half line (, ): v t kv xx = v(x, ) = φ(x) v(, t) =. The solution will be obtained by the reflection

### A Posteriori Error Bounds for Meshless Methods

A Posteriori Error Bounds for Meshless Methods Abstract R. Schaback, Göttingen 1 We show how to provide safe a posteriori error bounds for numerical solutions of well-posed operator equations using kernel

### The continuity method

The continuity method The method of continuity is used in conjunction with a priori estimates to prove the existence of suitably regular solutions to elliptic partial differential equations. One crucial

### Heat equations with singular potentials: Hardy & Carleman inequalities, well-posedness & control

Outline Heat equations with singular potentials: Hardy & Carleman inequalities, well-posedness & control IMDEA-Matemáticas & Universidad Autónoma de Madrid Spain enrique.zuazua@uam.es Analysis and control

### n 2 xi = x i. x i 2. r r ; i r 2 + V ( r) V ( r) = 0 r > 0. ( 1 1 ) a r n 1 ( 1 2) V( r) = b ln r + c n = 2 b r n 2 + c n 3 ( 1 3)

Sep. 7 The L aplace/ P oisson Equations: Explicit Formulas In this lecture we study the properties of the Laplace equation and the Poisson equation with Dirichlet boundary conditions through explicit representations

### POTENTIAL LANDESMAN-LAZER TYPE CONDITIONS AND. 1. Introduction We investigate the existence of solutions for the nonlinear boundary-value problem

Electronic Journal of Differential Equations, Vol. 25(25), No. 94, pp. 1 12. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) POTENTIAL

### arxiv: 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

### arxiv: v1 [math.ap] 20 Nov 2007

Long range scattering for the Maxwell-Schrödinger system with arbitrarily large asymptotic data arxiv:0711.3100v1 [math.ap] 20 Nov 2007 J. Ginibre Laboratoire de Physique Théorique Université de Paris

### SOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES

Communications on Stochastic Analysis Vol. 4, No. 3 010) 45-431 Serials Publications www.serialspublications.com SOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES YURI BAKHTIN* AND CARL MUELLER

### ON WEIGHTED INEQUALITIES FOR FRACTIONAL INTEGRALS OF RADIAL FUNCTIONS. dy, 0 < γ < n. x y

ON WEIGHTED INEQUALITIES FOR FRACTIONAL INTEGRALS OF RADIAL FUNCTIONS PABLO L. DE NÁPOLI, IRENE DRELICHMAN, AND RICARDO G. DURÁN Abstract. We prove a weighted version of the Hardy-Littlewood-Sobolev inequality

### u xx + u yy = 0. (5.1)

Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function

### GENERATORS WITH INTERIOR DEGENERACY ON SPACES OF L 2 TYPE

Electronic Journal of Differential Equations, Vol. 22 (22), No. 89, pp. 3. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu GENERATORS WITH INTERIOR

### CONNECTIONS BETWEEN A CONJECTURE OF SCHIFFER S AND INCOMPRESSIBLE FLUID MECHANICS

CONNECTIONS BETWEEN A CONJECTURE OF SCHIFFER S AND INCOMPRESSIBLE FLUID MECHANICS JAMES P. KELLIHER Abstract. We demonstrate connections that exists between a conjecture of Schiffer s (which is equivalent

### MATH 124A Solution Key HW 05

3. DIFFUSION ON THE HALF-LINE Solutions prepared by Jon Tjun Seng Lo Kim Lin, TA Math 24A MATH 24A Solution Key HW 5 3. DIFFUSION ON THE HALF-LINE. Solve u t ku x x ; u(x, ) e x ; u(, t) on the half-line

### REGULARITY FOR INFINITY HARMONIC FUNCTIONS IN TWO DIMENSIONS

C,α REGULARITY FOR INFINITY HARMONIC FUNCTIONS IN TWO DIMENSIONS LAWRENCE C. EVANS AND OVIDIU SAVIN Abstract. We propose a new method for showing C,α regularity for solutions of the infinity Laplacian

### Weak Formulation of Elliptic BVP s

Weak Formulation of Elliptic BVP s There are a large number of problems of physical interest that can be formulated in the abstract setting in which the Lax-Milgram lemma is applied to an equation expressed

### Fourier Transform & Sobolev Spaces

Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev

### SYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS. M. Grossi S. Kesavan F. Pacella M. Ramaswamy. 1. Introduction

Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 12, 1998, 47 59 SYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS M. Grossi S. Kesavan F. Pacella M. Ramaswamy

### A Dirichlet problem in the strip

Electronic Journal of Differential Equations, Vol. 1996(1996), No. 10, pp. 1 9. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp (login: ftp) 147.26.103.110 or 129.120.3.113

### A CONVEX-CONCAVE ELLIPTIC PROBLEM WITH A PARAMETER ON THE BOUNDARY CONDITION

A CONVEX-CONCAVE ELLIPTIC PROBLEM WITH A PARAMETER ON THE BOUNDARY CONDITION JORGE GARCÍA-MELIÁN, JULIO D. ROSSI AND JOSÉ C. SABINA DE LIS Abstract. In this paper we study existence and multiplicity of

### EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS WITH UNBOUNDED POTENTIAL. 1. Introduction In this article, we consider the Kirchhoff type problem

Electronic Journal of Differential Equations, Vol. 207 (207), No. 84, pp. 2. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu EXISTENCE OF SOLUTIONS FOR KIRCHHOFF TYPE EQUATIONS

### b 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

### NONLOCAL DIFFUSION EQUATIONS

NONLOCAL DIFFUSION EQUATIONS JULIO D. ROSSI (ALICANTE, SPAIN AND BUENOS AIRES, ARGENTINA) jrossi@dm.uba.ar http://mate.dm.uba.ar/ jrossi 2011 Non-local diffusion. The function J. Let J : R N R, nonnegative,

### The X-ray transform for a non-abelian connection in two dimensions

The X-ray transform for a non-abelian connection in two dimensions David Finch Department of Mathematics Oregon State University Corvallis, OR, 97331, USA Gunther Uhlmann Department of Mathematics University

### EXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system

Electronic Journal of Differential Equations, Vol. 20082008), No. 119, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu login: ftp) EXISTENCE

### MODULUS OF CONTINUITY OF THE DIRICHLET SOLUTIONS

MODULUS OF CONTINUITY OF THE DIRICHLET SOLUTIONS HIROAKI AIKAWA Abstract. Let D be a bounded domain in R n with n 2. For a function f on D we denote by H D f the Dirichlet solution, for the Laplacian,

### LIFE SPAN OF BLOW-UP SOLUTIONS FOR HIGHER-ORDER SEMILINEAR PARABOLIC EQUATIONS

Electronic Journal of Differential Equations, Vol. 21(21), No. 17, pp. 1 9. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu LIFE SPAN OF BLOW-UP

### LECTURE 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

### DEGREE AND SOBOLEV SPACES. Haïm Brezis Yanyan Li Petru Mironescu Louis Nirenberg. Introduction

Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 13, 1999, 181 190 DEGREE AND SOBOLEV SPACES Haïm Brezis Yanyan Li Petru Mironescu Louis Nirenberg Dedicated to Jürgen

### MATH 425, HOMEWORK 3 SOLUTIONS

MATH 425, HOMEWORK 3 SOLUTIONS Exercise. (The differentiation property of the heat equation In this exercise, we will use the fact that the derivative of a solution to the heat equation again solves the

### Analysis 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.

### MATH 220: THE FOURIER TRANSFORM TEMPERED DISTRIBUTIONS. Beforehand we constructed distributions by taking the set Cc

MATH 220: THE FOURIER TRANSFORM TEMPERED DISTRIBUTIONS Beforehand we constructed distributions by taking the set Cc ( ) as the set of very nice functions, and defined distributions as continuous linear

### Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces

Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As

### Numerical Solutions to Partial Differential Equations

Numerical Solutions to Partial Differential Equations Zhiping Li LMAM and School of Mathematical Sciences Peking University Sobolev Embedding Theorems Embedding Operators and the Sobolev Embedding Theorem

### On non negative solutions of some quasilinear elliptic inequalities

On non negative solutions of some quasilinear elliptic inequalities Lorenzo D Ambrosio and Enzo Mitidieri September 28 2006 Abstract Let f : R R be a continuous function. We prove that under some additional

### Theory 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