Volume 2010, Article ID 471491,12pages doi:10.1155/2010/471491
Research Article
Slowly Oscillating Solutions of a Parabolic Inverse Problem: Boundary Value Problems
Fenglin Yang and Chuanyi Zhang
Department of Mathematics, Harbin Institute of Technology, Harbin 150001, China
Correspondence should be addressed to Fenglin Yang,[email protected] Received 11 October 2010; Accepted 20 December 2010
Academic Editor: Colin Rogers
Copyrightq2010 F. Yang and C. Zhang. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
The existence and uniqueness of a slowly oscillating solution to parabolic inverse problems for a type of boundary value problem are established. Stability of the solution is discussed.
1. Introduction
It is well known that the space APR of almost periodic functions and some of its generalizations have many applicationse.g.,1–13and references therein. However, little has been done forAPRto inverse problems except for our work in14–16. Sarason in17 studied the spaceSORof slowly oscillating functions. This is aC∗-subalgebra ofCR, the space of bounded, continuous, complex-valued functionsf onR with the supremum norm fsup{|fx|:x∈R}. Compared withAPR,SORis a quite large spacesee17–20.
What we are interested inSORis based on the belief thatSORcertainly has a variety of applications in many mathematical areas too. In15, we studied slowly oscillating solutions of a parabolic inverse problem for Cauchy problems. In this paper, we devote such solutions for a type of boundary value problem.
SetJ ∈ {R,Rn}. LetCJ resp.,CJ×Ω, whereΩ ⊂ Rmdenote theC∗-algebra of bounded continuous complex-valued functions onJresp.,J×Ωwith the supremum norm.
Forf∈ CJ resp.,CJ×Ωands∈J, the translate offbysis the functionRsft fts resp.,Rsft, Z fts, Z,t, Z∈J×Ω.
Definition 1.1. 1A functionf ∈ CJis called slowly oscillating if for everyτ∈J,Rτf−f∈ C0J, the space of the functions vanishing at infinity. Denote bySOJthe set of all such functions.
2A functionf ∈ CJ×Ωis said to be slowly oscillating int ∈ J and uniform on compact subsets ofΩ if f·, Z ∈ SOJ for eachZ ∈ Ω and is uniformly continuous on
J×Kfor any compact subsetK ⊂Ω. Denote bySOJ×Ωthe set of all such functions. For convenience, such functions are also called uniformly slowly oscillating functions.
3 Let X be a Banach space, and let CJ, X be the space of bounded continuous functions fromJ to X. If we replace CJ in 1 by CJ, X, then we get the definition of SOJ, X.
As in17, we always assume thatf∈ SOJis uniformly continuous.
The following two propositions come from15, Section 1.
Proposition 1.2. Letf ∈ SOJ SOJ×Ωbe such that∂f/∂xi is uniformly continuous onJ.
Then∂f/∂xi∈ SOJ SOJ×Ω.
ForH h1, h2, . . . , hn∈ CRn, suppose thatHt∈Ωfor allt∈R. DefineH×ι → Ω×R by
H×ιt h1t, h2t, . . . , hnt, t t∈R. 1.1
The following proposition shows that the composite is also slowly oscillating.
Proposition 1.3. Letf ∈ SOR×Ω. IfH∈ SORnandHt∈Ωfor allt∈R, thenf◦H×ι∈ SOR.
In the sequel, we will use the notations:RmT Rm×0, T,FT sup{|Fx, t| :x ∈ Rn, 0 ≤t≤ T}.F ∈ SORn×RmTmeans thatFx1, x2, tis slowly oscillating inx1 ∈Rn and uniformly onx2, t∈RmT;F ∈ SORn×Rmmeans thatFx1, x2is slowly oscillating inx1∈Rnand uniformly onx2∈Rm.
Let
Zx, t;ξ, s 1
2
πt−snmexp
−
xi−ξi2 4t−s
x, ξ∈Rnm 1.2
be the fundamental solution of the heat equation21.
2. A Type of Boundary Value Problem
We will keep the notation in Section 1 and at the same time introduce the following new notation:
x x1, x2, . . . , xn−1, ξ ξ1, ξ2, . . . , ξn−1,
X x, xn, ζ ξ, ξn, Dn{X ∈Rn:xn>0}. 2.1
In this section, we always assume the following:f,fxnxn ∈ SORn−1×DT0,hx, t ≥ const>0,h,Δh−ht∈ SORn−1T0 ,ϕ,ϕxnxn ∈ SORn−1×D,ϕ∈C3Rn−1×D, andg,Δg−gt∈ SORn−1T0 .
Let
GX, t;ζ, τ ZX, t;ξ, ξn, τ ZX, t;ξ,−ξn, τ 2.2
be Green’s function for the boundary value problems22,23.
The following estimates are easily obtained:
t 0
ds
Dn
GX, t;ζ, sdζ
≤m1T,
t 0
ds
Rn−1ZX, t;ξ,0, sdξ
≤m2T,
t 0
ds
Rn
∂ZX, t;ζ, s
∂xn dζ
≤m3T,
2.3
wheremiT i1,2,3are positive and increasing forT ≥0 andmiT → 0 asT → 0.
To show the main results of this section, the following lemmas are needed. The first lemma is Lemma 3.1 on page 15 in24.
Lemma 2.1. Letϕ,φ, andχbe real, continuous functions on0, Twithχ≥0. If
ϕt≤φt t
0
χsϕsds t∈0, T, 2.4
then
ϕt≤φt t
0
χsφsexp
t s
χ ρ
dρ
ds t∈0, T. 2.5
Lemma 2.2. Let ϕ be a continuous function on 0, T. If φ, χ1, and χ2 are nondecreasing and nonnegative on0, Tand
ϕt≤φt χ1t t
0
ϕsdsχ2t t
0
√ϕs
t−sds t∈0, T, 2.6 then
ϕt≤φt
1tχ1t 2√ tχ2t
etχt, 2.7
where
χt tχ21t 4√
tχ1tχ2t πχ22t. 2.8
Proof. Replacing ϕs in the two integrals of 2.6 by the expression on the right hand side in2.6, changing the integral order of the resulting inequality and making use of the monotonicity ofφ,χ1andχ2, one gets
ϕt≤φt
1tχ1t 2√ tχ2t
tχ21t 4√
tχ1tχ2t πχ22t t
0
ϕsds. 2.9
ApplyLemma 2.1to get the conclusion.
Lemma 2.3. Let FX, t ∈ SODTn,φx, t, qx, t ∈ SORn−1T , andϕ ∈ SODn. Then the problem
ut−ΔuquFX, t, X, t∈DnT, uX,0 ϕX, X∈Dn, uxnx,0, t φx, t, x, t∈Rn−1T
2.10
has a unique solutionu, anduis inSODnTand satisfies
uT≤KT
TFTϕ
√T 2 φ
T
, 2.11
whereKT 21TqTeTqT.
One sees thatKTdepends onqTonly and is bounded near zero.
Proof. The existence and uniqueness of the solution comes from Theorem 5.3 on page 320 in 25.
As in22,23, the solutionucan be written as
uX, t
Dn
ϕζGX, t;ζ,0dζ t
0
ds
Dn
Fζ, sGX, t;ζ, sdζ
− t
0
ds
Dn
qξ, suζ, sGX, t;ζ, sdζ−2
t 0
ds
Rn−1φξ, sZX, t;ξ,0, sdξ vx, t− t
0
ds
Dn
qξ, suζ, sGX, t;ζ, sdζ.
2.12
So,
ut≤2ϕ2
t 0
Fsds2
t 0
φ
√ s
t−sds2
t 0
q
susds. 2.13
ByLemma 2.1, one gets the desired inequality.
Now we show thatu∈ SODnT. As in the proofs of Lemmas 2.1 and 2.3 in15, one getsv∈ SODnT. Forx,τ ∈Rn−1with|x| ≥A >0,
uxτ, xn, t−ux, xn, t vxτ, xn, t−vx, xn, t− t
0
ds
Dn
qξ, suζ, sGxτ, xn, t;ζ, s−Gx, xn, t;ζ, sdζ vxτ, xn, t−vx, xn, t
− t
0
ds
Dn
qxτξ, suxτξ, xnξn, s−qxξ, suxξ, xnξn, s
Gθ, t;ζ, sdζ vxτ, xn, t−vx, xn, t
− t
0
ds
Dn
qxτξ, s−qxξ, s
uxτξ, xnξn, sGθ, t;ζ, sdζ
− t
0
ds
Dn
uxτξ, xnξn, s−uxξ, xnξn, sqxξ, sGθ, t;ζ, sdζ.
2.14
Note that
t 0
ds
Dn
qxτξ, s−qxξ, s
uxτξ, xnξn, sGθ, t;ζ, sdζ
≤B·distA
Rτq−q
t
Dn
qξ, sGθ, t;ζ, sdζ
≤Bq
s,
2.15
whereBis a constant and distA
Rτq, q
t sup
s∈0,t,|x|≥A
qxτ, s−qx, s. 2.16
So,
distARτu, ut≤distARτv, vtB·distA Rτq, q
tB
t 0
distARτu, usq
sds. 2.17
ByLemma 2.1, one has
distARτu, ut≤m
distARτv, vtB·distA Rτq, q
t
, 2.18
where m is a constant. Since v and q are slowly oscillating, the right-hand sides of the inequality above approaches zero as A → ∞. This means that u ∈ SODnT. The proof is complete.
Consider the following problem.
Problem 1. Find functionsu∈ SORn−1×DTandq∈ SORn−1T such that
ut−Δuqx, tufX, t, X, t∈DTn, 2.19
uX,0 ϕX, X ∈Dn, 2.20
uxnx,0, t gx, t, x, t∈Rn−1T , 2.21 ux, a, t hx, t, x, t∈Rn−1T , a∈0,∞. 2.22
One sees that
hx,0 ϕx, a, ϕxnx,0 gx,0, x∈Rn−1, 2.23 htx,0 ut|xna,t0
Δu−qufX, t
xna,t0 ΔϕX
xna−qx,0ϕx, a fx, a,0, gtx,0 utxn|xn0,t0 ΔϕxnX
xn0−qx,0ϕxnx,0 fxnx,0,0.
2.24
It follows from2.24that ϕxnx,0ΔϕX
xnafx, a,0ϕxnx,0−htx,0ϕxnx,0 ϕx, aΔϕxnX
xn0fxnx,0,0ϕx, a−gtx,0ϕx, a. 2.25 Let VX, t uxnX, t, and let WX, t VxnX, t. We have the following two additional problems forV andW, respectively.
Problem 2. Find functionsV ∈ SORn−1×DTandq∈ SORn−1T such that
Vt−ΔVqx, tV fxnX, t, X, t∈DnT, 2.26
VX,0 ϕxnX, X∈Dn, 2.27
Vx,0, t gx, t, x, t∈Rn−1T , 2.28
Vxnx, a, t ht−Δhqh−fx, a, t, x, t∈Rn−1T . 2.29
Problem 3. Find functionsW∈ SORn−1×DTandq∈ SORn−1T such that
Wt−ΔWqx, tWfxnxnX, t, X, t∈DnT, 2.30
WX,0 ϕxnxnX, X∈Dn, 2.31
Wxnx,0, t gt−Δgqg−fxnx,0, t, x, t∈Rn−1T , 2.32 Wx, a, t ht−Δhhq−fx, a, t, x, t∈Rn−1T . 2.33
Lemma 2.4. Problems1,2, and3are equivalent to each other.
Proof. The existence and uniqueness of the solutionV, qof Problem2can be easily obtained from that of the solutionu, qof Problem1. Conversely, letV, qbe the solution of Problem 2. We show that Problem 1 has a unique solution u, q. The uniqueness comes from the uniqueness of2.19–2.21. For the existence, let
uX, t xn
a
V x, y, t
dyhx, t. 2.34
Obviously,uX, t∈ SORn−1×DTand satisfies2.22. Alsousatisfies2.21because uxnx,0, t Vx,0, t gx, t. By2.23and2.27, one sees that2.20is true. Finally, we show thatusatisfies2.19and therefore, along withq, constitutes a solution of Problem1. In fact,
ut−Δuquht−Δhqh xn
a
Vt x, y, t
−ΔV x, y, t
qV x, y, t
dy
xn
a
∂2
∂y2V x, y, t
dy− ∂2
∂xn2
xn
a
V x, y, t
dy
ht−ΔhqhfX, t−fx, a, t VxnX, t−Vxnx, a, t−VxnX, t fX, t.
by2.29
2.35
Thus, we have shown the equivalence of Problems1and2. Replacing2.34by the function
VX, t xn
a
W x, y, t
dygx, t, 2.36
the equivalence of Problems2and3can be proved similarly. The proof is complete.
ByLemma 2.4, to solve Problem1, we only need to solve Problem3. By2.30–2.32, we have the integral equation aboutW:
WX, t
Dn
ϕξnξnζGX, t;ζ,0dζ t
0
ds
Dn
fξnξnζ, sGX, t;ζ, sdζ
− t
0
ds
Dn
qξ, sWζ, sGX, t;ζ, sdζ
−2
t 0
ds
Rn−1
gs−Δgqg−fξnξ,0, s
ZX, t;ξ,0, sdξ.
2.37
Rewrite2.33as
qLqh−1x, t
Δh−htfx, a, t Wx, a, t
, 2.38
whereWis determined by2.37.
One can directly test that Problem3is equivalent to2.37-2.38.
Note that for a given qx, t ∈ SORn−1T , Lemma 2.3 shows that 2.30–2.32 or equivalently,2.37have a unique solutionW ∈ SORn−1×DT. Thus,2.38does define an operatorL. Therefore, we only need to show that the integral2.38has a unique solution qandq∈ SORn−1T . That is,Lhas a fixed point inSORn−1T . Let
Δh−htfx, a, t
T02ϕξnξn
t 0
ds
Dn
fξnξnζ, sGx, a, t;ζ,sdζ
T0
2
t 0
ds
Rn−1
Δg−gsfξnξ,0, s
Zx, a, t;ξ,0, sdξ
T0
h−1
T0
M 2 .
2.39
SetBM, T {q∈ SORn−1T :qT ≤M}, whereT ≤T0. Ifq∈BM, t, then, byLemma 2.3, WX, tis inSORn−1×DT, and so, by2.38,Lqis inSORn−1T with
Lq
T ≤ M
2 h−1
T0
2m2Tg
T0m1TWT
M. 2.40
Equation2.37gives the estimate
WT ≤2ϕξnξn2m2T0gt−Δg−fxnx,0, t
T02Mm2T0g
T0
m1T0fxnxn
T0Mm1TWT.
2.41
Chooset0< T0such that whenT ≤t0, one has 1<21−Mm1T. It follows that
WT ≤2
2ϕxnxn2m2T0gt−Δg−fxnx,0, t
T02Mm2T0g
T0m1T0fxnxn
T0
. 2.42
ChooseT1≤t0such that whenT ≤T1, one has
2h−1
T0
m2Tg
T0m1T
×
2ϕxnxn2m2T0gt−Δg−fxnx,0, t
T02Mm2T0g
T0m1T0fxnxn< 1 2, 2.43
and therefore,LqT ≤M.
Let q1,q2 ∈ BM, T. By 2.38, Lq1−Lq2T ≤ h−1TW1−W2T. Note that the functionW W1−W2is the solution of the problem
Wt−ΔWqW W2 q2−q1
, X, t∈DnT, WX,0 0, X ∈Dn,
Wxnx,0, t q2−q1
gx, t, x, t∈Rn−1T .
2.44
So, byLemma 2.3, one has
WT≤KT √
T
2 q1−q2
Tg
TTq1−q2
TW2T
. 2.45
ChooseT2 < t0such that for T ≤ T2,h−1T0W1−W2T ≤ 1/2q1−q2T. Now, set T ≤min{T1, T2}. ThenLis a contraction fromBM, Tinto itself, and therefore, has a unique fixed point. Thus, we have shown.
Theorem 2.5. Let functionsf,g,h, andϕbe as above. Then, for smallT, Problem3has a unique solution (W, q) inRnTwithW∈ SORn−1×DTandq∈ SORn−1T .
LetWi, qi i1.2be the solutions of Problem3inDnTfor the functionsfi,gi,hi, and ϕi. Seth0h1−h2,f0f1−f2,ϕ0 ϕ1−ϕ2, andg0g1−g2. For the stability of the solution, we have the following.
Theorem 2.6. For 0≤t≤T, one has q1−q2
t≤c1h0
tc2g0
tc3fx0nxn
tc4ϕ0xnxnc5h0t−Δh0−f0x, a, t
t
c6gt0−Δg0−fx0nx,0, t
t,
2.46
where ci1 ≤ i ≤ 6 depends on t, h−11 t, g1t, fx1nxnt, ϕ1xnxn, q1t, q2t, and gt1−Δg1−fx1nx,0, tt.
Proof. By2.33,
q1−q2 h1−1
Δh0−h0t f0x, a, t−q2h0W1−W2
. 2.47
So,
q1−q2
t≤
h1−1 t
Δh0−h0tf0x, a, t
tq2
th0
tW1−W2t
. 2.48
Note that the functionWW1−W2is the solution of the problem Wt−ΔWq2Wfx0nxn −W1
q1−q2
, X, t∈DTn, WX,0 ϕ0xnxnX, X∈Dn,
Wxnx,0, t gt0−Δg0q2g0−fx0nx,0, t q1−q2
g1, x, t∈Rn−1T .
2.49
Using a formula similar to2.37andLemma 2.2for the functionW, one gets
Wt≤
tfx0nxn
tϕ0xnxn2 t
πq2
tg0
t2 t
π
gt0−Δg0−fx0nx,0, t
t
W1t t
0
q1−q2
sdsg1
√ t
π
t 0
q1−q2 s
t−s
exp
t 0
q2
ρdρ ds
.
2.50
ApplyingLemma 2.2and2.48, one gets the desired conclusion with c1φt
h1−1
t
q2
t,
c22φt t
π
h1−1 t
q2
texp
t 0
q2
sds
,
c3tφt
h1−1 t
exp
t 0
q2
sds
,
c4φt
h1−1 t
exp
t 0
q2
sds
,
c5φt
h1−1 t
,
c62φt t
π
h1−1 t
exp
t 0
q2
sds
,
2.51
where
φt
1tχ1t 2√ tχ2t
etχt, χt tχ21t 4√
tχ1tχ2t πχ22t, χ1t
h1−1
tΦtexp
t 0
q2
sds
,
χ2t π−1/2
h1−1 t
g1
texp
t 0
q2
sds
2.52
andΦtis majorant ofW1t. One can specially assume that
Φt
ϕ1xnxntfx1nxn
t t
0
gs1−Δg1−fx1nx,0, s πt−s ds
exp
t s
q2
sds
. 2.53
The proof is complete.
Corollary 2.7. Under the conditions inTheorem 2.6, the solution of Problem3is unique.
Acknowledgment
The research is supported by the NSF of Chinano. 11071048.
References
1 R. P. Agarwal, B. de Andrade, and C. Cuevas, “Weighted pseudo-almost periodic solutions of a class of semilinear fractional differential equations,” Nonlinear Analysis: Real World Applications, vol. 11, no.
5, pp. 3532–3554, 2010.
2 J. Andres, A. M. Bersani, and R. F. Grande, “Hierarchy of almost-periodic function spaces,” Rendiconti di Matematica e delle sue Applicazioni, vol. 26, no. 2, pp. 121–188, 2006.
3 B. Basit and C. Zhang, “New almost periodic type functions and solutions of differential equations,”
Canadian Journal of Mathematics, vol. 48, no. 6, pp. 1138–1153, 1996.
4 J. F. Berglund, H. D. Junghenn, and P. Milnes, Analysis on Semigroups: Function Spaces, Compactifications, Representations,, Canadian Mathematical Society Series of Monographs and Advanced Texts, John Wiley & Sons, New York, NY, USA, 1989.
5 J. Bourgain, “Construction of approximative and almost periodic solutions of perturbed linear Schr ¨odinger and wave equations,” Geometric and Functional Analysis, vol. 6, no. 2, pp. 201–230, 1996.
6 C. Corduneanu, Almost Periodic Functions, Interscience Tracts in Pure and Applied Mathematics, no.
2, John Wiley & Sons, New York, NY, USA, 1st edition, 1968.
7 C. Corduneanu, Almost Periodic Functions, John Wiley & Sons, New York, NY, USA, 2nd edition, 1989.
8 T. Diagan, Pseudo Almost Periodic Functions in Banach spaces, Nova Science, New York, NY, USA, 2007.
9 A. M. Fink, Almost Periodic Differential Equations, vol. 377 of Lecture Notes in Mathematics, Springer, Berlin, Germany, 1974.
10 Y. Hino, T. Naito, Nguyen Van Minh, and J. S. Shin, Almost Periodic Solutions of Differential Equations in Banach Spaces, vol. 15 of Stability and Control: Theory, Methods and Applications, Taylor & Francis, London, UK, 2002.
11 G. M. N’Gu´er´ekata, Topics in Almost Automorphy, Springer, New York, NY, USA, 2005.
12 W. Shen, “Travelling waves in time almost periodic structures governed by bistable nonlinearities. I.
Stability and uniqueness,” Journal of Differential Equations, vol. 159, no. 1, pp. 1–54, 1999.
13 C. Zhang, Almost Periodic Type Functions and Ergodicity, Science Press, Beijing, China; Kluwer Academic Publishers, Dordrecht, The Netherlands, 2003.
14 C. Zhang and F. Yang, “Remotely almost periodic solutions of parabolic inverse problems,” Nonlinear Analysis: Theory, Methods & Applications, vol. 65, no. 8, pp. 1613–1623, 2006.
15 F. Yang and C. Zhang, “Slowly oscillating solutions of parabolic inverse problems,” Journal of Mathematical Analysis and Applications, vol. 335, no. 2, pp. 1238–1258, 2007.
16 C. Zhang and F. Yang, “Pseudo almost periodic solutions to parabolic boundary value inverse problems,” Science in China. Series A, vol. 51, no. 7, pp. 1203–1214, 2008.
17 D. Sarason, “Remotely almost periodic functions,” in Proceedings of the Conference on Banach Algebras and Several Complex Variables (New Haven, Conn., 1983), vol. 32 of Contemp. Math., pp. 237–242, American Mathematical Society, Providence, RI, USA.
18 C. Zhang, “New limit power function spaces,” IEEE Transactions on Automatic Control, vol. 49, no. 5, pp. 763–766, 2004.
19 C. Zhang and C. Meng, “C∗-algebra of strong limit power functions,” IEEE Transactions on Automatic Control, vol. 51, no. 5, pp. 828–831, 2006.
20 C. Zhang, “Strong limit power functions,” The Journal of Fourier Analysis and Applications, vol. 12, no.
3, pp. 291–307, 2006.
21 A. Friedman, Partial Differential Equations of Parabolic Type, Prentice-Hall, Englewood Cliffs, NJ, USA, 1964.
22 B. Guo, Inverse Problem of Parabolic Partial Differential Equations, Science and Technology Press of Heilongjiang Province, Harbin, China, 1988.
23 E. Zauderer, Partial Differential Equations of Applied Mathematics, Pure and Applied Mathematics, John Wiley & Sons, New York, NY, USA, 1983.
24 J. K. Hale and S. M. Verduyn Lunel, Introduction to Functional-Differential Equations, vol. 99 of Applied Mathematical Sciences, Springer, New York, NY, USA, 1993.
25 O. A. Ladyzenskaja, V. A. Solonnikov, and N. N. Ural’ceva, Linear and Quasi-Linear Equations of Parabolic Type, American Mathematical Society, Providence, RI, USA, 1968.