J I P A

advertisement
Journal of Inequalities in Pure and
Applied Mathematics
TWO ITERATIVE SCHEMES FOR AN H-SYSTEM
PABLO AMSTER AND MARíA CRISTINA MARIANI
FCEyN - Departamento de Matemática
Universidad de Buenos Aires
Ciudad Universitaria, Pabellón I
(1428) Buenos Aires, Argentina
CONICET
EMail: pamster@dm.uba.ar
Department of Mathematical Sciences
New Mexico State University Las Cruces
NM 88003-0001, USA
EMail: mmariani@nmsu.edu
volume 6, issue 1, article 5,
2005.
Received 1 November, 2004;
accepted 15 December, 2004.
Communicated by: L. Debnath
Abstract
Contents
JJ
J
II
I
Home Page
Go Back
Close
c
2000
Victoria University
ISSN (electronic): 1443-5756
243-04
Quit
Abstract
Two iterative schemes for the solution of an H-system with Dirichlet boundary
data for a revolution surface are studied: a Newton imbedding type procedure,
which yields the local quadratic convergence of the iteration and a more simple
scheme based on the method of upper and lower solutions.
2000 Mathematics Subject Classification: 34B15, 35J25.
Key words: H-systems, Newton Imbedding, Upper and Lower solutions, Iterative
methods.
Contents
1
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2
A Newton Imbedding Type Procedure . . . . . . . . . . . . . . . . . . . 6
3
Upper and Lower Solutions for Problem (1.4) . . . . . . . . . . . . . 11
References
Two Iterative Schemes for an
H-system
Pablo Amster and
María Cristina Mariani
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 2 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
1.
Introduction
The prescribed mean curvature equation with Dirichlet condition for a vector
function X : Ω −→ R3 is given by the following nonlinear system of partial
differential equations:
(
4X = 2H(X)Xu ∧ Xv in Ω
(1.1)
X = X0
on ∂Ω
where Ω ⊂ R2 is a bounded domain, ∧ denotes the exterior product in R3 ,
H : R3 −→ R is a given continuous function and X0 is the boundary data.
The parametric Plateau and Dirichlet problems have been studied by different authors (see [3, 4], [7] – [9]). Nonparametric and more general quasilinear
equations are considered in [1, 2, 6].
We shall consider the particular case of a revolution surface
X(u, v) = (f (u) cos v, f (u) sin v, g(u))
with f, g ∈ C 2 (I) such that f > 0 and g 0 > 0 over the interval I ⊂ R. Without
loss of generality we may assume that I = (0, L), and problem (1.1) becomes
 00
f − f = −2H(f, g)f g 0 in I





 g 00 = 2H(f, g)f f 0
in I
(1.2)

f (0) = α0
f (L) = αL





g(0) = β0
g(L) = βL
Two Iterative Schemes for an
H-system
Pablo Amster and
María Cristina Mariani
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 3 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
where H : R2 −→ R is a given continuous function, and α0 , αL > 0, β0 < βL
are fixed real numbers.
It is easy to see that any solution of (1.2) verifies the equality
2
2
(f 0 ) + (g 0 ) = f 2 + c.
Hence, the isothermal condition
|Xu | − |Xv | = Xu Xv = 0
holds if and only if c = 0. In this case, H is the mean curvature of the surface
parameterized by X (see [8]).
We shall study problem (1.2) for a surface with connected boundary, namely
(1.3)
 00
f − f = −2H(f, g)f g 0





 g 00 = 2H(f, g)f f 0
in I

f (L) = αL ,





f (0) = g 0 (0) = 0.
g(L) = βL
in I
g 0 (0) = 0,
Contents
JJ
J
t
II
I
Go Back
g(L) = βL
e
problem (1.3) easily reduces to a single equation; indeed, if H(t)
=
the following integral formula holds for g:
Z L
e (s))ds.
g(t) = βL − 2
H(f
Pablo Amster and
María Cristina Mariani
Title Page
In particular, if H depends only on the radius f , from the equality
g 00 = 2H(f )f f 0 ,
Two Iterative Schemes for an
H-system
Close
Rt
0
sH(s)ds,
Quit
Page 4 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
Thus, problem (1.3) is equivalent to the equation

0
 f 00 − f = −4H(f )f H(f
e 2 (f )
e ) = −2 H
(1.4)
 f =α
in I
on ∂I
e
with α(t) := αLL t. We remark that if αL = 0 then g 0 (L) = 2H(0)
= 0, which
corresponds to a surface without boundary.
The paper is organized as follows. In Section 2, a Newton imbedding type
procedure for problem (1.4) is considered, which yields the local quadratic convergence of the iteration. In Section 3 we construct a more simple convergent
scheme based on the existence of an ordered pair of a lower and an upper solution.
Two Iterative Schemes for an
H-system
Pablo Amster and
María Cristina Mariani
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 5 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
2.
A Newton Imbedding Type Procedure
Throughout this section we shall assume the following condition:
00
1 + Lπ Lπ − δ0
2
e
(2.1)
H
(x) ≤
for − k ≤ x ≤ k + αL ,
2
where δ0 <
π
L
and k satisfies:
kδ0 > L
1/2
0
2
e
2 H
(α) − α
.
L2
Remark 1. A straightforward application of Leray-Schauder degree theory
proves that if condition (2.1) holds then there exists at least one solution of
(1.4), which is unique in the set
Two Iterative Schemes for an
H-system
Pablo Amster and
María Cristina Mariani
Title Page
K = {u ∈ H 2 (I) : −k ≤ u ≤ k + αL }.
00
0
2
2
e
e
Remark 2. As H
(0) = 0 and 2 H (α) − α 2 → 0 for αL → 0, we
L
deduce that for any H there exists a positive number α∗ such that (2.1) holds
when αL < α∗ .
In order to solve equation (1.4) in an iterative manner, we shall embed it in
a family of problems

0

2
 f 00 + λ 2 H
e
(f ) − f = 0
(1.4λ )

 f (0) = 0, f (L) = α .
L
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 6 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
A simple computation shows that if Sλ is the semilinear operator given by
0
00
2
e
Sλ (f ) = f + λ 2 H (f ) − f ,
then the following estimate holds for any f, g ∈ K such that f = g on ∂I:
(2.2)
kf 0 − g 0 kL2 ≤
1
kSλ (f ) − Sλ (g)kL2 .
δ0
Hence, if f λ is the (unique) solution of (1.4λ ) in K, we have that
0
1
1
e 2 (α) − α .
k(f λ − α)0 kL2 ≤ kSλ (α)kL2 ≤ 2
H
2
δ0
δ0 L
0
1/2
e 2 (α) − αkL2 we obtain:
Thus, setting k0 = Lδ0 k2 H
−k0 ≤ f λ ≤ k0 + αL .
We first present a sketch of the method: given λ < 1, and assuming that
f λ ∈ K is known, we shall prove the existence of a positive ε and a recursive
sequence {fn } which converges quadratically to the unique solution of (1.4λ+ε )
in K. As ε can be chosen independently of f λ and λ, starting at f 0 = α, we
deduce the existence of a sequence
0 = λ0 < λ1 < · · · < λN = 1,
where f λk ∈ K is obtained iteratively from f λk−1 .
Two Iterative Schemes for an
H-system
Pablo Amster and
María Cristina Mariani
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 7 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
Let λ < 1, and f λ ∈ K be a solution of (1.4λ ). Define the constants:
k − k0
,
L1/2
0
λ
2
λ
e
k1 = f − 2 H (f ) ,
2
000
2
e
k2 =
sup
H
(ξ)
−k≤ξ≤k+α
R=
L
and define a sequence {fn } in the following way:
• f0 := f λ .
Pablo Amster and
María Cristina Mariani
• fn+1 the unique element of H 2 (I) that solves the linear problem

0
00

2
2
 f 00 = (λ + ε) 1 − 2 H
e
e
(fn )
(fn ) (fn+1 − fn ) + fn − 2 H
n+1

 f (0) = 0,
n+1
Two Iterative Schemes for an
H-system
fn+1 (L) = αL .
We shall prove that if ε is small enough, then {fn } is well defined. More
precisely:
Theorem 2.1. Assume that (2.1) holds, and that H is twice continuously differentiable on [−k, k +αL ]. Then {fn } is well defined and converges quadratically
for the H 1 -norm to the unique solution of (1.4λ+ε ) in K for any ε ≤ 1 − λ satisfying:
RL3/2 k2
δ0 R
ε 1+
<
.
πδ0
k1
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 8 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
Proof. As f0 ∈ K, f1 is well defined, and by an estimate analogous to (2.2) we
obtain:
00
1 0
0
00
2
e
kf1 − f0 kL2 ≤ (f1 − f0 ) − (λ + ε) 1 − 2 H
(f0 ) (f1 − f0 )
2
δ0
L
0
ε e 2 (f0 )
= f0 − 2 H
2
δ0 L
ε
= k1 ≤ R.
δ0
We shall assume as inductive hypothesis that fk is well defined for k = 1, . . . , n,
and that kfk0 − f00 kL2 ≤ R. Thus, fn ∈ K and fn+1 is well defined. Moreover,
for k = 1, . . . , n we have that
00
00
2
e
(fk+1 − fk ) − (λ + ε) 1 − 2 H
(fk ) (fk+1 − fk )
000
e 2 (ξk )(fk − fk−1 )2
= −(λ + ε) H
for some mean value ξk (x), and hence
k(fk+1 − fk )0 kL2 ≤
3/2
k2 (fk − fk−1 )2 2 ≤ k2 L k(fk − fk−1 )0 k2 2 .
L
L
δ0
δ0 π
Two Iterative Schemes for an
H-system
Pablo Amster and
María Cristina Mariani
Title Page
Contents
JJ
J
II
I
Go Back
Close
By induction,
k(fk+1 − fk )0 kL2 ≤
k2 L3/2
k(f1 − f0 )0 kL2
δ0 π
≤ A2
k −1
k(f1 − f0 )0 kL2 ,
2k −1
Quit
k(f1 − f0 )0 kL2
Page 9 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
where
A=
εk1 k2 L3/2
< 1.
δ02 π
Hence,
0
k(fn+1 − f0 ) kL2 ≤
n
X
k(fk+1 − fk )0 kL2
k=0
1
k(f1 − f0 )0 kL2
1−A
εk1
≤
.
δ0 (1 − A)
≤
By hypothesis, we conclude that k(fn+1 −f0 )0 kL2 ≤ R. Thus, fn is well defined
for every n, and the inequality
k(fn+1 − fn )0 kL2 ≤ A2
n −1
k(f1 − f0 )0 kL2
holds, proving that {fn } is a Cauchy sequence in H 1 (I). Furthermore, if f =
limn→∞ fn , it is immediate that fn → f in H 2 (I), and f ∈ K solves (1.4λ+ε ).
Two Iterative Schemes for an
H-system
Pablo Amster and
María Cristina Mariani
Title Page
Contents
JJ
J
II
I
Go Back
Remark 3. A uniform choice of ε can be obtained if we set
0
1/2
2
e
x − 2 H
k1 = L
sup
(x) .
−k ≤x≤k +α
0
0
Close
Quit
Page 10 of 16
L
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
3.
Upper and Lower Solutions for Problem (1.4)
In this section we define a convergent sequence based on the existence of an
upper solution of the problem: namely, a nonnegative function β such that
0
e 2 (β),
(3.1)
β 00 − β ≤ −2 H
β(L) ≥ αL .
We remark that it suffices to consider this assumption, since 0 is a lower solution
of (1.4).
Theorem 3.1. Assume that β ≥ 0 satisfies (3.1) and that H is continuously
differentiable for 0 ≤ x ≤ kβk∞ . Set
00
e 2 (x)
H
C = 1 − 2 min
0≤x≤kβk∞
and define the sequences {fn± } given by:
• f0− ≡ 0
f0+ = β
±
• {fn+1
} the unique solution of the linear problem

0
 (f ± )00 − Cf ± = (1 − C)f ± − 2 H
e 2 (f ± )
n+1
n+1
n
n
 f ± = α on ∂I.
n+1
Two Iterative Schemes for an
H-system
Pablo Amster and
María Cristina Mariani
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 11 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
Then {fn− } (respectively {fn+ }) is nondecreasing (nonincreasing), and converges pointwise to a solution of (1.2). Moreover, the respective limits f ± satisfy: 0 ≤ f − ≤ f + ≤ β.
Proof. Let us first note that C ≥ 0 (in fact, C ≥ 1), which implies that both
sequences are well defined. Furthermore,
from
0 the choice of C, it is immediate
e 2 (x) is nonincreasing for 0 ≤ x ≤
that the function ψ(x) = (1 − C)x − 2 H
kβk∞ . By definition,
(f1+ )00
−
Cf1+
e2
= (1 − C)β − 2 H
0
(β) ≥ β 00 − Cβ
and using the maximum principle it follows that f1+ ≤ β. On the other hand,
Two Iterative Schemes for an
H-system
Pablo Amster and
María Cristina Mariani
(f1+ )00 − Cf1+ = ψ(β) ≤ ψ(0) = 0
and as f1+ ≥ 0 on ∂I we deduce that f1+ ≥ 0 over I. Assume as inductive
hypothesis that
+
0 ≤ fn+ ≤ fn−1
.
Then
+
+
+
(fn+1
)00 − Cfn+1
= ψ(fn+ ) ≥ ψ(fn−1
) = (fn+ )00 − Cfn+
Title Page
Contents
JJ
J
II
I
Go Back
and
+
+
)00 − Cfn+1
= ψ(fn+ ) ≤ ψ(0) = 0
(fn+1
+
0 ≤ fn+1
≤ fn+ . Thus, {fn+ } is nonincreasing
+
which implies that
and converges
pointwise to a function f ≥ 0. By standard apriori estimates, we have that
+
+
+
kfn+1
− αkH 2 ≤ ck(fn+1
− α)00 − C(fn+1
− α)kL2
+
= ckψ(fn ) − αkL2 ≤ M
Close
Quit
Page 12 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
for some constant M . By compactness, {fn+ } admits a convergent subsequence
in C 1 (I), proving that f + ∈ C 1 (I). Furthermore,
Z x
+
0
+
0
+
+ ψ(fn+ ),
(fn+1 ) (x) − (fn+1 ) (0) =
Cfn+1
0
and by dominated convergence we conclude that
Z x
Z
+ 0
+ 0
+
+
(f ) (x) − (f ) (0) =
Cf + ψ(f ) =
0
x
+
e2
f −2 H
0
(f + ).
0
Thus, the result follows. The proof is analogous for {fn− }.
Two Iterative Schemes for an
H-system
Pablo Amster and
María Cristina Mariani
As a simple consequence we have:
Corollary 3.2. Assume there exists a number k ≥ αL such that
Title Page
Contents
1
e
H(k)H(k)
≤ .
4
Then β ≡ k is an upper solution, and the schemes defined in the previous
theorem converge.
n
e
Example 3.1. For H(x) = rx , we have that H(x)
=
tions of the previous corollary hold for
r
xn+2 ,
n+2
and the condi-
JJ
J
II
I
Go Back
Close
Quit
αL ≤ k ≤
n+2
4r2
1
2n+2
.
Page 13 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
However, it is possible to find a sharper bound for αL , if we consider the
parabola
"
2 #
x−L
β(x) = αL 1 −
.
L
Indeed, in this case we have that β is an upper solution if and only if
−
4r2 2n+3
2αL
−
β
≤
−
β
L2
n+2
Two Iterative Schemes for an
H-system
or equivalently
φ(β) ≤
2αL
L2
4r 2 2n+2
for φ(x) = x n+2
x
− 1 . Note that for 0 ≤ x ≤ αL we have:
Title Page
φ(x) ≤ max{0, φ(αL )}.
Contents
Thus, it suffices to assume that
0<
αL2n+2
n+2
≤
4r2
2
1+ 2
L
.
Remark 4. In the previous example, equation (1.4) is superlinear, namely:
4r2 2n+3
f
− f = 0,
f (0) = 0, f (L) = αL .
n+2
It can be proved (see e.g. [5]) that this problem admits infinitely many solutions.
More precisely, there exists k0 ∈ N such that for any j > k0 the problem has at
least two solutions crossing the line α(t) = αLL t exactly j times in (0, L).
f 00 +
Pablo Amster and
María Cristina Mariani
JJ
J
II
I
Go Back
Close
Quit
Page 14 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
References
[1] P. AMSTER, M.M. CASSINELLI AND M.C. MARIANI, Solutions to general quasilinear elliptic second order problems, Nonlinear Studies, 7(2)
(2000), 283–289.
[2] P. AMSTER, M.M. CASSINELLI AND M.C. MARIANI, Solutions to
quasilinear equations by an iterative method, Bulletin of the Belgian Math.
Society, 7 (2000), 435–441.
[3] P. AMSTER, M.M. CASSINELLI AND D.F RIAL, Existence and uniqueness of H-System’s solutions with Dirichlet conditions, Nonlinear Analysis,
Theory, Methods, and Applications, 42(4) (2000), 673–677.
[4] H. BREZIS AND J.M. CORON, Multiple solutions of H systems and Rellich’s conjecture, Comm. Pure Appl. Math., 37 (1984), 149–187.
[5] A. CAPPIETO, J. MAWHIN AND F. ZANOLIN, Boundary value problems
for forced superlinear second order ordinary differential equations, Séminaire du Collége de France.
[6] D. GILBARG AND N.S. TRUDINGER, Elliptic Partial Differential Equations of Second Order, Springer-Verlag (1983).
Two Iterative Schemes for an
H-system
Pablo Amster and
María Cristina Mariani
Title Page
Contents
JJ
J
II
I
Go Back
Close
[7] S. HILDEBRANDT, On the Plateau problem for surfaces of constant mean
curvature, Comm. Pure Appl. Math., 23 (1970), 97–114.
[8] M. STRUWE, Plateau’s Problem and the Calculus of Variations, Lecture
Notes, Princeton Univ. Press (1988).
Quit
Page 15 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
[9] GUOFANG WANG, The Dirichlet problem for the equation of prescribed
mean curvature, Analyse Nonlinéaire, 9 (1992), 643–655.
Two Iterative Schemes for an
H-system
Pablo Amster and
María Cristina Mariani
Title Page
Contents
JJ
J
II
I
Go Back
Close
Quit
Page 16 of 16
J. Ineq. Pure and Appl. Math. 6(1) Art. 5, 2005
http://jipam.vu.edu.au
Download