• 検索結果がありません。

Slowly Oscillating Solutions of a Parabolic Inverse Problem: Boundary Value Problems

N/A
N/A
Protected

Academic year: 2022

シェア "Slowly Oscillating Solutions of a Parabolic Inverse Problem: Boundary Value Problems"

Copied!
12
0
0

読み込み中.... (全文を見る)

全文

(1)

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|:xR}. 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×ΩandsJ, 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τffC0J, the space of the functions vanishing at infinity. Denote bySOJthe set of all such functions.

2A functionf ∈ CJ×Ωis said to be slowly oscillating intJ and uniform on compact subsets ofΩ if f·, Z ∈ SOJ for eachZ ∈ Ω and is uniformly continuous on

(2)

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 alltR. 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 alltR, thenf◦H×ι∈ SOR.

In the sequel, we will use the notations:RmT Rm×0, T,FT sup{|Fx, t| :xRn, 0 ≤tT}.F ∈ SORn×RmTmeans thatFx1, x2, tis slowly oscillating inx1Rn and uniformly onx2, tRmT;F ∈ SORn×Rmmeans thatFx1, x2is slowly oscillating inx1Rnand uniformly onx2Rm.

Let

Zx, t;ξ, s 1

2

πtsnmexp

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 .

(3)

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

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

χ ρ

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

tsds t∈0, T, 2.6 then

ϕtφt

11t 2√ 2t

etχt, 2.7

where

χt tχ21t 4√

12t πχ22t. 2.8

(4)

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

11t 2√ 2t

21t 4√

12t πχ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, XDn, uxnx,0, t φx, t, x, t∈Rn−1T

2.10

has a unique solutionu, anduis inSODnTand satisfies

uTKT

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, tt

0

ds

Dn

qξ, suζ, sGX, t;ζ, sdζ.

2.12

So,

ut≤2ϕ2

t 0

Fsds2

t 0

φ

s

tsds2

t 0

q

susds. 2.13

ByLemma 2.1, one gets the desired inequality.

(5)

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, tux, xn, t vxτ, xn, tvx, xn, tt

0

ds

Dn

qξ, suζ, sGxτ, xn, t;ζ, s−Gx, xn, t;ζ, sdζ vxτ, xn, tvx, xn, t

t

0

ds

Dn

qxτξ, suxτξ, xnξn, sqxξ, suxξ, xnξn, s

Gθ, t;ζ, sdζ vxτ, xn, tvx, xn, t

t

0

ds

Dn

qxτξ, sqxξ, s

uxτξ, xnξn, sGθ, t;ζ, sdζ

t

0

ds

Dn

uxτξ, xnξn, suxξ, xnξn, sqxξ, sGθ, t;ζ, sdζ.

2.14

Note that

t 0

ds

Dn

qxτξ, sqxξ, s

uxτξ, xnξn, sGθ, t;ζ, sdζ

B·distA

Rτqq

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τ, sqx, 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, utm

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.

(6)

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, XDn, 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, xRn−1, 2.23 htx,0 ut|xna,t0

Δu−qufX, t

xna,t0 ΔϕX

xnaqx,0ϕx, a fx, a,0, gtx,0 utxn|xn0,t0 ΔϕxnX

xn0qx,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, XDn, 2.27

Vx,0, t gx, t, x, t∈Rn−1T , 2.28

Vxnx, a, t ht−Δhqhfx, 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, XDn, 2.31

Wxnx,0, t gt−Δgqgfxnx,0, t, x, t∈Rn−1T , 2.32 Wx, a, t ht−Δhhqfx, a, t, x, t∈Rn−1T . 2.33

(7)

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

dy2

∂xn2

xn

a

V x, y, t

dy

ht−ΔhqhfX, tfx, 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−Δgqgfξ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.

(8)

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 :qTM}, whereTT0. IfqBM, t, then, byLemma 2.3, WX, tis inSORn−1×DT, and so, by2.38,Lqis inSORn−1T with

Lq

TM

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 whenTt0, one has 1<21−Mm1T. It follows that

WT ≤2

2ϕxnxn2m2T0gt−Δg−fxnx,0, t

T02Mm2T0g

T0m1T0fxnxn

T0

. 2.42

ChooseT1t0such that whenTT1, one has

2h−1

T0

m2Tg

T0m1T

×

2ϕxnxn2m2T0gt−Δg−fxnx,0, t

T02Mm2T0g

T0m1T0fxnxn< 1 2, 2.43

and therefore,LqTM.

(9)

Let q1,q2BM, T. By 2.38, Lq1Lq2T ≤ h−1TW1W2T. Note that the functionW W1W2is the solution of the problem

Wt−ΔWqW W2 q2q1

, X, t∈DnT, WX,0 0, XDn,

Wxnx,0, t q2q1

gx, t, x, t∈Rn−1T .

2.44

So, byLemma 2.3, one has

WTKT

T

2 q1q2

Tg

TTq1q2

TW2T

. 2.45

ChooseT2 < t0such that for TT2,h−1T0W1W2T ≤ 1/2q1q2T. 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. Seth0h1h2,f0f1f2,ϕ0 ϕ1ϕ2, andg0g1g2. For the stability of the solution, we have the following.

Theorem 2.6. For 0tT, one has q1q2

tc1h0

tc2g0

tc3fx0nxn

tc4ϕ0xnxnc5h0t−Δh0f0x, a, t

t

c6gt0−Δg0fx0nx,0, t

t,

2.46

where ci1 ≤ i ≤ 6 depends on t, h−11 t, g1t, fx1nxnt, ϕ1xnxn, q1t, q2t, and gt1−Δg1fx1nx,0, tt.

Proof. By2.33,

q1q2 h1−1

Δh0h0t f0x, a, t−q2h0W1W2

. 2.47

So,

q1q2

t

h1−1 t

Δh0h0tf0x, a, t

tq2

th0

tW1W2t

. 2.48

(10)

Note that the functionWW1W2is the solution of the problem Wt−ΔWq2Wfx0nxnW1

q1q2

, X, t∈DTn, WX,0 ϕ0xnxnX, XDn,

Wxnx,0, t gt0−Δg0q2g0fx0nx,0, t q1q2

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−Δg0fx0nx,0, t

t

W1t t

0

q1q2

sdsg1

t

π

t 0

q1q2 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

11t 2√ 2t

etχt, χt tχ21t 4√

12t πχ22t, χ1t

h1−1

tΦtexp

t 0

q2

sds

,

χ2t π−1/2

h1−1 t

g1

texp

t 0

q2

sds

2.52

(11)

andΦtis majorant ofW1t. One can specially assume that

Φt

ϕ1xnxntfx1nxn

t t

0

gs1−Δg1fx1nx,0, s πts 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.

(12)

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.

参照

関連したドキュメント

In this paper, we consider the existence of positive solutions for impulsive integrod- ifferential boundary value problems, where the nonlinear term is sublinear at infinity and may

In this talk we shall prove a uniqueness result for a parabolic inverse problem arisen in GPC (Gel.. Permeation Chromatography), the fundamental technology to measure the

Sivasundaram, Existence results for nonlinear impulsive hybrid boundary value problems involving fractional differential equations, Nonlinear Anal.. Sivasundaram, Existence of

The goal is to prove the existence and uniqueness of a weak solution to the problem in the case when the nonlinearity in the Newton boundary condition does not satisfy any

In appli- cations, the stability and coercive stability estimates in H¨older norms for the solutions of the difference scheme of the mixed-type boundary value problems for the

Tkachenko, Properties of solutions of a parabolic equation and the uniqueness of the solution of the inverse source problem with integral

In this paper we prove the existence and the uniqueness of classical solution of non-autonomous inhomogeneous boundary Cauchy problems, this solution is given by a variation

The existence and uniqueness of a bounded solution is established for a nonlinear parabolic equation with piecewise continuous time delay.. In this case, the delay function is