arxiv:8.05780v [math.ap] 3 Nov 08 Observability and Control Property for a Singular Heat Equation with Variable Coefficients Xue Qin a and Shumin Li b a School of Mathematical Sciences, University of Science and Technology of China, No.96, JinZhai Road, Hefei, Anhui, 3006, P.R.CHINA b Wu Wen-Tsun Key Laboratory of Math, USTC, Chinese Academy of Sciences. School of Mathematical Sciences, University of Science and Technology of China, No.96, JinZhai Road, Hefei, Anhui, 3006, P.R.CHINA Abstract The goal of this paper is to analyze control properties of the parabolic equation with variable coefficients in the principal part and with a singular inverse-square potential: tu(x,t) div(p(x) u(x,t)) (µ/ x )u(x,t) = f(x,t). Here µ is a real constant. It was proved in the paper of Goldstein and Zhang (003) that the equation is wellposedness when 0 µ p (n ) /4, and in this paper, we mainly consider the case 0 µ < (p /p )(n ) /4, where p,p are two positive constants which satisfy: 0 < p p(x) p, x. We extend the specific Carleman estimates in the paper of Ervedoza (008) and Vancostenoble (0) to the equation we consider and apply it to deduce an observability inequality for the system. By this inequality and the classical HUM method, we obtain that we can control the equation from any non-empty open subset as for the heat equation. Moreover, we will study the case µ > p (n ) /4. We consider a sequence of regularized potentials µ/( x +ǫ ), and prove that we cannot stabilize the corresponding systems uniformly with respect to ǫ > 0, due to the presence of explosive modes which concentrate around the singularity. MSC 35B37; 93B05; 35K05; 49J0. Keywords Singular heat equation; Null controllability; Carleman estimate; Observability. Introduction and main results The purpose of this work is to establish null control for linear heat equations with variable coefficients in the principal part and with singular potentials. We are interested in the socalled inverse square potential of the form µ/ x which arises, for example, in combustion theory [5, 4, 7, 8] and quantum mechanics [3, 8, 6]. Let n 3 and consider a bounded domain R n which satisfies 0 and the boundary C. ω is a non-empty open set which can be fixed arbitrarily. Email: qx3@mail.ustc.edu.cn. Email: shuminli@ustc.edu.cn.
We are interested in the control and stabilization properties of the following system t u(x,t)+lu(x,t) = f(x,t), (x,t), u(x,t) = 0, (x,t) Σ T, (.) u(x,0) = u 0 (x), x. Here, Lu(x,t) = div(p(x) u(x,t)) µ x u(x,t), (.) x = (x,...,x n ) R n, t = t, j = x j,j =,...,n, = (,..., n ). µ is a real constant, u 0 L (), and Assume that = (0,T), ω T = ω (0,T), Σ T = (0,T). (.3) p(x) C 3 (), 0 < p p(x) p, p p 3, x, (.4) for some constants 0 < p p and 0 p 3. f L ((0,T);H ()) is the control that we assume to be null in \ ω, that is θ D(\ ω), θf = 0 in L ((0,T);H ()). (.5) First of all, let us briefly mention that the Cauchy problem with such singular potential µ/ x is not straightforward. Indeed, Goidstein and Zhang [6] proved that the existence and nonexistence of positive solutions to (.) is largely determined by the size of the infimum of the spectrum of the symmetric operator with more general singular potentials V: L = n j (a ij (x) i u(x,t)) V(x)u(x,t), and 0 V L loc (). Here, {a ij} i j n satisfy i,j= a ij = a ji and the uniform ellipticity. Actually, this problem is also strongly related to the Hardy inequality: µ u (n) x dx u dx, u H0 (), (.6) where µ µ (n) = (n ) /4 is the optimal constant. Using the principle of Duhamel and the direct applications of Theorem. (iii) in [6], (.4), and (.6), respectively, we can obtain: if 0 µ p µ, the system (.) has a unique nonnegative solution u(,t) W, loc () for any 0 u 0 L (), and f(,t) L () for all t (0,T). The first work about the existence and nonexistence of positive solutions to (.) with p(x) = was discovered by Baras and Goldstein [] in 984. It was proved that if 0 µ µ and if the initial data u 0 is positive, it has a global weak solution, and if µ > µ, it has no solution if u 0 > 0 and f 0, even locally in time. The proof in [] relies on Hardy s inequality and scaling properties of the heat equation in R n and, [] does not give relevant results about parabolic equations with variable coefficients in the principal part. In 999, the case V L loc () was settled by Cabré Xavier and Martel Yvan ([6]). The proof in [6] involves nice and delicate computations using the special structure of and the smoothness of the boundary. In 003, using an extension of the method in [6], Goidstein and Zhang [6] extended the existence and blow up result by Baras and Goldstein [] to parabolic equations with variable
leading coefficients under almost optimal conditions on the singular potentials. In fact, the proof of [6] is greatly influenced by the ideals of [6] and the Harnack chin arguments of [7]. Moreover, the condition of [6] on the singular potential allows new nonradial singularities such as µ(x)/ x with µ(x) being an unbounded function and potentials with nonpointwise singularities such as c/d(x, ). Null-Controllability problem: Given any u 0 L (), find a function f L (ω (0,T)) satisfying (.5) such that the solution of (.) satisfies u(x,t) = 0, x. (.7) Notice that for 0 µ p µ, we only need to consider the case 0 / ω. In fact, for the case 0 ω, the stabilization property of (.) is always holds for all µ (see Section 5). A special controllability issue was already discussed under the assumption 0 µ µ whenp(x) = intherecentwork[8], inthespecialcasewhereω containsanannuluscentered in the singularity. The authors of [8] need this assumption since their proof strongly uses a decomposition in spherical harmonics which allows to reduce the problem to the study of -d singular equations. Later on, [9] proved that we can actually remove this assumption. It extended the -d Carleman estimates to the N-d case and deduced a null controllability result for a control supported in any non-empty subset ω, still provided that 0 µ µ. Actually, the proof of current paper is greatly influenced by the ideals of [9] and the inverse source problems of [9] with shaper Carleman estimates. In this article we proposed a study of a parabolic equation with variable coefficients in the principal part, from a control point of view, in the case µ < (p /p )µ (n), and the case µ > p µ. When 0 µ < (p /p )µ (n), we have addressed the null-controllability problem for a distributed control in an arbitrary open subset of (see Section ). When µ > p µ, we have shown that we cannot uniformly stabilize regularized approximations of system (.) with a control supported in ω when 0 / ω (see Section 4). Now state the main result: Theorem.. Let µ be a real number such that 0 µ < p p µ. Given any non-empty open set 0 / ω, for any T > 0 and u 0 L (), there exists a control f L (ω (0,T)) such that the solution of (.) satisfies (.7). Besides, there exists a constant C = C(T) such that f L (ω (0,T)) C(T) u 0 L (). (.8) Following the by now classical HUM method ([3]), the controllability property is equivalent to an observability inequality for the adjoint system t y(x,t)+div(p(x) y(x,t))+ µ x y(x,t) = 0, (x,t) T, y(x,t) = 0, (x,t) Σ T, (.9) y(x,t) = y T (x), x. More precisely, when 0 µ < p p µ, we need to prove that there exists a constant C such that for all y T L (), the solution of (.9) satisfies y(x,0) dx C y(x,t) dxdt. (.0) ω T 3
In order to prove (.0), we will use a particular Carleman estimate, which is by now a classical technique in control theory, see for instance [,, 3, 4]. Indeed, the Carleman estimate we will derive later implies that for any solution y of (.9) y(x,t) dxdt C y(x,t) dxdt, (.) ( T 4,3T 4 ) ω T which directly implies inequality (.0) since t y(t, ) L () is increasing by the Hardy inequality (.6). In fact, when µ p µ, multiplying (.9) by y, one obtains d y(t,x) µ dx = ydiv(p(x) y)dx dt x y(t,x) dx = 0+ p(x) y(t,x) µ dx x y(t,x) dx ( p y(t,x) µ ) x y(t,x) dx 0. (.) The Carleman estimate derived here is inspired by the works [6, 5] on -d degenerate heat equations, the recent paper [8] which is inspired from the methods and results in [6, 5] to obtain radial estimates. As in [6, 0, 5, 8], the major difficulty is to choose a special weight function appearing in the Carleman estimate. We adapt the same weight function with [9, 9, 8]. This paper is organized as follows. In Section, we show the sharp Carleman estimate. In Section 3., we give the proof of the Carleman estimate. In Section 3., we give some proofs of technical lemmas. In Section 4, we will prove that we cannot stabilize system (.) when µ > p µ and 0 / ω. In Section 5, we give some conclusions of this paper and point out that we can stabilize system (.) when 0 ω, for all µ. Null Controllability when 0 µ < p p µ In this section, we assume that 0 / ω. Moreover, for 0 µ < p p µ, we can take r is a fixed small positive constant which satisfies: 0 < r <, p p µ µ > 3p p 3 r, (.) Denote B r B(0,r), B r B(0,r).. Carleman Estimate B(0,r), B(0,r) ω =. (.) As said in the introduction, the main tool we use to address the observability inequality (.) is a Carleman estimate. However, since it is based on tedious computations, we postpone the proofs of several technical lemmas to Section 3. The major problem when designing a Carleman estimate is the choice of a smooth weight function σ, which is in general assumed to be positive, and to blow up as t goes to zero and as t goes to T. That is: { σ(x,t) > 0, (x,t) T, (.3) lim σ(x,t) = lim σ(x,t) = +, x. t 0 + t T 4
We propose the weight σ(x,t) = sθ(t) (e λsupψ ) x e λψ(x), (.4) where s and λ are positive parameters aimed at being large, and ψ is a smooth function satisfying ( ) ψ(x) = ln x r, x B r, ψ(x) = 0, x, (.5) ψ(x) > 0, x \B r, and there exists an open set ω 0 and δ > 0 such that ω 0 ω, ψ(x) δ, x \ω 0. (.6) The existence of such function ψ is not straightforward but can be easily deduced from the construction given in [0]. Finally, θ is taken as [9, 8], in the following form: ( ) k0 θ(t) =, (.7) t(t t) with k 0 > 0 to be chosen. Indeed, this is the key point that lead a shaper Carleman estimate. Note that the weight function σ defined by (.4) indeed satisfies (.3) and is smooth when λ is large enough. To simplify notations, let us denote by φ the function and denote φ(x) = e λψ(x) (.8) Θ \ ( B r ω 0 ), Θ \Br, Θ T Θ (0,T), ΘT Θ (0,T), ω 0,T ω 0 (0,T). We are now in position to state the Carleman estimate. Theorem.. Assume 0 µ < p p µ. Let γ be given such that 0 < γ <. Let σ,θ,ψ and φ be defined as above with k 0 = +/γ. There exist some positive constants C = C(,ω,T,γ,p,p,p 3,r,µ) > 0, independent of λ 0 such that, for all λ λ 0, there exists s 0 (λ) such that for all s s 0 (λ), the solutions of (.0) satisfy sλ Θ θφe σ w dxdt+ s T λ θe σ w dxdt σ w +s θe x T γ dxdt+s3 θ 3 e σ x w dxdt+s 3 λ 4 θ 3 φ 3 e σ w dxdt + s e 4λsupψ θ e σ wt dxdt+ s e 4λsupψ θφ e σ wt dxdt 5
Cs 3 λ 4 e ω λsupψ θ 3 φ 3 e σ w dxdt+c e σ g dxdt. (.9) T Here w satisfies: ± t w(x,t)+div(p(x) w(x,t)) + µ x w(x,t) = g(x,t), (x,t) T, w(x,t) = 0, (x,t) Σ T, w(x,t) = w T (x), x, (.0) where, w T L (), g L ( ). The proof of Theorem. is given in Section 3.. From the Caleman estimate to the Observability inequality In this Subsection, we explain why the Carleman estimate (.9) implies the observability inequality (.). We apply Theorem to (.9), so that we can fix λ > λ 0 and s > s 0 such that (.9) holds with w = y and g(x,t) 0. These parameters now enter in the constant C: σ y θe x T γ dxdt C θ 3 φ 3 e σ y dxdt. (.) ω T Noting the existence of constants C such that We see that, (.) implies (.). θe σ C, (x,t) x γ θ 3 φ 3 e σ C, [ T 4, 3T 4 (x,t) ω (0,T). 3 Proof of Carleman Estimates: Proof of Theorem. 3. Proof of Theorem. Now we prove Theorem.. 3..a. Notations and Preliminary Computations. We present the main ideals and steps of the proof of Theorem., using several technical lemmas, that are proved later in Subsection 3.. As usual in the proofs of Carleman inequalities, we define which obviously satisfies z(x, t) = exp( σ(x, t))w(x, t), (3.) z(t) = z(0) = 0, in H 0() (3.) due to the assumptions (.3) on σ. Then, plugging w = zexp(σ(x,t)) in the equation (.0), we obtain that z satisfies ± t z +div(p(x) z)+p σ z +p σ z ], 6
with the boundary condition +( σ)pz +( p σ)z ±( t σ)z + µ x z = ge σ, (x,t), (3.3) z = 0, (x,t) Σ T. (3.4) Following [9], since r is a fixed number, we define a smooth positive radial function α(x) = α( x ) such that α(x) = 0, x r ; α(x) = 3r, x n 4, 0 α(x) n, r Setting the operators S and A are defined as below: One easily deduces from (3.3) that Sz = div(p(x) z)+p σ z ±( t σ)z + µ x z, Az = ± t z +p σ z +(+α)p( σ)z +( p σ)z. Sz +Az = αp( σ)z +e σ g, x 3r 4. (3.5) Sz + Az + Sz,Az αp( σ)z + e σ g, (3.6) where denotes the L ( (0,T))norm and, denotes the correspondingscalar product. Especially, the inequality holds. Denote Az + Sz,Az αp( σ)z e σ g, (3.7) I = Sz,Az αp( σ)z. (3.8) Lemma 3.. The following equality holds: I = p ( σ ν) ν z [ dsdt+ p( p σ) αp σ ] z dxdt Σ T n p( σ z)( p z)dxdt p ( k j σ)( k z) j zdxdt k,j= [ ( ) + 3 (p ) α+(+α) (p ) + ] 4 p α σz dxdt {( ) } 3 + 4 (+α) (p )+p α ( σ) z dxdt + [ (+α)p σ + p ( p σ)+p ( p σ) ] z dxdt T + p( σ x) µ x 4 z dxdt+ αp( σ) µ x z dxdt ( t σ ) z dxdt T p( σ t σ)z dxdt± αp( t σ)( σ)z dxdt 7
+ [ ] σ (p ) σ +p ( σ ) σ z dxdt [ αp σ σ α p σ ) ] z dxdt, (3.9) where ν = ν, ν = ν(x) = (ν (x),...,ν n (x)) being the external unit normal vector on the boundary at x, and ds denotes the trace of the Lebesgue measure on. For the proof, see Subsection 3.. 3..b. First Step: Lower Bound of the Quantity I. We will decompose the term I in (3.9) into several terms that we handle separately. I = I l +I nl +I t. Here, we define I l asthe sum ofthe integralslinearin σ which donot haveanytime derivative, I nl asthesum ofthe integralsinvolvingnon-lineartermsinσ andwithout anytime derivative, and I t as the terms involving the time derivatives in σ. I l, I nl, and I t are as in (3.0), ( 3.3), and (3.5). About I l = ν z p [ ( σ ν)dsdt+ p( p σ) αp σ ] z dxdt Σ T n p( z σ)( z p)dxdt p i j σ i z j zdxdt i,j= [ ( ) + 3 (p ) α+(+α) (p ) + ] 4 p α σz dxdt ( ) 3 + 4 (+α) (p )+p α ( σ)z dxdt + [ (+α)p ( σ)+ p ( p σ)+p ( p σ) ] z dxdt T + p( σ x) µ x 4 z dxdt+ αp σ µ x z dxdt, (3.0) we have the following estimate: Lemma 3.. There exist some positive constants such that fo > 0 large enough, we have: I l C 0 sλ θφ z dxdt+c s θ z dxdt+c s θ T z x γ dxdt C 4 sλ θφ z dxdt C 5 sλ 4 θz dxdt C 6 sλ 4 θφz dxdt, (3.) ω 0,T where C 0 = n p δ > 0, C = p 3p p 3 r p µ µ > 0, and C = p µ µ > 0. The proof is given in Subsection 3.. Note that the proof of Lemma 3. uses an improved form of the Hardy inequality (.6), which can be found for instance in [4], namely: Lemma 3.3. For all l 0 and for all 0 < γ <, there exists a positive constant K 0 = K 0 (γ,l) > 0 such that µ z x dx+l z x γ dx z dx+k 0 z dx, z H0(). (3.) 8
We then consider I nl. I nl = [ ] σ (p ) σ +p ( σ ) σ z dxdt [ + αp σ σ α p σ ) ] z dxdt. (3.3) Using (.4), we shall prove in Subsection 3. that Lemma 3.4. For any λ > 0 large enough, there exists s (λ) > 0 such that for s s (λ), I nl C 7 s3 λ 4 θ 3 φ 3 z dxdt+c 8 s 3 θ 3 x z dxdt C 9 s 3 λ 4 ω 0,T θ 3 φ 3 z dxdt. (3.4) We finally estimate I t. I t = t σz dxdt p( σ t σ)z dxdt± αp t σ σz dxdt. (3.5) We further add to I t the last two integrals appearing in (3.) that we want to get rid of and define I r = I t C 5 sλ 4 θz dxdt C 6 sλ 4 θφz dxdt. (3.6) In Subsection 3., we shall prove that Lemma 3.5. For any λ > 0 large enough, there exists s 0 (λ) s (λ) such that for s s 0 (λ), I r C T s θ z x γ dxdt+ C 7 4 s3 λ 4 θ 3 φ 3 z dxdt + C 8 s3 θ 3 x z dxdt, (3.7) where C is as in (3.), and C 7, C 8 are as in (3.4). I: Noting (3.6) and applying (3.), (3.4) and (3.7) in (3.9), we obtain a lower bound of I C 0 sλ θφ z dxdt+c s θ z dxdt+ C T s θ z x γ dxdt + C 7 4 s3 λ 4 θ 3 φ 3 z dxdt+ C 8 s3 θ 3 x z dxdt T C 9 s 3 λ 4 θ 3 φ 3 z dxdt C 4 sλ θφ z dxdt. (3.8) ω 0,T ω 0,T 3..c. Second Step: Estimate of the Time Derivative. Next, we proceed to the estimate of the time derivative of the solution. We recall that, by (3.6), we have ± t z = Az p( σ z) (+α)p( σ)z ( p σ)z (3.9) 9
In order to estimate z t, we proceed separately in B r (0,T) and in. Firstly, we note that, (x,t), j,k =,...,n, j σ Csλθφ, k j σ Csλ θφ, σ Csλ 3 θφ, σ Csλ 4 θφ. (3.0) Here and henceforth, all the constants C are positive and in dependent of s and λ. We will verify (3.0) in the appendix. For s and λ > 0 large enough but independent of s, (3.9) and (3.0) yield sλ θφ z t dxdt C sλ θφ Az dxdt+csλ θφ z dxdt +Csλ Θ 3 θφz dxdt+csλ θφz dxdt T 4 Az + C 0 4 sλ θφ z dxdt+ C 7 8 s3 λ 4 θ 3 φ 3 z dxdt, (3.) where C 0 and C 8 are constants appearing in (3.8), and denotes as in Subsection 3..a. In B r (0,T), all the computations are explicit. For λ, by Appendix, we have j σ Csλθ x, k j σ Csλ θ, σ Csλ 3 θ, σ Csλ 4 θ. (3.) Then, by (3.9) and (3.), we deduce that sλ 5 θ z t dxdt C sλ 5 θ Az dxdt+ C λ 3s θ x z dxdt + C λ s θz dxdt+ C λ 3s θ x z dxdt C sλ 5 Az + Cr λ 3 s θ z dxdt+ C λ s T θ z x γ dxdt. Finally, we get for s and λ > 0 large enough but independent of s: sλ 5 θ z t dxdt 4 Az + C s θ z dxdt+ C 4 s where C is the constant appearing in (3.8). 3..d. Partial Conclusion: Estimates in z. By (3.7), (3.8), (3.8), (3.) and (3.3), we conclude that C 0 4 sλ + C 7 8 s3 λ 4 + sλ 5 θ T z dxdt, (3.3) x γ θφ z dxdt+ C 4 T s θ z x γ dxdt+ C s θ z dxdt T θ 3 φ 3 z dxdt+ C 8 s3 θ 3 x z dxdt T θ z t dxdt+ sλ θφ z t dxdt I + Az +C 4 sλ θφ z dxdt+c 9 s 3 λ 4 θ 3 φ 3 z dxdt ω 0,T ω 0,T e σ g +C 4 sλ θφ z dxdt+c 9 s 3 λ 4 θ 3 φ 3 z dxdt, (3.4) ω 0,T ω 0,T 0
where we used (3.7) in the last inequality. 3..e. Final Conclusion: Estimates in w. To conclude the proof of Theorem., it now remains to undo the change of variable z = e σ w and deduce from (3.4) the required estimate in terms of w. In fact, the proof is similar to Subsection V..e in [9] except the following Lemma 3.7. First of all, we compute e σ w = z + σ z +( σ z)z z + σ z. (3.5) Thus, by (3.0) and (3.), we have sλ θφe σ w dxdt Cs 3 λ 4 θ 3 φ 3 z dxdt+csλ θφ z dxdt, (3.6) s λ θe σ w dxdt Cs 3 θ 3 x z dxdt+c s λ θ z dxdt, (3.7) which can be estimates by the right hand side of (3.4). Next we compute e σ w t = z t +sθ (e λsupψ x e λψ )z. Similarly to (V.9)-(V.) in [9], using the fact that θ Cθ +/k0 and Young inequality, taking k 0 = +/γ and λ > 0 large enough but independent of s, we can obtain s e 4λsupψ θ e σ wt dxdt C s e 4λsupψ θ z t dxdt+cs θ 3 x z dxdt+cs θ T z dxdt, (3.8) x γ which can be estimated by the right hand side of (3.4). For (x,t) Θ, similarly to (V.8) in [9], by φ, and k 0 >, we have s e 4λsupψ θφ e σ wt dxdt C s e 4λsupψ θφ z t dxdt+cs z dxdt, φ θ+/k0 C s e 4λsupψ θφ z t dxdt+cs θ 3 φ 3 z dxdt, which can be estimates by the right hand side of (3.4). On the other hand, by (3.5), we have Hence z = e σ w σ z ( σ z)z. z e σ w + σ z + z +C σ z. (3.9)
Hence, using (3.0), we get (x,t) ω 0,T, z e σ w +Cs λ θ φ z. Thus, sλ θφ z dxdt sλ θφe σ w dxdt+cs 3 λ 4 ω 0,T ω 0,T ω 0,T θ 3 φ 3 z dxdt. (3.30) Finally, by using the fact that ω 0 ω and the fact that z = e σ w, the combination of (3.6)- -(3.30) yields sλ Θ θφe σ w dxdt+ s T λ θe σ w dxdt +s θe T σ w x γ dxdt+s3 λ 4 θ 3 φ 3 e σ w dxdt+s 3 θ 3 e σ x w dxdt + s e 4λsupψ θ e σ wt dxdt+ s e 4λsupψ θφ e σ wt dxdt C g e σ dxdt+csλ θφe σ w dxdt ω 0,T +Cs 3 λ 4 ω T θ 3 φ 3 e σ w dxdt. (3.3) Next, we use the following Lemma Inequality: Lemma 3.6. (Cacciopoli sinequality). Forσ,ψ,θ,k 0 andφbedefined asabovein thispaper, there exists a constant C > 0 (independent of 0 µ p µ (n) and of s and λ) such that for any λ > 0 large enough and for any s >, any solution w of (.0) satisfies θφe σ w dxdt Cs e λsupψ ω 0,T ω T θ 3 φ 3 e σ w dxdt+ sλ ω T e σ g dxdt. (3.3) The proof of lemma 3.7 is similar to the proof of Lemma III.3 in [8]. For completeness, we will prove Lemma 3.7 in Subsection 3.. Thus, using (3.3) and (3.3), we deduce (.9). This ends the proof of Theorem.. 3. Proofs of Technical Lemmas Here we present the proofs of the technical Lemmas stated in Subsection 3.. Proof of Lemma 3.. To make the computations easier, we define S z = div(p z), S z = pz σ, S 3 z = ±σ t z, S 4 z = µ x z, A z = ± t z, A z = p( σ z), A 3 z = (+α)p( σ)z, A 4 z = ( p σ)z, and denote by I ij the scalar product S i,a j. We will compute each term using integration by parts and the boundary conditions (3.) and (3.4). Thus, I = 4 k,j= I kj α p ( σ) z dxdt.
Computation of I : By (3.) and (3.4), we have ( I = ± ) t (p z )dxdt = 0. Computation of I : Note that, since z vanishes on the boundary, its gradient z on the boundary is normal to the boundary, and therefore z = ν z ν on Σ T, where ν denotes the unit outward normal vector on the boundary. I = p ( σ ν) ν z dsdt p( σ z)( p z)dxdt Σ T n + p( σ p) z dxdt+ p ( σ) z dxdt p ( k j σ)( k z) j zdxdt. k,j= Computation of I 3 : Integrating by parts and using (3.4), we have [ ( ) I 3 = 3 (p ) α+(+α) (p ) + ] 4 p α ( σ)z dxdt ( ) 3 + 4 (+α) (p ) ( σ)+p α ( σ) z dxdt + (+α)p ( σ)z dxdt (+α)p ( σ) z dxdt. Computation of I 4 : I 4 = [ p ( p σ)+p ( p σ)] z dxdt p( p σ) z dxdt. Computation of I : I = p( σ t σ)z dxdt. Computation of I : [ I = σ (p ) σ +p ( σ ) σ ] z dxdt p σ ( σ)z dxdt. Computation of I 3 : Computation of I 4 : Computation of I 3 : I 3 = (+α)p σ ( σ)z dxdt. I 4 = p( p σ) σ z dxdt. I 3 = ( t σ ) z dxdt. 3
Computation of I 3 : Integrating by parts and using (3.4), we have I 3 = [( p σ) t σ +p ( σ) t σ +p ( σ t σ)]z dxdt. Computation of I 33 : Computation of I 34 : Computation of I 4 : I 33 = ± (+α)p( t σ)( σ)z dxdt. I 34 = ± ( t σ)( σ p)z dxdt. ( ) µ I 4 = ± t x z dxdt = 0. Computation of I 4 : I 4 = p ( σ x) µ x 4z dxdt ( σ p) µ µ x z dxdt p ( σ) x z dxdt. Computation of I 43 : Computation of I 44 : µ I 43 = (+α)p ( σ) x z dxdt. µ I 44 = ( σ p) x z dxdt. By these computations, we obtain (3.9) in Lemma 3.. Proof of Lemma 3.. We decompose I l as I l = I l, +I l,, where I l, and I l, are the terms in I l corresponding respectively in and in B r (0,T). First, let us compute I l,. By the appendix, we have I l, s θp [x ν +λφ( ψ ν)] ν z dsdt Σ T +s αp θ(n+λφ ψ +λ φ ψ ) z dxdt+sλ φp θ( ψ z) dxdt Θ T +s pθ[x z +λφ( ψ z)]( p z)dxdt 4
s pθ[x p+λφ( ψ p)] z dxdt n +s p θ (δ ij +λφ i j ψ) i z j zdxdt Csλ 4 θφ z Θ dxdt. (3.33) T i,j= Besides, due to the particular choice of ψ, and especially (.6), the boundedness of Θ, and (.4), (3.5), one can obtain following estimates: αp ψ z n p δ z, (x,t) Θ T, p ψ z C z, (x,t) ω 0,T, (3.34) ψ + ψ + ψ + ψ C, (x,t). Then fo > 0 large enough, we have I l, s θp [x ν +λφ( ψ ν)] ν z dsdt (3.35) Σ T +C 0 sλ θφ z dxdt Csλ 4 θφ z dxdt Csλ θφ z dxdt, Θ T ω 0,T where C 0 = n p δ. Moreover, due to the properties (.5) and (.6)fo > 0 large enough,, the sum of boundary terms in the RHS of (3.35) is positive. Indeed, from (.5) and (.6), for (x,t) Σ T, ψ ν = ψ δ, φ =, and thus fo large enough, Thus, I l, C 0 sλ x ν +λφ( ψ ν) = x ν λ ψ x ν λδ 0. θφ z dxdt Csλ 4 θφ z dxdt Csλ ω 0,T θφ z dxdt. (3.36) Next, we compute I l,. In this case, using Appendix and the fact that α vanishes in B(0,r/) by (3.5), fo 4 large enough, all the computations are explicit: I l, s +s s +s +s s pθ (+λ x λ αp θ [n+(n )λ x λ pθ p θ (+λ x λ (+λ x λ ) ( z p)( z x)dxdt ] +λ x λ z dxdt ) ( p x) z dxdt ) z dxdt p θλ(λ ) x λ 4 z x dxdt pθ µ x z dxdt Csλ 4 θz dxdt. (3.37) 5
Noting that r is a fixed number defined by (.), θ only depends on the time variable t and α is non-negative by (3.5), and using (.4), we obtain that fo > large enough, there exists a constant C > 0 such that I l, s Csλ 4 s θ θ { p(p 3p 3 r) θz dxdt (+λ x λ ( p (p 3p 3 r) z p µ ) } z µ p x z dxdt x z ( ) s θ p (p 3p 3 r) z µ p x z dxdt Csλ 4 θz dxdt Cs θ z dxdt. T ) dxdt Csλ 4 θz dxdt Thus, from the Hardy improved inequality (3.) with l =, one obtain, for 0 µ < p p µ < p µ, p x dx p µ µ µ z Then fo > 0 large enough, one has I l, s θ ( p 3p p 3 r p µ z µ z dx+p µ x γ dx K µ 0p µ z dx, µ Csλ 4 θz dxdt Cs θ z dxdt T = C s ) z µ dxdt+p µ T s θ z x γ dxdt θ z dxdt+c s θ T z x γ dxdt Csλ 4 θz dxdt Cs θ z dxdt. (3.38) T Here, C = p 3p µ µ p 3 r p µ, C = p µ > 0. Hence, fo > 0 large enough, combining (3.36) and (3.38) gives Lemma 3.. Proof of Lemma 3.4. Similarly, we denote I nl = I nl, + I nl,, where I nl, and I nl, being the terms in I nl corresponding respectively in and in B r (0,T). First, we compute I nl, similarly to [9, 0]. By Appendix, (.5), (.6) and (3.5), and Θ = Θ ω 0, fo > and s > 0 large enough, one obtains I nl, s 3 λ 4 ( α)p θ 3 φ 3 ψ 4 z dxdt Cs 3 λ 3 θ 3 φ 3 z dxdt Θ T C 7 s 3 λ 4 θ 3 φ 3 z dxdt Cs 3 λ 4 θ 3 φ 3 z dxdt, (3.39) ω 0,T where, C 7 = p δ4. 6
Next, we compute I nl,. I nl, = s 3 +s 3 +s 3 s 3 s ( α)p θ 3 (λ λ) x λ (+λ x λ ( ) 3 p θ 3 +λ x λ x z dxdt pθ 3 ( +λ x λ nαp θ 3 ( +λ x λ ) 3 ( p x) x z dxdt ) 3 x z dxdt α p θ ( n+λ(λ+n ) x λ ) z dxdt ) z dxdt. (3.40) Then for all (x,t) B r (0,T), and by the definition of α, taking s (λ) > 0 large enough,, for instance s (λ) > Cλ 4, we can obtain that ( ) α s p θ n+λ(λ+n ) x λ n 3 αs3 p θ 3 (+λ x λ ) 3 x, (3.4) for s > s (λ). Combining (.4), (.), (3.5), (3.40), (3.4), there exist a constant C 8 > 0 such that fo and s large enough, one has I nl, s 3 s 3 s 3 C 8 s 3 ( ) 3 ( θ 3 +λ p{ x λ p nα nα 3 ) θ 3 ( +λ x λ θ 3 ( +λ x λ ) 3 ( p 3 p p 3r x z dxdt ) 3 ( ) p 3 p p 3 r x z dxdt ) } p x x z dxdt θ 3 x z dxdt. (3.4) Here, C 8 = 3 p µ µ. Combining (3.39) and (3.4), we completed the proof of Lemma 3.4. Proof of Lemma 3.5. Let λ > be large enough. We note that θθ Cθ 3, θ Cθ 3, θ Cθ 3, θ Cθ +/k0, t (0,T). (3.43) By (.4), (3.43), Appendix and the definition of σ, ψ and ξ, one can obtain and (x,t), t σ se λsupψ θ, j t σ Cs θ λφ (3.44) (x,t) B r (0,T), t σ se λsupψ θ, j t σ Cs θ λ x. (3.45) 7
We can follow the proof of Lemma V.4 in [9]. Similarly to Section V.3 in [9], by (.), we have ( I r C s λ +s λ e λsupψ +se λsupψ ) β q θ 3 x z dxdt +C ( s λ e λsupψ +s λ ) ΘT θ 3 φ 3 z dxdt+c 0 se λsupψ β q θ z x γ dxdt for some constant β > 0, where q = +γ γ, q = +γ. For any given λ > 0, we can choose β = β(λ) such that Hence we deduce for some constant C > 0. It followings that C 0 e λsupψ β q = C. β q = Ce(4λsupψ)/γ I r C (s λ +s λ e λsupψ +se λsupψ(+4/γ)) θ 3 x z dxdt ( +C s λ e λsupψ +s λ ) ΘT θ 3 φ 3 z dxdt+ C T s θ z x γ dxdt. For any λ > 0, there exists s 0 (λ) > s (λ) such that for all s s 0 (λ), one has C ( s λ +s λ e λsupψ +se λsupψ(+4/γ)) C 8 s3 and ( C s λ e λsupψ +s λ ) C 7 4 s3 λ 4. Therefore we obtain the inequality stated in Lemma 3.5. Proof of Lemma 3.7. Let us recall that ω and ω 0 satisfy ω 0 ω and let us consider a smooth function ξ : R such that 0 ξ(x), x, ξ(x) =, x ω 0, (3.46) ξ(x) = 0, x \ ω, where ω 0 ω ω. By (.3), (.7) and (.0), one get T d 0 = θφξ e σ w dxdt 0 dt ω = θφξ t σe σ w dxdt+ θφξ e σ ww t dxdt+ θ φξ e σ w dxdt ω T ω T ω T 8
= θφξ t σe σ w dxdt ω T + θφξ ωt e σ µ w x dxdt ( θφξ e σ wdiv(p w)dxdt ω T ) θφξ e σ wgdxdt + θ φξ e σ w dxdt. ω T ω T It follows that θφpξ e σ w dxdt ω T = ± θφξ t σe σ w dxdt θ φξ e σ w dxdt 4 θφpξe σ w( ξ w)dxdt ω T ω T +4 θφpξ e σ w( σ w)dxdt+ θφξ ω T ωt e σ µ w x dxdt θφξ e σ wgdxdt ω T λ θφpξ e σ w( ψ w)dxdt. ω T By(.3), (.4), (.)and(3.0), thereexistsomepositiveconstantsc 3,C 4,C 5 (independent of s and λ) and ǫ,ǫ,ǫ 3 such that the following inequalities hold: 4θφpξe σ w( ξ w) ( ) C3 θφξe σ w w C 3 θφe σ w +ǫ θφξ e σ w, ǫ 4θφpξ e σ w( σ w) C 4 sλθ φ ξ e σ w w C 4 ( ǫ θφξ e σ w + ǫ s λ φ 3 θ 3 ξ e σ w ), θφξ e σ wg sλ ξ e σ g +sλ ξ θ φ e σ w, λθφpξ e σ w( ψ w) C 5 λθφξ e σ w w ( C 5 ǫ 3 θφξ e σ w + ) λ θφξ e σ w. ǫ 3 Let ǫ,ǫ,ǫ 3 satisfy : p = C 3 ǫ +C 4 ǫ +C 5 ǫ 3, where p is as in (.4). Therefore, by (3.43) and (3.44), for µ p µ, one can obtain θφe σ w dxdt θφξ e σ w dxdt ω 0 (0,T) C +C ω (0,T) ω (0,T) ω (0,T) θφξ t σ e σ w dxdt+c θφe σ w dxdt+cs λ ω (0,T) ω (0,T) + θφξ e σ µ ω (0,T) x w dxdt+ sλ +sλ θ φ ξ e σ w dxdt+cλ ω (0,T) C(se λsupψ ++s λ +sλ +λ ) + sλ e σ g dxdt. ω (0,T) 9 ω (0,T) ω (0,T) ω (0,T) θ φξ e σ w dxdt θ 3 φ 3 ξ e σ w dxdt ξ e σ g dxdt θφξ e σ w dxdt θ 3 φ 3 e σ w dxdt
Then, fo large enough, we get (3.3). Note that all of the constants in the proof of Lemma 3.7 are independent of µ,s,λ. This ends the proof of Lemma 3.7. 4 Non Uniform Stabilization in the Case µ > p µ As in [9], followingthe ideas ofoptimalcontrol, for anyu 0 L (), weconsiderthe functional defined on the set J u0 (u,f) = u(t,x) dxdt+ T 0 f(t) H () dt, (4.) U(u 0 ) = {(u,f) L ((0,T);H 0()) L ((0,T);H ())such that (4.) usatisfies (.) with f as in (.5)}. We say that we can stabilize system (.) if we can find a constant C such that u 0 L (), inf J u 0 (u,f) C u 0 L (u,f) U(u (). (4.3) 0) Of course, this property strongly depends on the set ω where the stabilization is effective. Especially, when 0 ω, (4.3) holds (see Section 5). When 0 / ω, the situation is more intricate. Therefore we focus our study on this particular case, and give a severe obstruction, in this case, to the stabilization property (4.3). More precisely, for ǫ > 0, we approximate (.) by the systems t u(x,t) div(p(x) u(x,t)) µ x +ǫ u(x,t) = f(x,t), (x,t) T, u(x,t) = 0, (x,t) Σ T, (4.4) u(x,0) = u 0 (x), x. For these approximate problems, the Cauchy problem is well-posed. Therefore we can consider the functionals Ju ǫ 0 (f) = u(t,x) dxdt+ T f(t) H () dt, (4.5) where f L ((0,T);H ()) is localized in ω in the sense of (.5) and u is the corresponding solution of (4.4). We prove the following: Theorem 4.. Assume that µ > p µ, and that 0 / ω. There is no constant C such that for all ǫ > 0, and for all u 0 L (). 0 inf f L ( (0;T);H () ) Ju ǫ 0 (f) C u 0 L (). (4.6), f as in (.5) In particular, this result implies that the stabilization of (.) is impossible to attain through regularization processes when µ > p µ and 0 / ω, and that we cannot prevent the system from blowing up. 0
The goal of this section is to prove Theorem 4.. The proof will rely on the proof of Theorem. in [9]. It is divided into two main steps. First, we prove some basic estimates on the spectrum of the operator L ǫ = div(p(x) ) µ x +ǫ (4.7) on with Dirichlet boundary conditions, especially on the first eigenvalue λ ǫ 0 and the corresponding eigenfunction φ ǫ 0. This will be done in Subsection 4.. Second, we verify Theorem 4. in Subsection 4. by giving a lower bound on the quantity that goes to infinity when ǫ 0. J ǫ φ ǫ 0 4. Spectral Estimates Since for ǫ > 0, the function /( x +ǫ ) is smooth and bounded in, the spectrum of L ε is formed by a sequence of real eigenvalues λ ǫ 0 λǫ λǫ n, with λǫ n + when n. The corresponding eigenvectors φ ǫ n are a basis of L (), orthonormal with respect to the L scale product. We choose φ ǫ n of unit L norm. In the sequel, we focus on the bottom of the spectrum - the most explosive mode. Lemma 4.. Assume that µ > p µ. Then we have that and for all τ > 0, lim ǫ 0 λǫ 0 =, (4.8) lim ǫ 0 φǫ 0 H (\B(0,τ)) = 0. (4.9) Proof. We argue by contradiction, and assume that λ ǫ 0 is bounded from below for a subsequence by a real number C. Then, from the Rayleigh formula (e.g., Remark (ii) of Theorem in Chapter 6.5 of []), we get ǫ > 0, u H0(), u µ x +ǫ dx p u dx C u dx. Taking u (), we pass to the limit ǫ 0 and get u µ x dx p u dx C u dx, (4.0) that must therefore hold for any u H 0() by a density argument. Now, there exists τ 0 > 0 such that B(0,τ 0 ). We then choose u H 0 (B(0,τ 0)) that we extend by 0 on R n, and define for a u a (r) = a n u(ar). These functions are in H0 (B(0,τ 0)), and therefore in H0 (), and we apply (4.0) to them: a (µ u ) x dx p u dx dx C u dx.
Passing to the limit a, we obtain that u H0(B(0,τ 0 )), µ u x p u dx. Therefore we should have that µ p µ, since this is the Hardy inequality (.6) in the set B(0,τ 0 ), and then we have a contradiction. Now, consider the first eigenvector φ ǫ 0 H 0() of L ǫ : div(p φ ǫ 0 ) µ x +ǫ φǫ 0 = λǫ 0 φǫ 0, x. (4.) Remark that since the potential is smooth in, the function φ ǫ 0 is smooth by classical elliptic estimates. Set τ > 0. Let ǫ > 0 be sufficiently small such that λ ǫ 0 < 0. Let η τ be a nonnegative and sufficiently smooth function that vanishes in B(0,τ/) and equals in R n \B(0,τ) with η τ. Multiplying (4.) by η τ φ ǫ 0 and integrating by parts, we get: η τ p φ ǫ 0 dx+ λ ǫ 0 η τ φ ǫ φ ǫ 0 0 dx = µ η τ x dx (4.) +ǫ + φ ǫ 0 p η τ dx+ φ ǫ 0 ( η τ p)dx. Therefore, since φ ǫ 0 is of unit L norm, due to the particular choice of η τ, we get λ ǫ 0 φ ǫ 0 dx 4µ τ +C η τ C (). \B(0,τ) Since λ ǫ 0 when ǫ 0, we get that for any τ > 0, φ ǫ 0 dx = 0. (4.3) lim ǫ 0 \B(0,τ) Besides, still using (4.) and the particular form of η τ ( ) 4µ φ ǫ 0 dx C \B(0,τ) τ + η τ C () φ ǫ 0 dx. \B(0,τ/) Therefore the proof of (4.9) is completed by using (4.3) for τ/ instead of τ. 4. Proof of Theorem 4. Fix ǫ > 0, and choose u ǫ 0, which is of unit L -norm. Our goal is to prove that inf f L ( (0;T);H () ) Ju ǫ 0 (f), ǫ 0. (4.4), f as in (.5) Let f L ( (0;T);H () ),f as in (.5), and consider u the corresponding solution of (4.4) with initial data u 0 = φ ǫ 0. Set a(t) = u(t,x)φ ǫ 0(x)dx, b(t) = f(t),φ ǫ 0 H () H0 ().
Then a(t) satisfies the equation a (t)+λ ǫ 0a(t) = b(t), a(0) =. We refer to Section 3. in [9], so that for any f L ( (0;T);H () ),f as in (.5), we get { Ju ǫ e λǫ 0 T λ ǫ ( 0 (f) inf 6 λ ǫ 0, 0 e λǫ T)} 0. 4 φ ǫ 0 H (ω) This bound blows up when ǫ 0 from the estimates (4.8) and (4.9). Indeed, since 0 / ω, we can choose τ > 0 small enough such that ω \B(0,τ) and therefore 5 Conclusions φ ǫ 0 H (ω) φǫ 0 H (\B(0,τ)) 0, ǫ 0. In this article we studied a parabolic equation with variable coefficients in the principal part, which have an inverse-square potential µ/ x, from a control point of view, in the case 0 µ < p p µ, and the case µ > p µ. When 0 µ < p p µ, we have addressed the null-controllability problem for a distributed control in an arbitrary open subset of. To this end, we have derived a Carleman inequality (.9) inspired by the articles [9, 0, 9] and [8]. When µ > p µ, we have shown that we cannot uniformly stabilize regularized approximations of system(.) with a control supported in ω when 0 / ω as in [9]. To complete this result, as in [9], we comment the case 0 ω, for which the stabilization property (4.) holds. Given u 0 L (), we claim that we can find u L ((0,T);H0()) and f L ((0,T);H ()) as in (.5) such that u is the solution of (.) and that J u0 (u,f) C u 0 L (). Indeed, asin[9], byχasmoothfunctionthatequalsinaneighborhoodof0andvanishing outside ω. Then consider the solution u of t u(x,t) div(p u(x,t)) ( χ) µ x u(x,t) = 0, (x,t) T, u(x,t) = 0, (x,t) Σ T, u(x,0) = u 0 (x), x, which satisfies u L ((0,T);H0 ()), and u L (0,T;H0 ()) C u 0 L for some constant C. Then taking f = χµu/ x L ((0,T);H ()) provides an admissible stabilizer with the required property (.5). The same argument can also be applied to derive the null controllability property for (.) when 0 ω. Indeed, the results in [0] proves that there exists a control v L ((0,T) ω) such that the solution of t u(x,t) div(p u(x,t)) ( χ) µ x u(x,t) = v, (x,t) T, u(x,t) = 0, (x,t) Σ T, u(x,0) = u 0 (x), x. satisfies u(t) = 0. Besides, the norms of v in L ((0,T) ω) and u in L ((0,T);H 0()) are bounded by the norm of u 0 in L (). Then taking f = v + µχu/ x provides a control in L ((0,T);H ()) for (.) that drives the solution to 0 in time T. 3
Acknowledgements The first author is supported by the scholarship from China Scholarship Council (CSC). Appendix By (.4) and direct calculations, we have t σ = sθ (e λsupψ x eλψ ), k σ = sθ(x k +λφ k ψ), j k σ = sθ(δ jk +λφ j k ψ +λ φ( j ψ) k ψ), j k m σ = sθ{λφ j k m ψ +λ φ( j ψ) k m ψ +λ φ( j k ψ) m ψ +λ φ( j m ψ) k ψ +λ 3 φ( j ψ)( k ψ) m ψ}, n { n ( ) j kσ = sθ λφ j kψ +λ φ( j k ψ) +4λ φ( j k ψ) k ψ +4λ 3 φ( j ψ)( k ψ) k j ψ j,k= j,k= } +λ 4 φ ψ 4 +λ φ( ψ) +λ 3 φ ψ ψ. In B r, we have References φ = x λ, kψ = x k x, j k ψ = δ kj x x kx j x 4, k j m ψ = δ mjx k x 4 δ kmx j x 4 δ kjx m x 4 +8 x mx j x k x 6, n j kψ = ( n +n 6) x 4. j,k= [] Benabdallah, A., Dermenjian, Y., Le Rousseau, J.(007) Carleman estimates for the onedimensional heat equation with a discontinuous coefficient and applications to controllability and an inverse problem. J. Math. Anal. Appl. 336 : 865-887. [] Baras, P., Goldstein, J. (984) The heat equation with a singular potential. Trans. Amer. Math. Soc. 84 : - 39. [3] Baras, P., Goldstein, J.(984) Remarks on the inverse square potential in quantum mechanics. In: Knowles, I., Lewis, R., eds. Differential Equations. North-Holland Mathematical Studies, Vol.9. Amsterdam : North-Holland, pp. 3-35. [4] Brezis, H., Vzquez, J.L.(997) Blow-up solutions of some nonlinear elliptic equations. Rev. Mat. Complut. 0: 443-469. [5] Bebernes, J., Eberly, D.(989) Mathematical Problems from Combustion Theory. Applied Mathematical Sciences, Vol.83. Berlin : Springer-Verlag. [6] Cabr, X., Martel,Y.(999) Existence versus explosion instantane pour des quations de la chaleur linaires avec potentiel singulier [Existence versus instantaneous blow-up for linear heat equations with singular potential]. C. R. Acad. Sci. Paris 39: 973-978. [7] Dold, J.W., Galaktionov, V.A., Lacey, A.A., Vzquez, J.L.(998) Rate of approach to a singular steady state in quasilinear reaction-diffusion equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. 6: 663-687. 4
[8] de Castro, A.S.(004) Bound states of the Dirac equation for a class of effective quadratic plus inversely quadratic potentials. Ann. Physics 3: 70-8. [9] Ervedoza, S.(008) Control and stabilization properties for a singular heat equation with an inverse square potential. Comm. Part. Diff. Eqs. 33: 996-09. [0] Fursikov, A. V., Imanuvilov, O. Y.(996) Controllability of Evolution Equations. Volume 34 of Lecture Notes Series. Seoul: Seoul National University Research Institute of Mathematics Global Analysis Research Center. [] Fernndez-Cara, E., Guerrero, S., Imanuvilov, O. Y., Puel, J.-P.(006) Some controllability results for the N-dimensional NavierCStokes and Boussinesq systems with N- scalar controls. SIAM J. Control Optim. 45: 46-73. [] Fernndez-Cara, E., Gonzlez-Burgos, M., Guerrero, S., Puel, J.-P.(006) Null controllability of the heat equation with boundary Fourier conditions: the linear case. ESAIM Control Optim. Calc. Var. : 44-465. [3] Fernndez-Cara, E., Zuazua, E.(000) Null and approximate controllability for weakly blowing up semilinear heat equations. Ann. Inst. H. Poincar Anal. Non Linaire 7: 583-66. [4] Fernndez-Cara, E., Zuazua, E.(000) The cost of approximate controllability for heat equations: the linear case. Adv. Differential Equations 5: 465-54. [5] Garcia Azorero, J. and Peral, I.(998) Hardy inequalities and some criticial elliptic and parabolic problems, J. Differential Equations. 44, 44-476. MR 99f: 35099. [6] Goldstein, J.A. and Zhang, Qi S.(003) Linear Parabolic Equations with Strong Singular Potentials[J]. Transactions of the American Mathematical Society. 355(): 97-. [7] Goldstein, J.A. and Zhang, Qi S.(00) On a degenerate heat equation with a singular potential, J. Functional Analysis. 86, 34-359. [8] Galaktionov, V., Vzquez, J.L.(997) Continuation of blow-up solutions of nonlinear heat equations in several space dimensions. Comm. Pure Appl. Math. : - 67. [9] J. Vancostenoble.(0) Lipschitz stability in inverse source problems for singular parabolic equations[j]. Communications in Partial Differential Equations, 36(8): 87-37. [0] Klibanov, M.V.(99) Inverse problems and Carleman estimates. Inverse Problems. 8: 575-596. [] Lieberman, Gary M.(996) Second Order Parabolic Differential Equations. World Scientific Publishing Co., Inc., River Edge, NJ. MR. 98k: 35003. [] Lawrence C. Evans.(00) Partial Differential Equations Second Edition. [3] Lions, J.-L. Contrôlabilité Exacte, Stabilisation et Perturbations de Systémes Distribués [Exact Controllability, Perturbation and Stabilization of Distributed Systems. Volume : Exact Controllability]. Tome. Contrôlabilité exacte, Volume RMA 8. Paris: Masson. [4] Maz ja, V. G.(985) Sobolev Spaces. Springer Series in Soviet Mathematics. Translated from the Russian by T. O. Shaposhnikova. Berlin : Springer-Verlag. [5] Martinez, P., Vancostenoble, J.(006) Carleman estimates for one-dimensional degenerate heat equations. J. Evol. Equ. 6(): 35-36. [6] Reed, M., Simon, B.(979) Methods Of Modern Mathematical Physics, Vol. II. New York: Academic Press. [7] U.Biccari, E.Zuazua.(06) Null controllability for a heat equation with a singular inverse- square potential involving the distance to the boundary function. Journal of Differential Equations 6:5, 809-853. [8] Vancostenoble, J., Zuazua, E.(008) Null controllability for the heat equation with singular inverse-square potentials. J. Funct. Anal. 54: 864-90. [9] Vancostenoble, J., Zuazua, E.(009) Hardy inequalities. Observability and control for the wave and Schrödinger equations with singular potentials. SIAM J. Math. Anal. 4: 508-53. [30] Vazquez, J. L. and Zuazua, E.(000) The Hardy inequality and the asymptotic behavior of the heat equation with an inverse-square potential, J. Funct. Anal. 73, no., 03-53. MR 00j: 35. 5