PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS
|
|
- Miranda Todd
- 5 years ago
- Views:
Transcription
1 Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake, Saeki-ku Hiroshima, Japan Fukuyama University, Gakuencho Fukuyama, Japan Abstract. We consider Sobolev Dirichlet problems as well as Dirichlet problems in the PWB-method for quasi-linear second order elliptic differential equations on a euclidean domain. We discuss boundedness of solutions of these problems and convergence of solutions under perturbation of the 0-th order term. Introduction In the previous papers [MO1] and [MO2], we developed a potential theory and discussed Dirichlet problems for elliptic quasi-linear equations of the form E A,B ) div A x, ux) ) + B x, ux) ) = 0 on a domain in R N N 2), where A x, ξ): R N R N satisfies weighted structure conditions of p-th order with a weight wx) and Bx, t): R R is nondecreasing in t see Section 1 below for more details). The purpose of the present paper is to investigate how the solution of a Dirichlet problem varies under perturbation of the term B. As in [MO1] and [MO2], we consider the space D p ; µ) of bounded continuous functions with finite p, µ)-dirichlet integrals on dµ = w dx) and its subspace D p 0 ; µ) consisting of f D p ; µ) which are uniformly bounded limits of ϕ n C0 ) such that ϕ n f in L p ; µ). Throughout this paper we assume that is p, µ)-hyperbolic, namely 1 / D p 0 ; µ). Given θ D p ; µ), the solution u of E A,B ) satifying u θ D p 0 ; µ) may be called the solution of the Sobolev Dirichlet problem with the boundary data θ and is denoted by u A,B,θ). We first introduce a class of L 1 -functions on, and using functions in this class, we present a condition on B condition B.4) in Section 3) which assures the boundedness of u A,B,θ) Mathematics Subject Classification: Primary 31C45; Secondary 31B25.
2 208 Fumi-Yuki Maeda and Takayori Ono As our main theorem Theorem 4.1), we shall show that if B n, n = 1, 2,... satisfy B.4) with the same data, they are uniformly bounded in a certain sense and if sup M2 t M 1 B n x, t) Bx, t) 0 in L 1 ), then u A,Bn,θ) u A,B,θ) locally uniformly on, where M 1 and M 2 are constants determined by the data given in B.4) and θ. We shall also give the convergence of u A,Bn,θ) to u A,B,θ) in L p ; µ) Theorem 4.2). In [MO1], we have studied Dirichlet problems in the PWB-method with respect to a Royden type ideal boundary for our equation E A,B ). In Section 5, under the same conditions as in Theorem 4.1, we give local uniform convergence of such Dirichlet solutions. 1. Preliminaries As in [MO1] and [MO2] we assume that A : R N R N and B: R R satisfy the following conditions for 1 < p < and a weight w which is p- admissible in the sense of [HKM]: A.1) x A x, ξ) is measurable on for every ξ R N and ξ A x, ξ) is continuous for a.e. x ; A.2) A x, ξ) ξ α 1 wx) ξ p for all ξ R N and a.e. x with a constant α 1 > 0; A.3) A x, ξ) α 2 wx) ξ p 1 for all ξ R N and a.e. x with a constant α 2 > 0; A.4) A x, ξ 1 ) A x, ξ 2 ) ) ξ ) 1 ξ 2 > 0 whenever ξ1, ξ 2 R N, ξ 1 ξ 2, for a.e. x ; B.1) x Bx, t) is measurable on for every t R and t Bx, t) is continuous for a.e. x ; B.2) For any open set D, there is a constant α 3 D) 0 such that Bx, t) α 3 D)wx) t p 1 + 1) for all t R and a.e. x D ; B.3) t Bx, t) is nondecreasing on R for a.e. x. For the nonnegative measure µ : dµx) = wx) dx and an open set D, we consider the weighted Sobolev spaces H 1,p D; µ), H 1,p 0 D; µ) and H1,p loc D; µ) see [HKM] for details). Let D be an open subset of. Then u H 1,p loc D; µ) is said to be a weak) solution of E A,B ) in D if D A x, u) ϕ dx + D Bx, u)ϕ dx = 0 for all ϕ C0 D). u H 1,p loc D; µ) is said to be a supersolution respectively subsolution) of E A,B ) in D if D A x, u) ϕ dx + D Bx, u)ϕ dx 0 respectively 0)
3 Perturbation theory for nonlinear Dirichlet problems 209 for all nonnegative ϕ C0 D). A continuous solution of E A,B ) in an open set D is called A, B)- harmonic in D. We say that an open set D in is A, B)-regular, if D and for any θ H 1,p loc ; µ) which is continuous at each point of D, there exists a unique h CD) H 1,p D; µ) such that h = θ on D and h is A, B)-harmonic in D. Proposition A [MO1; Theorem 1.4] and [HKM; Theorem 6.31]). Any ball B is A, B)-regular. A function u: D R { } is said to be A, B)-superharmonic in D if it is lower semicontinuous, finite on a dense set in D and, for each open set G D and for h CG) which is A, B)-harmonic in G, u h on G implies u h in G. A, B)-subharmonic functions are similarly defined. Note that a continuous supersolution of E A,B ) is A, B)-superharmonic cf. [MO1; Section 2]). We recall the following two spaces which are defined in [MO1] cf. Introduction): D p ; µ) = { f H 1,p loc ; µ) f Lp ; µ), f is bounded continuous }, D p 0 ; µ) = { f D p ; µ) there exist ϕ n C 0 ) such that ϕ n f a.e., {ϕ n } is uniformly bounded, ϕ n f in L p ; µ) }. Note that H 1,p 0 ; µ) D p ; µ) D p 0 ; µ) and the inclusion becomes equality if is bounded. B.5) Lemma 1.1. Suppose B satisfies Bx, t) dx < for any t R. For u D p ; µ), if u is a solution respectively supersolution, subsolution) of E A,B ), then A x, u) ϕ dx + Bx, u)ϕ dx = 0 respectively 0, 0) for all ϕ D p 0 ; µ) respectively for all nonnegative ϕ D p 0 ; µ)). Proof. Choose ϕ n C 0 ) such that ϕ n ϕ a.e., {ϕ n } is uniformly bounded and ϕ n ϕ in L p ; µ) respectively and further ϕ n 0). Since u is a solution respectively supersolution, subsolution) in, we have 1.1) A x, u) ϕ n dx + Bx, u)ϕ n dx = 0 respectively 0, 0).
4 210 Fumi-Yuki Maeda and Takayori Ono Then by A.3) A x, u) ϕ n dx A x, u) ϕ dx cf. the proof of [HKM; Lemma 3.11]). By B.3) and B.5), Bx, u) dx <. Hence, by Lebesgue s convergence theorem Bx, u)ϕ n dx Therefore, letting n in 1.1), we have A x, u) ϕ dx + Bx, u)ϕ dx. Bx, u)ϕ dx = 0 respectively 0, 0). We have the following variant of the comparison principle cf. [MO1; Proposition 1.1]): Lemma 1.2. Suppose is p, µ)-hyperbolic and B satisfies B.5). For u, v D p ; µ), if u is a supersolution of E A,B ), v is a subsolution of E A,B ) and minu v, 0) D p 0 ; µ), then u v on. Proof. Set η = minu v, 0). Since η D p 0 ; µ) and η 0, by Lemma 1.1 we have A x, u) η dx + Bx, u)η dx 0 and By A.4) and B.3), A x, v) η dx + A x, v) A x, u) ) η dx Bx, v)η dx 0. = A x, v) A x, u) v u) dx {u<v} 0 and Bx, v) Bx, u) ) η dx = {u<v} Bx, v) Bx, u) ) v u) dx 0.
5 Perturbation theory for nonlinear Dirichlet problems 211 Thus and hence ) 0 A x, v) η dx + Bx, v)η dx ) A x, u) η dx + Bx, u)η dx 0, {u<v} A x, v) A x, u) ) v u) dx = 0. Therefore again by A.4), v u = 0 a.e. on {u < v}. Thus η = 0 a.e., so that η = c. Since is p, µ)-hyperbolic, we see that c = 0, and the lemma follows. The next lemma will be used in the proof of Theorem 3.2. Lemma 1.3. Suppose K 1 and K 2 are constants such that K 1 K 2. Given θ D p ; µ), let θ = max minθ, K 2 ), K 1. If u θ D p 0 ; µ) and K 1 u K 2 in, then u θ D p 0 ; µ). Proof. Choose ϕ n C 0 ) such that ϕ n u θ a.e., {ϕ n } is uniformly bounded and ϕ n u θ) in L p ; µ). Setting ϕ n = max minϕ n, u K 1 ), u K 2 ), we have ϕ n max minu θ, u K 1 ), u K 2 = u θ a.e. in. Also, by [HKM; Lemma 1.2.2], ϕ n u θ ) in L p ; µ). Since u K 1 0 and u K 2 0, suppϕ n is compact in for each n. Thus, considering mollified functions, we obtain approximating functions for u θ. We recall the following condition, which has been considered in [MO1] and [MO2] for the discussion of resolutivity and harmonizability. C 1 ) There exist a bounded supersolution of E A,B ) in and a bounded subsolution of E A,B ) in. The following theorem which asserts the existence and uniqueness of the Sobolev Dirichlet problem is shown by [MO2; Theorem 2.2 and Proposition 1.5]. Theorem A. Suppose that is p, µ)-hyperbolic and suppose that conditions C 1 ) and B.5) are satisfied. If θ D p ; µ), then there exists a unique A, B)-harmonic function u A,B,θ) on such that u A,B,θ) θ D p 0 ; µ).
6 212 Fumi-Yuki Maeda and Takayori Ono 2. A class of L 1 -functions on Hereafter, we always assume that is p, µ)-hyperbolic, namely, 1 / D p 0 ; µ). Note that any bounded domain is p, µ)-hyperbolic. We consider the following function spaces: F A ) = { f L 1 ) f/w is locally bounded in and div A x, u) = f has a solution in D p 0 ; µ)} F + A ) = { f F A ) f 0 } and F A ) = { f F A ) f 0 }. For f F A ), the solution of div A x, u) = f in D p 0 ; µ) will be denoted by U f. Obviously, 0 F A ) and U 0 = 0. If f L 1 ), f/w is locally bounded on and C 1 ) is satisfied for E A, f ), then f F and U f = u A, f,0). Proposition 2.1. If f 1, f 2 F A ) and f 1 f 2, then U f 1 U f 2. Proof. Since U f 2 is a supersolution of E A, f1 ), U f 1 is a solution of E A, f1 ) and minu f 2 U f 1, 0) D p 0 ; µ), the proposition follows from Lemma 1.2. Corollary 2.1. U f 0 for f F + A ) and U f 0 for f F A ). We can easily show Proposition 2.2. If A satisfies the homogeneity condition A.5) A x, λξ) = λ λ p 2 A x, ξ) for any λ R, then, λf F A ) for f F A ) and λ R, and U λf = λ λ 2 p)/p 1) U f. Proposition 2.3. If f is measurable and g 1 f g 2 for some g 1 F A ) and g 2 F + A ), then f F A ). Proof. Since U g 1 is a bounded subsolution of E A, f ) and U g 2 is a bounded supersolution of E A, f ), Theorem A asserts the existence of u A, f,0), which is U f. Proposition 2.4. In case is bounded, any measurable function f satisfying 0 fx) βwx) respectively βwx) fx) 0) for some β > 0 belongs to F + A ) respectively F A )). Proof. By the above proposition, it is enough to show that βw F + A ) and βw F A ). We consider A 1 : R N R N R N defined by { A x, ξ), x, A 1 x, ξ) = wx) ξ p 2 ξ, x R N \, and take an open ball B. By Proposition A, there exists u CB) H 1,p B; µ) such that u = 0 on B and u is A 1, βw)-harmonic in B. Then u is bounded and A, βw)-harmonic in. It follows from Theorem A that U βw exists and hence βw F + A ). Similarly, we see that βw F A ).
7 Perturbation theory for nonlinear Dirichlet problems 213 Example 2.1. Let = B0, R) = { x < R} for 0 < R <, wx) = x δ with δ > N and A x, ξ) = x δ ξ p 2 ξ. Let g be a non-negative L 1 -function on [0, R) which is bounded on [0, ϱ] for any 0 < ϱ < R and let fx) = x δ g x ). Then f F + A ) and U f x) = R x 1 r N+δ 1 r If we take gt) 1, i.e., fx) = x δ, then where 1/p + 1/p = 1. 0 gt)t N+δ 1 dt) 1/p 1) dr. U f x) = N + δ) 1/p 1) p 1 R p x p ), We can take unbounded f, e.g., fx) = x δ R x ) α with 0 < α < 1. Example 2.2. Let = R N, wx) = x δ with p < N + δ and A x, ξ) = x δ ξ p 2 ξ. Note that is p, µ)-hyperbolic see [MO1; p. 570]). Let g be a non-negative function on [0, ) which is bounded on [0, ϱ] for any 0 < ϱ < and for which gt)t N+δ 1 dt <. Then fx) = x δ g x ) belongs to F + A ) 0 and U f 1 r 1/p 1) x) = r N+δ 1 gt)t dt) N+δ 1 dr. x 0 Proof of Examples 2.1 and 2.2. Obviously, f 0 and f/ x δ is locally bounded on. Also, it is easily verified that f L 1 ). Set Gr) = r 0 gt)t N+δ 1 dt and ux) = R x r 1 N+δ 1 Gr) ) 1/p 1) dr, where we set R = for Example 2.2. Then Gr) is bounded for 0 < r < R and Gr) c ϱ r N+δ for 0 < r < ϱ, ϱ < R. From these it follows that ux) C 1 ) and ux) = x ) 1/p 1) 1 G x ). x x N+δ 1 In case R <, since ux) is bounded, ux) p x δ dx <. In case R =, since ux) p x δ dx c x pn+δ p)/p 1) dx x 1 x 1 and p < N + δ, we have ux) p x δ dx <. Moreover, if x R, then ux) 0. Thus, setting ϕ n x) = max ux) 1/n, 0 ), we have ϕ n D p ; x δ dx)
8 214 Fumi-Yuki Maeda and Takayori Ono and suppϕ n is compact. Since {ϕ n } is uniformly bounded, ϕ n u in and ϕ n u in L p ; x δ dx), it follows that u D p 0 ; x δ dx). Finally, we have div x δ ux) p 2 ux) ) = div x x N G x ) ) = N x N G x ) + x δ g x ) + N x N G x ) = x δ g x ) = fx), in the weak sense, so that u is a solution of div x δ u p 2 u) = f. 3. Boundedness of solutions of Sobolev Dirichlet problems In addition to B.1), B.2) and B.3), we shall always assume that B satisfies condition B.5). Further we consider the following condition on B : B.4) There exist nonnegative numbers T 1, T 2, functions f 1 F + A ) and f 2 F A ) such that B x, T 1 ) f 1 x) and B + x, T 2 ) f 2 x) a.e. in. Example 3.1. Let ζt) be a nondecreasing continuous function on R such that ζt) c t p 1 for t 1 and ζt 0 ) = 0 for some t 0 R. We set Bx, t) = bx)ζt) with b L 1 ) such that b 0 and b/w is locally bounded on. Then B satisfies B.4) with T 1 = t + 0, T 2 = t 0 and f 1 = f 2 = 0. If B satisfies B.4), then T 1 + U f 1 is a supersolution and T 2 + U f 2 is a subsolution of E A,B ). Thus, condition C 1 ) is satisfied. For θ D p ; µ), we define sup θ = inf { k θ k) + D p 0 ; µ)} and inf θ = sup{ k θ k) D p 0 ; µ)}. Theorem 3.1. Suppose B satisfies B.4). Then for any θ D p ; µ), there exists a unique A, B)-harmonic function u A,B,θ) on such that u A,B,θ) θ D p 0 ; µ). Further it satisfies min T 2, inf θ + U f 2 x) u A,B,θ) x) max T 1, sup θ + U f 1 x) on. Proof. Since condition B.4) implies condition C 1 ), the existence and the uniqueness follow from Theorem A, we show only the inequalities. Fix ε > 0 and let v = maxt 1, sup θ)+u f 1 +ε. Since Bx, v) Bx, T 1 ) f 1 by B.4), v is a supersolution of E A,B ). Also, since v sup θ+ε, we see that maxθ v, 0) D p 0 ; µ), and hence that minv u A,B,θ), 0) D p 0 ; µ). Hence by Lemma 1.2, v u A,B,θ) in. Since ε > 0 is arbitrary, maxt 1, sup θ) + U f 1 u A,B,θ) in. The other inequality follows similarly.
9 on. Perturbation theory for nonlinear Dirichlet problems 215 In view of Example 3.1, we can state Corollary 3.1. Let Bx, t) = bx)ζt) be as in Example 3.1. Then min t 0, inf θ u A,B,θ) x) max t + 0, sup θ In view of Propositions 2.4 and 2.2, we also have Corollary 3.2. Suppose is bounded, A satisfies A.5) in Proposition 2.2) and Bx, 0) βwx) a.e. in. Then min inf θ, 0 β 1/p 1) U w x) u A,B,θ) x) max sup θ, 0 + β 1/p 1) U w x) on. Given nonnegative numbers T 1, T 2, functions f 1 F + A ), f 2 F A ) and given θ D p ; µ), let M + T 1, f 1, θ) = max T 1, sup θ + sup U f 1, M T 2, f 2, θ) = max T 2, inf θ inf U f 2. Theorem 3.1 asserts that M T 2, f 2, θ) u A,B,θ) M + T 1, f 1, θ). Theorem 3.2. Suppose B satisfies B.4). Then for θ D p ; µ), u A,B,θ) x) p p α2 dµ θx) p dµ + pm B x, θ x) ) dx, α 1 α 1 where and M = M + T 1, f 1, θ) + M T 2, f 2, θ) θ = max min θ, M + T 1, f 1, θ) ), M T 1, f 1, θ) ). Proof. Since u A,B,θ) θ D p 0 ; µ) by Lemma 1.3, we have A x, u A,B,θ) ) u A,B,θ) θ ) dx + Bx, u A,B,θ) )u A,B,θ) θ ) dx = 0.
10 216 Fumi-Yuki Maeda and Takayori Ono By Theorem 3.1, u A,B,θ) θ M. Hence, using A.2), A.3) and B.3), we have α 1 u A,B,θ) p dµ α 2 u A,B,θ) p 1 θ dµ Bx, u A,B,θ) )u A,B,θ) θ ) dx α 2 u A,B,θ) p 1 θ dµ 3.1) Bx, θ )u A,B,θ) θ ) dx α 2 + M ) p 1)/p 1/p u A,B,θ) p dµ θ p dµ Bx, θ ) dx, where in the last inequality we have used Hölder s inequality. An application of Young s inequality yields that X AX p 1)/p + C implies X A p + pc for X 0, A 0 and C 0. Hence, from 3.1) we obtain the desired estimate. Theorem 3.3. Suppose B 1 and B 2 satisfy B.4) with the same T 1, T 2, f 1 and f 2. Let θ D p ; µ) and set u j = u A,Bj,θ), j = 1, 2. Then A x, u1 ) A x, u 2 ) ) u 1 u 2 ) dx M sup M 2 t M 1 B 1 x, t) B 2 x, t) dx, where M 1 = M + T 1, f 1, θ), M 2 = M T 2, f 2, θ) and M = M 1 + M 2. Proof. Since u 1 u 2 D p 0 ; µ), A x, u1 ) A x, u 2 ) ) u 1 u 2 ) dx + Hence using B.3) we have A x, u1 ) A x, u 2 ) ) u 1 u 2 ) dx B1 x, u 1 ) B 2 x, u 2 ) ) u 1 u 2 ) dx = 0. B1 x, u 2 ) B 2 x, u 2 ) ) u 2 u 1 ) dx. Since M 2 u j M 1, j = 1, 2, by Theorem 3.1, we obtain the desired estimate.
11 Perturbation theory for nonlinear Dirichlet problems Convergence theorems The following lemma can be shown in the same manner as [MO1; Lemma 5.1]. Lemma 4.1. Let {u n } be a uniformly bounded sequence of functions in D p 0 ; µ) such that { u n p dµ } is bounded and u n u a.e. in. If u is continuous, then u D p 0 ; µ). The next lemma will be used to show Theorem 4.1. Lemma 4.2 [O; Theorem 4.7]). Let u be an A, B)-harmonic function in and x 0 be any point of. If 0 < R < is such that Bx 0, R) and if u L in Bx 0, R), then there are constants c and 0 < λ < 1 such that λ ϱ sup u inf u c, Bx 0,ϱ) Bx 0,ϱ) R whenever 0 < ϱ < R. Here c and λ depend only on N, p, α 1, α 2, α 3 Bx0, R) ), µ, R and L. Theorem 4.1. Suppose B n, n = 1, 2,..., and B all satisfy B.4) with the same T 1, T 2, f 1 F + A ), f 2 F A ). Let θ D p ; µ). Assume further that there exists a nonnegative function b on such that b/w is locally bounded in and 4.1) B + nx, M 1 ) + B n x, M 2 ) bx) a.e. on for all n, where M 1, M 2 are as in Theorem 3.3. If 4.2) sup B n x, t) Bx, t) dx 0 M 2 t M 1 n ), then u A,Bn,θ) u A,B,θ) as n locally uniformly on. Proof. If we set B n x, M 1 ), t M 1, Bnx, t) = B n x, t), M 2 < t < M 1, B n x, M 2 ), t M 2, then u A,Bn,θ) is a solution of E A,B n ), and hence u A,Bn,θ) = u A,B n,θ). Thus by 4.1), we may assume that B n x, t) bx) n = 1, 2,...) for any t R. Then, for any D, we can take α 3 D) = sup D b/w in B.2) for B n for all n. Let u n = u A,Bn,θ) and u = u A,B,θ). By Theorem 3.1, {u n } is uniformly bounded in. Hence, by Lemma 4.2, we see that {u n } is equi-continuous at each
12 218 Fumi-Yuki Maeda and Takayori Ono point of. Hence it follows from Ascoli Arzela s theorem that any subsequence of {u n } has a locally uniformly convergent subsequence. Let {u nk } be any subsequence of {u n } which converges locally uniformly to u. Since { sup M2 t M 1 B n x, t) } is bounded in L 1 ) by 4.2), Theorem 3.2 yields that { u n } is bounded in L p ; µ). Thus, by Lemma 4.1 and [HMK; Lemma 1.3.3], we see that u u D p 0 ; µ) and u n k u weakly in L p ; µ). On the other hand, by Theorem 3.3 and [HKM; Lemma 3.73], u n u weakly in L p ; µ), and hence u = u. Since is p, µ)- hyperbolic, it follows that u = u. Therefore, u n u locally uniformly in. In view of Example 3.1, we can state Corollary 4.1. Let ζt) be as in Example 3.1 and b n, n = 1, 2,..., and b be nonnegative measurable functions such that 4.3) b n x) b 0 x) a.e. on for some function b 0 such that b 0 /w is locally bounded in and 4.4) b n x) bx) dx 0 n ). Then, for B n x, t) = b n x)ζt), n = 1, 2,..., and Bx, t) = bx)ζt), u A,Bn,θ) u A,B,θ) locally uniformly on. The following example shows that we cannot assert the uniform convergence on in the above theorem and corollary: Example 4.1. Let = B0, 1), 1 < p N, wx) = 1 and A x, ξ) = ξ p 2 ξ. Let {a n } be a sequence of points in B0, 1) such that a n 1 and set b n x) = 2 n rn N χ Ban,r n )x) with 0 < r n < 1 a n, n = 1, 2,.... For a nondecreasing continuous function ζ on R such that ζ0) = 0, ζ1) > 0 and ζt) c t p 1 for t 1, we set B n x, t) = n b k x)ζt) and Bx, t) = k=1 b n x)ζt). Then, for θ = 1, B n and B satisfy the conditions in Theorem 4.1. If we choose {r n } suitably, then {u A,Bn,1)} does not converge uniformly on B0, 1). Proof. Let B n = Ba n, 1 a n ) and v n be the solution of the equation div A x, u) = b n on B n which belongs to D p 0 B n; dx). By Lemma 1.2, we see that 0 v n U b n in B n. Noting that A x, ξ) = ξ p 2 ξ is translation invariant, n=1
13 by Example 2.1 we have Perturbation theory for nonlinear Dirichlet problems 219 { rn v n a n ) = 2 n rn N ) 1/p 1) + = 1 an r n 1 r N 1 0 rn 0 1 r 1/p 1) r N 1 t dt) N 1 dr 0 } t N 1 dt) 1/p 1) dr 2 n N) 1/1 N) { 1 1 N + log 1 a n r n { Np 1) 2 n N) 1/1 p) pn p) rp N)/p 1) n p 1 } if p = N, } N p 1 a n ) p N)/p 1) if p < N. Thus, U b n a n ) v n a n ) 1 for sufficiently small r n. Let u n = u A,Bn,1) and u = u A,B,1) for simplicity. By considering the extension of B n by 0 outside B0, 1) and using Proposition A, we see that u n x) 1 as x 1. Now suppose that {u n } converges to u uniformly on B0, 1). Then ux) 1 as x 1. Choose ε > 0 such that ε p 1 < ζ1 ε). Then there is r 0 < 1 such that ux) 1 ε for x r 0. For large n, Ba n, r n ) B0, r 0 ) = and div 1 u) p 2 1 u)) = div u p 2 u) = b n x)ζ ux) ) ζ1 ε)b n x). n=1 Thus, by Lemma 1.2, 1 u ζ1 ε) 1/p 1) U b n, so that ua n ) 1 ζ1 ε) 1/p 1) U b n a n ) < 1 ε for large n. This contradicts our assumption that ux) 1 ε for x r 0. Theorem 4.2. Suppose B n, n = 1, 2,..., and B all satisfy B.4) with the same T 1, T 2, f 1 F + A ), f 2 F A ). Let θ D p ; µ). Assume further that A satisfies A.4s) A x, ξ1 ) A x, ξ 2 ) ) ξ 1 ξ 2 ) α 4 wx) ξ 1 + ξ 2 ) p 2 ξ 1 ξ 2 2 with α 4 > 0. If 4.2) holds, then u A,Bn,θ) u A,B,θ) in L p ; µ); further u A,Bn,θ) u A,B,θ) in H 1,p ; µ) in case is bounded.
14 220 Fumi-Yuki Maeda and Takayori Ono Proof. If p 2, the first assertion is obvious from Theorem 3.3. In case 1 < p < 2, we have u n u p dµ { = un + u ) p 2 u n u 2} p/2 un + u ) p2 p)/2 dµ u n + u ) p 2 u n u 2 dµ 2 p)/2 u n + u ) dµ) p. ) p/2 Hence the first assertion in this case also follows from Theorems 3.2 and 3.3. The second assertion follows from the first assertion and the Poincaré inequality. let 5. Boundedness and convergence of solutions for Dirichlet problems and Given a compactification of and a bounded function ψ on = \, { U ψ = u : A, B)-superharmonic in and } lim inf ux) ψξ) for all ξ x ξ L ψ = { v : A, B)-subharmonic in and If both U ψ and L ψ are nonempty, then lim sup vx) ψξ) for all ξ x ξ }. and H ψ; ) =H A,B) ψ; ) := inf U ψ Hψ; ) = H A,B) ψ; ) := sup L ψ are A, B)-harmonic in and Hψ; ) H ψ; ) [MO1; Theorem 3.1]). We say that ψ is A, B )-resolutive if both U ψ and L ψ are nonempty and Hψ; ) = H ψ; ). In this case we write Hψ; ) = H A,B) ψ; ) for Hψ; ) = H ψ; ). is said to be an A, B )-resolutive compactification if every ψ C ) is A, B )-resolutive. In the proof of [MO1; Proposition 3.1] we have shown
15 Perturbation theory for nonlinear Dirichlet problems 221 Lemma 5.1. If ψ 1 and ψ 2 are A, B)-resolutive functions on, then Hψ 1 ; ) Hψ 2 ; ) sup ψ 1 ψ 2. Theorem 5.1. Let be a compactification of. If B satisfies B.4) and if ψ is a bounded function on, then both U ψ and L ψ are nonempty and min T 2, inf + U f 2 H A,B) ψ; ) H A,B) ψ; ) max T 1, sup ψ + U f 1. Proof. By B.4) we see that max T 1, sup ) ψ + U f 1 U ψ and min T 2, inf ψ + U f 2 L ψ. Thus the theorem follows. Like Corollaries 3.1 and 3.2, we have the following two corollaries. Corollary 5.1. Let Bx, t) = bx)ζt) be as in Example 3.1. If ψ is a bounded function on, then both U ψ and L ψ are nonempty and min t 0, inf ψ H A,B) ψ; ) H A,B) ψ; ) max t + 0, sup ψ. Corollary 5.2. Suppose is bounded and let be a compactification of. If A satisfies A.5) and if Bx, 0) βwx) for a.e. x, then H A,B) ψ; ) sup ψ + β 1/p 1) U w for any bounded A, B)-resolutive function ψ on. We recall [MO1; Theorem 3.2]) that under conditions C 1 ) and B.5), the Q-compactification Q of see [CC]) is an A, B)-resolutive compactification if Q D p ; µ). Theorem 5.2. Let Q D p ; µ), Q be the Q-compactification of, Γ = Q \ and let ψ CΓ). Suppose B n, n = 1, 2,..., and B all satisfy B.4) with the same T 1, T 2, f 1 F + A ), f 2 F A ). Set M 1 = max T 1, max ψ + sup U f 1 and M 2 = max T 2, min ψ inf U f 2. Γ Γ Assume further that there exists a nonnegative function bx) on such that bx)/wx) is locally bounded in and B n satisfy 4.1) for all n. If 4.2) holds, then H A,Bn) ψ; Q ) HA,B) ψ; Q ) locally uniformly on.
16 222 Fumi-Yuki Maeda and Takayori Ono Proof. Since the set of continuous extensions of functions in Q is dense in CΓ) with respect to the uniform convergence, given ε > 0 there exists θ Q such that sup ξ Γ θ ξ) ψξ) ε and inf ψ θ sup ψ on Γ, where θ is the continuous extension of θ to Γ. Note that ψ and θ are A, B)-resolutive as well as A, B n )-resolutive for all n [MO1; Theorem 3.2]). For simplicity, let H n ψ) = H A,Bn) ψ; Q ), H nθ) = H A,Bn) θ ; Q ), Hψ) = HA,B) ψ; Q ) and Hθ ) = H A,B) θ ; Q ). By Lemma 5.1, we see that Hθ ) Hψ) ε and H n θ ) H n ψ) ε for all n. On the other hand, by [MO2; Proposition 2.2], H n θ ) = u A,Bn,θ) and Hθ ) = u A,B,θ). Also, since B n + x, M + T 1, f 1, θ) ) B nx, + M 1 ) and Bn x, M T 2, f 2, θ) ) Bn x, M 2 ), by Theorem 4.1, for any open G, there is n 0 such that sup u A,Bn,θ) u A,B,θ) ε G for n n 0. Thus, for n n 0 sup G H n ψ) Hψ) { sup Hn ψ) H n θ ) + H n θ ) Hθ ) + Hθ ) Hψ) } G 3ε. Hence the theorem follows. Like Corollary 4.1, we obtain Corollary 5.3. Let Q and Γ be as in Theorem 5.2 and let B nx, t) = b n x)ζt) and Bx, t) = bx)ζt) with nonnegative measurable functions b n, b on and ζ as in Example 3.1. If 4.3) and 4.4) are satisfied then H A,Bn) ψ; Q ) H A,B) ψ; Q ) locally uniformly on for any ψ CΓ). References [CC] Constantinescu, C., and A. Cornea: Ideale Ränder Riemannscher Flächen. - Springer- Verlag, [HKM] Heinonen, J., T. Kilpeläinen and O. Martio: Nonlinear Potential Theory of Degenerate Elliptic Equations. - Clarendon Press, [MO1] Maeda, F.-Y., and T. Ono: Resolutivity of ideal boundary for nonlinear Dirichlet problems. - J. Math. Soc. Japan 52, 2000, [MO2] Maeda, F.-Y., and T. Ono: Properties of harmonic boundary in nonlinear potential theory. - Hiroshima Math. J. 30, 2000, [O] Ono, T.: On solutions of quasi-linear partial differential equations div A x, u) + Bx, u) = 0. - RIMS Kokyuroku 1016, 1997, Received 2 July 2002
REMOVABLE SINGULARITIES FOR BOUNDED p-harmonic AND QUASI(SUPER)HARMONIC FUNCTIONS ON METRIC SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 31, 2006, 71 95 REMOVABLE SINGULARITIES FOR BOUNDED p-harmonic AND QUASI(SUPER)HARMONIC FUNCTIONS ON METRIC SPACES Anders Björn Linköpings universitet,
More informationHARNACK S INEQUALITY FOR GENERAL SOLUTIONS WITH NONSTANDARD GROWTH
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 37, 2012, 571 577 HARNACK S INEQUALITY FOR GENERAL SOLUTIONS WITH NONSTANDARD GROWTH Olli Toivanen University of Eastern Finland, Department of
More informationHIGHER INTEGRABILITY WITH WEIGHTS
Annales Academiæ Scientiarum Fennicæ Series A. I. Mathematica Volumen 19, 1994, 355 366 HIGHER INTEGRABILITY WITH WEIGHTS Juha Kinnunen University of Jyväskylä, Department of Mathematics P.O. Box 35, SF-4351
More informationPOTENTIAL THEORY OF QUASIMINIMIZERS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 459 490 POTENTIAL THEORY OF QUASIMINIMIZERS Juha Kinnunen and Olli Martio Institute of Mathematics, P.O. Box 1100 FI-02015 Helsinki University
More informationThe De Giorgi-Nash-Moser Estimates
The De Giorgi-Nash-Moser Estimates We are going to discuss the the equation Lu D i (a ij (x)d j u) = 0 in B 4 R n. (1) The a ij, with i, j {1,..., n}, are functions on the ball B 4. Here and in the following
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
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 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 informationAPPROXIMATE IDENTITIES AND YOUNG TYPE INEQUALITIES IN VARIABLE LEBESGUE ORLICZ SPACES L p( ) (log L) q( )
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 35, 200, 405 420 APPROXIMATE IDENTITIES AND YOUNG TYPE INEQUALITIES IN VARIABLE LEBESGUE ORLICZ SPACES L p( ) (log L) q( ) Fumi-Yuki Maeda, Yoshihiro
More informationINTEGRABILITY OF SUPERHARMONIC FUNCTIONS IN A JOHN DOMAIN. Hiroaki Aikawa
INTEGRABILITY OF SUPERHARMONIC FUNCTIONS IN A OHN OMAIN Hiroaki Aikawa Abstract. The integrability of positive erharmonic functions on a bounded fat ohn domain is established. No exterior conditions are
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 informationLectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai.
Lectures on Sobolev Spaces S. Kesavan The Institute of Mathematical Sciences, Chennai. e-mail: kesh@imsc.res.in 2 1 Distributions In this section we will, very briefly, recall concepts from the theory
More informationEXISTENCE 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
More informationSYMMETRY 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
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 informationASYMPTOTIC BEHAVIOUR OF NONLINEAR ELLIPTIC SYSTEMS ON VARYING DOMAINS
ASYMPTOTIC BEHAVIOUR OF NONLINEAR ELLIPTIC SYSTEMS ON VARYING DOMAINS Juan CASADO DIAZ ( 1 ) Adriana GARRONI ( 2 ) Abstract We consider a monotone operator of the form Au = div(a(x, Du)), with R N and
More informationMODULUS AND CONTINUOUS CAPACITY
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 26, 2001, 455 464 MODULUS AND CONTINUOUS CAPACITY Sari Kallunki and Nageswari Shanmugalingam University of Jyväskylä, Department of Mathematics
More informationA CONNECTION BETWEEN A GENERAL CLASS OF SUPERPARABOLIC FUNCTIONS AND SUPERSOLUTIONS
A CONNECTION BETWEEN A GENERAL CLASS OF SUPERPARABOLIC FUNCTIONS AND SUPERSOLUTIONS RIIKKA KORTE, TUOMO KUUSI, AND MIKKO PARVIAINEN Abstract. We show to a general class of parabolic equations that every
More informationVariational eigenvalues of degenerate eigenvalue problems for the weighted p-laplacian
Variational eigenvalues of degenerate eigenvalue problems for the weighted p-laplacian An Lê Mathematics Sciences Research Institute, 17 Gauss Way, Berkeley, California 94720 e-mail: anle@msri.org Klaus
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 informationMA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt
MA526 Homework 4 Group 4 April 26, 26 Qn 6.2 Show that H is not bounded as a map: L L. Deduce from this that H is not bounded as a map L L. Let {ϕ n } be an approximation of the identity s.t. ϕ C, sptϕ
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 informationu( x) = g( y) ds y ( 1 ) U solves u = 0 in U; u = 0 on U. ( 3)
M ath 5 2 7 Fall 2 0 0 9 L ecture 4 ( S ep. 6, 2 0 0 9 ) Properties and Estimates of Laplace s and Poisson s Equations In our last lecture we derived the formulas for the solutions of Poisson s equation
More informationEquilibria with a nontrivial nodal set and the dynamics of parabolic equations on symmetric domains
Equilibria with a nontrivial nodal set and the dynamics of parabolic equations on symmetric domains J. Földes Department of Mathematics, Univerité Libre de Bruxelles 1050 Brussels, Belgium P. Poláčik School
More informationContinuity of convex functions in normed spaces
Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More informationON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics
More informationLARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011
LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS S. G. Bobkov and F. L. Nazarov September 25, 20 Abstract We study large deviations of linear functionals on an isotropic
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 Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More 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 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 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 informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied athematics http://jipam.vu.edu.au/ Volume 4, Issue 5, Article 98, 2003 ASYPTOTIC BEHAVIOUR OF SOE EQUATIONS IN ORLICZ SPACES D. ESKINE AND A. ELAHI DÉPARTEENT
More informationON A MAXIMAL OPERATOR IN REARRANGEMENT INVARIANT BANACH FUNCTION SPACES ON METRIC SPACES
Vasile Alecsandri University of Bacău Faculty of Sciences Scientific Studies and Research Series Mathematics and Informatics Vol. 27207), No., 49-60 ON A MAXIMAL OPRATOR IN RARRANGMNT INVARIANT BANACH
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 informationPartial 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
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 informationto appear in the Journal of the European Mathematical Society THE WOLFF GRADIENT BOUND FOR DEGENERATE PARABOLIC EQUATIONS
to appear in the Journal of the European Mathematical Society THE WOLFF GRADIENT BOUND FOR DEGENERATE PARABOLIC EUATIONS TUOMO KUUSI AND GIUSEPPE MINGIONE Abstract. The spatial gradient of solutions to
More informationPseudo-monotonicity and degenerate elliptic operators of second order
2002-Fez conference on Partial Differential Equations, Electronic Journal of Differential Equations, Conference 09, 2002, pp 9 24. http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu
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 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 informationGRADIENT REGULARITY FOR NONLINEAR PARABOLIC EQUATIONS. To Emmanuele DiBenedetto on his 65th birthday
GRADIENT REGULARITY FOR NONLINEAR PARABOLIC EUATIONS TUOMO KUUSI AND GIUSEPPE MINGIONE To Emmanuele DiBenedetto on his 65th birthday Abstract. We consider non-homogeneous degenerate and singular parabolic
More informationEXISTENCE AND UNIQUENESS OF p(x)-harmonic FUNCTIONS FOR BOUNDED AND UNBOUNDED p(x)
UNIVERSITY OF JYVÄSKYLÄ DEPARTMENT OF MATHEMATICS AND STATISTICS REPORT 30 UNIVERSITÄT JYVÄSKYLÄ INSTITUT FÜR MATHEMATIK UND STATISTIK BERICHT 30 EXISTENCE AND UNIQUENESS OF p(x)-harmonic FUNCTIONS FOR
More informationON A DISTANCE DEFINED BY THE LENGTH SPECTRUM ON TEICHMÜLLER SPACE
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 315 326 ON A DISTANCE DEFINED BY THE LENGTH SPECTRUM ON TEICHMÜLLER SPACE Hiroshige Shiga Tokyo Institute of Technology, Department of
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 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 information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More information1. Introduction. The objective of this paper is to prove that the viscosity solutions of the p-laplace equation
SIAM J. MATH. ANAL. Vol. 33, No. 3, pp. 699 717 c 2001 Society for Industrial and Applied Mathematics ON THE EQUIVALENCE OF VISCOSITY SOLUTIONS AND WEAK SOLUTIONS FOR A QUASI-LINEAR EQUATION PETRI JUUTINEN,
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
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 informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationRELATIONSHIP BETWEEN SOLUTIONS TO A QUASILINEAR ELLIPTIC EQUATION IN ORLICZ SPACES
Electronic Journal of Differential Equations, Vol. 2014 (2014), No. 265, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu RELATIONSHIP
More informationMath 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
More informationON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM. Paweł Goncerz
Opuscula Mathematica Vol. 32 No. 3 2012 http://dx.doi.org/10.7494/opmath.2012.32.3.473 ON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM Paweł Goncerz Abstract. We consider a quasilinear
More informationOn the p-laplacian and p-fluids
LMU Munich, Germany Lars Diening On the p-laplacian and p-fluids Lars Diening On the p-laplacian and p-fluids 1/50 p-laplacian Part I p-laplace and basic properties Lars Diening On the p-laplacian and
More informationON PARABOLIC HARNACK INEQUALITY
ON PARABOLIC HARNACK INEQUALITY JIAXIN HU Abstract. We show that the parabolic Harnack inequality is equivalent to the near-diagonal lower bound of the Dirichlet heat kernel on any ball in a metric measure-energy
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 information(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε
1. Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More informationMath 699 Reading Course, Spring 2007 Rouben Rostamian Homogenization of Differential Equations May 11, 2007 by Alen Agheksanterian
. Introduction Math 699 Reading Course, Spring 007 Rouben Rostamian Homogenization of ifferential Equations May, 007 by Alen Agheksanterian In this brief note, we will use several results from functional
More informationATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS. Emerson A. M. de Abreu Alexandre N.
ATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS Emerson A. M. de Abreu Alexandre N. Carvalho Abstract Under fairly general conditions one can prove that
More informationCAPACITIES ON METRIC SPACES
[June 8, 2001] CAPACITIES ON METRIC SPACES V. GOL DSHTEIN AND M. TROYANOV Abstract. We discuss the potential theory related to the variational capacity and the Sobolev capacity on metric measure spaces.
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 informationNONLINEAR ELLIPTIC EQUATIONS WITH MEASURES REVISITED
NONLINEAR ELLIPTIC EQUATIONS WITH MEASURES REVISITED Haïm Brezis (1),(2), Moshe Marcus (3) and Augusto C. Ponce (4) Abstract. We study the existence of solutions of the nonlinear problem (P) ( u + g(u)
More informationELLIPTIC EQUATIONS WITH MEASURE DATA IN ORLICZ SPACES
Electronic Journal of Differential Equations, Vol. 2008(2008), No. 76, 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) ELLIPTIC
More informationMath 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationAn introduction to Mathematical Theory of Control
An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018
More informationA note on W 1,p estimates for quasilinear parabolic equations
200-Luminy conference on Quasilinear Elliptic and Parabolic Equations and Systems, Electronic Journal of Differential Equations, Conference 08, 2002, pp 2 3. http://ejde.math.swt.edu or http://ejde.math.unt.edu
More informationPerturbation of the Laplace operator
Perturbation of the Laplace operator WOLFHARD HANSEN Prague, November 2009 Contents 1 Introduction 1 2 Kato measures, potential kernels, and ( µ)-harmonic functions 3 3 Dominant functions and resolvents
More informationEXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM
EXISTENCE RESULTS FOR OPERATOR EQUATIONS INVOLVING DUALITY MAPPINGS VIA THE MOUNTAIN PASS THEOREM JENICĂ CRÎNGANU We derive existence results for operator equations having the form J ϕu = N f u, by using
More 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 informationA Concise Course on Stochastic Partial Differential Equations
A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original
More informationEXISTENCE OF QUASI-ISOMETRIC MAPPINGS AND ROYDEN COMPACTIFICATIONS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 25, 2000, 239 260 EXISTENCE OF QUASI-ISOMETRIC MAPPINGS AND ROYDEN COMPACTIFICATIONS Mitsuru Nakai 52 Eguchi, Hinaga Chita 478-0041, Japan; nakai@daido-it.ac.jp
More informationNonlinear elliptic systems with exponential nonlinearities
22-Fez conference on Partial Differential Equations, Electronic Journal of Differential Equations, Conference 9, 22, pp 139 147. http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu
More informationESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS. Zhongwei Shen
W,p ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS Zhongwei Shen Abstract. Let L = div`a` x, > be a family of second order elliptic operators with real, symmetric coefficients on a
More informationEXISTENCE OF SOLUTIONS FOR A RESONANT PROBLEM UNDER LANDESMAN-LAZER CONDITIONS
Electronic Journal of Differential Equations, Vol. 2008(2008), No. 98, 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
More informationEXISTENCE 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
More informationSobolev 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
More informationHESSIAN MEASURES III. Centre for Mathematics and Its Applications Australian National University Canberra, ACT 0200 Australia
HESSIAN MEASURES III Neil S. Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications Australian National University Canberra, ACT 0200 Australia 1 HESSIAN MEASURES III Neil S. Trudinger Xu-Jia
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationA 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
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 PDEs of 2nd Order, Gilbarg and Trudinger
Elliptic PDEs of 2nd Order, Gilbarg and Trudinger Chapter 2 Laplace Equation Yung-Hsiang Huang 207.07.07. Mimic the proof for Theorem 3.. 2. Proof. I think we should assume u C 2 (Ω Γ). Let W be an open
More informationOPTIMAL 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
More informationCOMBINED EFFECTS FOR A STATIONARY PROBLEM WITH INDEFINITE NONLINEARITIES AND LACK OF COMPACTNESS
Dynamic Systems and Applications 22 (203) 37-384 COMBINED EFFECTS FOR A STATIONARY PROBLEM WITH INDEFINITE NONLINEARITIES AND LACK OF COMPACTNESS VICENŢIU D. RĂDULESCU Simion Stoilow Mathematics Institute
More informationSYMMETRY 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.
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationSébastien Chaumont a a Institut Élie Cartan, Université Henri Poincaré Nancy I, B. P. 239, Vandoeuvre-lès-Nancy Cedex, France. 1.
A strong comparison result for viscosity solutions to Hamilton-Jacobi-Bellman equations with Dirichlet condition on a non-smooth boundary and application to parabolic problems Sébastien Chaumont a a Institut
More informationGLOBAL LIPSCHITZ CONTINUITY FOR MINIMA OF DEGENERATE PROBLEMS
GLOBAL LIPSCHITZ CONTINUITY FOR MINIMA OF DEGENERATE PROBLEMS PIERRE BOUSQUET AND LORENZO BRASCO Abstract. We consider the problem of minimizing the Lagrangian [F ( u+f u among functions on R N with given
More informationNonexistence of solutions for quasilinear elliptic equations with p-growth in the gradient
Electronic Journal of Differential Equations, Vol. 2002(2002), No. 54, 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) Nonexistence
More informationNONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS
Fixed Point Theory, Volume 9, No. 1, 28, 3-16 http://www.math.ubbcluj.ro/ nodeacj/sfptcj.html NONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS GIOVANNI ANELLO Department of Mathematics University
More informationAnalysis in weighted spaces : preliminary version
Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.
More informationResearch Article Function Spaces with a Random Variable Exponent
Abstract and Applied Analysis Volume 211, Article I 17968, 12 pages doi:1.1155/211/17968 Research Article Function Spaces with a Random Variable Exponent Boping Tian, Yongqiang Fu, and Bochi Xu epartment
More informationConservation law equations : problem set
Conservation law equations : problem set Luis Silvestre For Isaac Neal and Elia Portnoy in the 2018 summer bootcamp 1 Method of characteristics For the problems in this section, assume that the solutions
More informationNew York Journal of Mathematics. A Refinement of Ball s Theorem on Young Measures
New York Journal of Mathematics New York J. Math. 3 (1997) 48 53. A Refinement of Ball s Theorem on Young Measures Norbert Hungerbühler Abstract. For a sequence u j : R n R m generating the Young measure
More informationAN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 (2016), 53-64 AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE Mona Nabiei (Received 23 June, 2015) Abstract. This study first defines a new metric with
More informationarxiv: v1 [math.ap] 27 May 2010
A NOTE ON THE PROOF OF HÖLDER CONTINUITY TO WEAK SOLUTIONS OF ELLIPTIC EQUATIONS JUHANA SILJANDER arxiv:1005.5080v1 [math.ap] 27 May 2010 Abstract. By borrowing ideas from the parabolic theory, we use
More informationFree energy estimates for the two-dimensional Keller-Segel model
Free energy estimates for the two-dimensional Keller-Segel model dolbeaul@ceremade.dauphine.fr CEREMADE CNRS & Université Paris-Dauphine in collaboration with A. Blanchet (CERMICS, ENPC & Ceremade) & B.
More informationPartial Differential Equations 2 Variational Methods
Partial Differential Equations 2 Variational Methods Martin Brokate Contents 1 Variational Methods: Some Basics 1 2 Sobolev Spaces: Definition 9 3 Elliptic Boundary Value Problems 2 4 Boundary Conditions,
More information