arxiv: v1 [math.ap] 13 Nov 2018
|
|
- Άφροδίτη Δοξαράς
- 5 χρόνια πριν
- Προβολές:
Transcript
1 arxiv: v [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. qx3@mail.ustc.edu.cn. shuminli@ustc.edu.cn.
2 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
3 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
4 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
5 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
6 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
7 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 {( ) } (+α) (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
8 + [ ] σ (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 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 ( ) (+α) (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
9 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
10 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
11 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)
12 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.
13 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 ( ) (+α) (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
14 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
15 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
16 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
17 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
18 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
19 = θφξ 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
20 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 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
21 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.
22 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 ().
23 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
24 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 : [] Baras, P., Goldstein, J. (984) The heat equation with a singular potential. Trans. Amer. Math. Soc. 84 : [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 [4] Brezis, H., Vzquez, J.L.(997) Blow-up solutions of some nonlinear elliptic equations. Rev. Mat. Complut. 0: [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: [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:
25 [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: [9] Ervedoza, S.(008) Control and stabilization properties for a singular heat equation with an inverse square potential. Comm. Part. Diff. Eqs. 33: [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: [] 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. : [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: [4] Fernndez-Cara, E., Zuazua, E.(000) The cost of approximate controllability for heat equations: the linear case. Adv. Differential Equations 5: [5] Garcia Azorero, J. and Peral, I.(998) Hardy inequalities and some criticial elliptic and parabolic problems, J. Differential Equations. 44, MR 99f: [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, [8] Galaktionov, V., Vzquez, J.L.(997) Continuation of blow-up solutions of nonlinear heat equations in several space dimensions. Comm. Pure Appl. Math. : [9] J. Vancostenoble.(0) Lipschitz stability in inverse source problems for singular parabolic equations[j]. Communications in Partial Differential Equations, 36(8): [0] Klibanov, M.V.(99) Inverse problems and Carleman estimates. Inverse Problems. 8: [] Lieberman, Gary M.(996) Second Order Parabolic Differential Equations. World Scientific Publishing Co., Inc., River Edge, NJ. MR. 98k: [] 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(): [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, [8] Vancostenoble, J., Zuazua, E.(008) Null controllability for the heat equation with singular inverse-square potentials. J. Funct. Anal. 54: [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: [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., MR 00j: 35. 5
Example Sheet 3 Solutions
Example Sheet 3 Solutions. i Regular Sturm-Liouville. ii Singular Sturm-Liouville mixed boundary conditions. iii Not Sturm-Liouville ODE is not in Sturm-Liouville form. iv Regular Sturm-Liouville note
Διαβάστε περισσότεραPartial Differential Equations in Biology The boundary element method. March 26, 2013
The boundary element method March 26, 203 Introduction and notation The problem: u = f in D R d u = ϕ in Γ D u n = g on Γ N, where D = Γ D Γ N, Γ D Γ N = (possibly, Γ D = [Neumann problem] or Γ N = [Dirichlet
Διαβάστε περισσότερα2 Composition. Invertible Mappings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely,
Διαβάστε περισσότεραCongruence Classes of Invertible Matrices of Order 3 over F 2
International Journal of Algebra, Vol. 8, 24, no. 5, 239-246 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/.2988/ija.24.422 Congruence Classes of Invertible Matrices of Order 3 over F 2 Ligong An and
Διαβάστε περισσότεραPhys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)
Phys460.nb 81 ψ n (t) is still the (same) eigenstate of H But for tdependent H. The answer is NO. 5.5.5. Solution for the tdependent Schrodinger s equation If we assume that at time t 0, the electron starts
Διαβάστε περισσότεραUniform Convergence of Fourier Series Michael Taylor
Uniform Convergence of Fourier Series Michael Taylor Given f L 1 T 1 ), we consider the partial sums of the Fourier series of f: N 1) S N fθ) = ˆfk)e ikθ. k= N A calculation gives the Dirichlet formula
Διαβάστε περισσότεραEvery set of first-order formulas is equivalent to an independent set
Every set of first-order formulas is equivalent to an independent set May 6, 2008 Abstract A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent
Διαβάστε περισσότεραStatistical Inference I Locally most powerful tests
Statistical Inference I Locally most powerful tests Shirsendu Mukherjee Department of Statistics, Asutosh College, Kolkata, India. shirsendu st@yahoo.co.in So far we have treated the testing of one-sided
Διαβάστε περισσότεραChapter 6: Systems of Linear Differential. be continuous functions on the interval
Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations
Διαβάστε περισσότεραSCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018
Journal of rogressive Research in Mathematics(JRM) ISSN: 2395-028 SCITECH Volume 3, Issue 2 RESEARCH ORGANISATION ublished online: March 29, 208 Journal of rogressive Research in Mathematics www.scitecresearch.com/journals
Διαβάστε περισσότερα2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)
Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: F3B, F4Sy, NVP 2005-03-08 Skrivtid: 9 14 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok
Διαβάστε περισσότερα4.6 Autoregressive Moving Average Model ARMA(1,1)
84 CHAPTER 4. STATIONARY TS MODELS 4.6 Autoregressive Moving Average Model ARMA(,) This section is an introduction to a wide class of models ARMA(p,q) which we will consider in more detail later in this
Διαβάστε περισσότεραCoefficient Inequalities for a New Subclass of K-uniformly Convex Functions
International Journal of Computational Science and Mathematics. ISSN 0974-89 Volume, Number (00), pp. 67--75 International Research Publication House http://www.irphouse.com Coefficient Inequalities for
Διαβάστε περισσότεραforms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with
Week 03: C lassification of S econd- Order L inear Equations In last week s lectures we have illustrated how to obtain the general solutions of first order PDEs using the method of characteristics. We
Διαβάστε περισσότεραProblem Set 3: Solutions
CMPSCI 69GG Applied Information Theory Fall 006 Problem Set 3: Solutions. [Cover and Thomas 7.] a Define the following notation, C I p xx; Y max X; Y C I p xx; Ỹ max I X; Ỹ We would like to show that C
Διαβάστε περισσότεραSecond Order Partial Differential Equations
Chapter 7 Second Order Partial Differential Equations 7.1 Introduction A second order linear PDE in two independent variables (x, y Ω can be written as A(x, y u x + B(x, y u xy + C(x, y u u u + D(x, y
Διαβάστε περισσότεραLecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3
Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all
Διαβάστε περισσότεραHomework 3 Solutions
Homework 3 Solutions Igor Yanovsky (Math 151A TA) Problem 1: Compute the absolute error and relative error in approximations of p by p. (Use calculator!) a) p π, p 22/7; b) p π, p 3.141. Solution: For
Διαβάστε περισσότεραSCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions
SCHOOL OF MATHEMATICAL SCIENCES GLMA Linear Mathematics 00- Examination Solutions. (a) i. ( + 5i)( i) = (6 + 5) + (5 )i = + i. Real part is, imaginary part is. (b) ii. + 5i i ( + 5i)( + i) = ( i)( + i)
Διαβάστε περισσότεραHOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:
HOMEWORK 4 Problem a For the fast loading case, we want to derive the relationship between P zz and λ z. We know that the nominal stress is expressed as: P zz = ψ λ z where λ z = λ λ z. Therefore, applying
Διαβάστε περισσότεραSection 8.3 Trigonometric Equations
99 Section 8. Trigonometric Equations Objective 1: Solve Equations Involving One Trigonometric Function. In this section and the next, we will exple how to solving equations involving trigonometric functions.
Διαβάστε περισσότεραOrdinal Arithmetic: Addition, Multiplication, Exponentiation and Limit
Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ting Zhang Stanford May 11, 2001 Stanford, 5/11/2001 1 Outline Ordinal Classification Ordinal Addition Ordinal Multiplication Ordinal
Διαβάστε περισσότεραST5224: Advanced Statistical Theory II
ST5224: Advanced Statistical Theory II 2014/2015: Semester II Tutorial 7 1. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known
Διαβάστε περισσότεραTridiagonal matrices. Gérard MEURANT. October, 2008
Tridiagonal matrices Gérard MEURANT October, 2008 1 Similarity 2 Cholesy factorizations 3 Eigenvalues 4 Inverse Similarity Let α 1 ω 1 β 1 α 2 ω 2 T =......... β 2 α 1 ω 1 β 1 α and β i ω i, i = 1,...,
Διαβάστε περισσότεραThe Pohozaev identity for the fractional Laplacian
The Pohozaev identity for the fractional Laplacian Xavier Ros-Oton Departament Matemàtica Aplicada I, Universitat Politècnica de Catalunya (joint work with Joaquim Serra) Xavier Ros-Oton (UPC) The Pohozaev
Διαβάστε περισσότεραD Alembert s Solution to the Wave Equation
D Alembert s Solution to the Wave Equation MATH 467 Partial Differential Equations J. Robert Buchanan Department of Mathematics Fall 2018 Objectives In this lesson we will learn: a change of variable technique
Διαβάστε περισσότεραMath221: HW# 1 solutions
Math: HW# solutions Andy Royston October, 5 7.5.7, 3 rd Ed. We have a n = b n = a = fxdx = xdx =, x cos nxdx = x sin nx n sin nxdx n = cos nx n = n n, x sin nxdx = x cos nx n + cos nxdx n cos n = + sin
Διαβάστε περισσότεραSolutions to Exercise Sheet 5
Solutions to Eercise Sheet 5 jacques@ucsd.edu. Let X and Y be random variables with joint pdf f(, y) = 3y( + y) where and y. Determine each of the following probabilities. Solutions. a. P (X ). b. P (X
Διαβάστε περισσότεραLecture 13 - Root Space Decomposition II
Lecture 13 - Root Space Decomposition II October 18, 2012 1 Review First let us recall the situation. Let g be a simple algebra, with maximal toral subalgebra h (which we are calling a CSA, or Cartan Subalgebra).
Διαβάστε περισσότεραChapter 6: Systems of Linear Differential. be continuous functions on the interval
Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations
Διαβάστε περισσότερα6.1. Dirac Equation. Hamiltonian. Dirac Eq.
6.1. Dirac Equation Ref: M.Kaku, Quantum Field Theory, Oxford Univ Press (1993) η μν = η μν = diag(1, -1, -1, -1) p 0 = p 0 p = p i = -p i p μ p μ = p 0 p 0 + p i p i = E c 2 - p 2 = (m c) 2 H = c p 2
Διαβάστε περισσότεραC.S. 430 Assignment 6, Sample Solutions
C.S. 430 Assignment 6, Sample Solutions Paul Liu November 15, 2007 Note that these are sample solutions only; in many cases there were many acceptable answers. 1 Reynolds Problem 10.1 1.1 Normal-order
Διαβάστε περισσότεραProblem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ.
Chemistry 362 Dr Jean M Standard Problem Set 9 Solutions The ˆ L 2 operator is defined as Verify that the angular wavefunction Y θ,φ) Also verify that the eigenvalue is given by 2! 2 & L ˆ 2! 2 2 θ 2 +
Διαβάστε περισσότεραΑπόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.
Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο The time integral of a force is referred to as impulse, is determined by and is obtained from: Newton s 2 nd Law of motion states that the action
Διαβάστε περισσότεραOther Test Constructions: Likelihood Ratio & Bayes Tests
Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :
Διαβάστε περισσότεραConcrete Mathematics Exercises from 30 September 2016
Concrete Mathematics Exercises from 30 September 2016 Silvio Capobianco Exercise 1.7 Let H(n) = J(n + 1) J(n). Equation (1.8) tells us that H(2n) = 2, and H(2n+1) = J(2n+2) J(2n+1) = (2J(n+1) 1) (2J(n)+1)
Διαβάστε περισσότεραMatrices and Determinants
Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z
Διαβάστε περισσότεραApproximation of distance between locations on earth given by latitude and longitude
Approximation of distance between locations on earth given by latitude and longitude Jan Behrens 2012-12-31 In this paper we shall provide a method to approximate distances between two points on earth
Διαβάστε περισσότεραEE512: Error Control Coding
EE512: Error Control Coding Solution for Assignment on Finite Fields February 16, 2007 1. (a) Addition and Multiplication tables for GF (5) and GF (7) are shown in Tables 1 and 2. + 0 1 2 3 4 0 0 1 2 3
Διαβάστε περισσότεραMath 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.
Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequalit for metrics: Let (X, d) be a metric space and let x,, z X. Prove that d(x, z) d(, z) d(x, ). (ii): Reverse triangle inequalit for norms:
Διαβάστε περισσότερα6.3 Forecasting ARMA processes
122 CHAPTER 6. ARMA MODELS 6.3 Forecasting ARMA processes The purpose of forecasting is to predict future values of a TS based on the data collected to the present. In this section we will discuss a linear
Διαβάστε περισσότεραLecture 2. Soundness and completeness of propositional logic
Lecture 2 Soundness and completeness of propositional logic February 9, 2004 1 Overview Review of natural deduction. Soundness and completeness. Semantics of propositional formulas. Soundness proof. Completeness
Διαβάστε περισσότεραMA 342N Assignment 1 Due 24 February 2016
M 342N ssignment Due 24 February 206 Id: 342N-s206-.m4,v. 206/02/5 2:25:36 john Exp john. Suppose that q, in addition to satisfying the assumptions from lecture, is an even function. Prove that η(λ = 0,
Διαβάστε περισσότεραEcon 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1
Eon : Fall 8 Suggested Solutions to Problem Set 8 Email questions or omments to Dan Fetter Problem. Let X be a salar with density f(x, θ) (θx + θ) [ x ] with θ. (a) Find the most powerful level α test
Διαβάστε περισσότεραCHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS
CHAPTER 5 SOLVING EQUATIONS BY ITERATIVE METHODS EXERCISE 104 Page 8 1. Find the positive root of the equation x + 3x 5 = 0, correct to 3 significant figures, using the method of bisection. Let f(x) =
Διαβάστε περισσότεραExercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.
Exercises 0 More exercises are available in Elementary Differential Equations. If you have a problem to solve any of them, feel free to come to office hour. Problem Find a fundamental matrix of the given
Διαβάστε περισσότερα3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β
3.4 SUM AND DIFFERENCE FORMULAS Page Theorem cos(αβ cos α cos β -sin α cos(α-β cos α cos β sin α NOTE: cos(αβ cos α cos β cos(α-β cos α -cos β Proof of cos(α-β cos α cos β sin α Let s use a unit circle
Διαβάστε περισσότεραHomework 8 Model Solution Section
MATH 004 Homework Solution Homework 8 Model Solution Section 14.5 14.6. 14.5. Use the Chain Rule to find dz where z cosx + 4y), x 5t 4, y 1 t. dz dx + dy y sinx + 4y)0t + 4) sinx + 4y) 1t ) 0t + 4t ) sinx
Διαβάστε περισσότεραSOME PROPERTIES OF FUZZY REAL NUMBERS
Sahand Communications in Mathematical Analysis (SCMA) Vol. 3 No. 1 (2016), 21-27 http://scma.maragheh.ac.ir SOME PROPERTIES OF FUZZY REAL NUMBERS BAYAZ DARABY 1 AND JAVAD JAFARI 2 Abstract. In the mathematical
Διαβάστε περισσότεραDiracDelta. Notations. Primary definition. Specific values. General characteristics. Traditional name. Traditional notation
DiracDelta Notations Traditional name Dirac delta function Traditional notation x Mathematica StandardForm notation DiracDeltax Primary definition 4.03.02.000.0 x Π lim ε ; x ε0 x 2 2 ε Specific values
Διαβάστε περισσότεραderivation of the Laplacian from rectangular to spherical coordinates
derivation of the Laplacian from rectangular to spherical coordinates swapnizzle 03-03- :5:43 We begin by recognizing the familiar conversion from rectangular to spherical coordinates (note that φ is used
Διαβάστε περισσότεραw o = R 1 p. (1) R = p =. = 1
Πανεπιστήµιο Κρήτης - Τµήµα Επιστήµης Υπολογιστών ΗΥ-570: Στατιστική Επεξεργασία Σήµατος 205 ιδάσκων : Α. Μουχτάρης Τριτη Σειρά Ασκήσεων Λύσεις Ασκηση 3. 5.2 (a) From the Wiener-Hopf equation we have:
Διαβάστε περισσότεραSection 7.6 Double and Half Angle Formulas
09 Section 7. Double and Half Angle Fmulas To derive the double-angles fmulas, we will use the sum of two angles fmulas that we developed in the last section. We will let α θ and β θ: cos(θ) cos(θ + θ)
Διαβάστε περισσότερα= λ 1 1 e. = λ 1 =12. has the properties e 1. e 3,V(Y
Stat 50 Homework Solutions Spring 005. (a λ λ λ 44 (b trace( λ + λ + λ 0 (c V (e x e e λ e e λ e (λ e by definition, the eigenvector e has the properties e λ e and e e. (d λ e e + λ e e + λ e e 8 6 4 4
Διαβάστε περισσότεραNowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in
Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in : tail in X, head in A nowhere-zero Γ-flow is a Γ-circulation such that
Διαβάστε περισσότεραSrednicki Chapter 55
Srednicki Chapter 55 QFT Problems & Solutions A. George August 3, 03 Srednicki 55.. Use equations 55.3-55.0 and A i, A j ] = Π i, Π j ] = 0 (at equal times) to verify equations 55.-55.3. This is our third
Διαβάστε περισσότεραA Note on Intuitionistic Fuzzy. Equivalence Relation
International Mathematical Forum, 5, 2010, no. 67, 3301-3307 A Note on Intuitionistic Fuzzy Equivalence Relation D. K. Basnet Dept. of Mathematics, Assam University Silchar-788011, Assam, India dkbasnet@rediffmail.com
Διαβάστε περισσότεραJ. of Math. (PRC) Banach, , X = N(T ) R(T + ), Y = R(T ) N(T + ). Vol. 37 ( 2017 ) No. 5
Vol. 37 ( 2017 ) No. 5 J. of Math. (PRC) 1,2, 1, 1 (1., 225002) (2., 225009) :. I +AT +, T + = T + (I +AT + ) 1, T +. Banach Hilbert Moore-Penrose.. : ; ; Moore-Penrose ; ; MR(2010) : 47L05; 46A32 : O177.2
Διαβάστε περισσότεραLecture 21: Properties and robustness of LSE
Lecture 21: Properties and robustness of LSE BLUE: Robustness of LSE against normality We now study properties of l τ β and σ 2 under assumption A2, i.e., without the normality assumption on ε. From Theorem
Διαβάστε περισσότεραThe Negative Neumann Eigenvalues of Second Order Differential Equation with Two Turning Points
Applied Mathematical Sciences, Vol. 3, 009, no., 6-66 The Negative Neumann Eigenvalues of Second Order Differential Equation with Two Turning Points A. Neamaty and E. A. Sazgar Department of Mathematics,
Διαβάστε περισσότεραLecture 34 Bootstrap confidence intervals
Lecture 34 Bootstrap confidence intervals Confidence Intervals θ: an unknown parameter of interest We want to find limits θ and θ such that Gt = P nˆθ θ t If G 1 1 α is known, then P θ θ = P θ θ = 1 α
Διαβάστε περισσότεραFractional Colorings and Zykov Products of graphs
Fractional Colorings and Zykov Products of graphs Who? Nichole Schimanski When? July 27, 2011 Graphs A graph, G, consists of a vertex set, V (G), and an edge set, E(G). V (G) is any finite set E(G) is
Διαβάστε περισσότεραCRASH COURSE IN PRECALCULUS
CRASH COURSE IN PRECALCULUS Shiah-Sen Wang The graphs are prepared by Chien-Lun Lai Based on : Precalculus: Mathematics for Calculus by J. Stuwart, L. Redin & S. Watson, 6th edition, 01, Brooks/Cole Chapter
Διαβάστε περισσότεραAreas and Lengths in Polar Coordinates
Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the
Διαβάστε περισσότεραFourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics
Fourier Series MATH 211, Calculus II J. Robert Buchanan Department of Mathematics Spring 2018 Introduction Not all functions can be represented by Taylor series. f (k) (c) A Taylor series f (x) = (x c)
Διαβάστε περισσότεραFinite Field Problems: Solutions
Finite Field Problems: Solutions 1. Let f = x 2 +1 Z 11 [x] and let F = Z 11 [x]/(f), a field. Let Solution: F =11 2 = 121, so F = 121 1 = 120. The possible orders are the divisors of 120. Solution: The
Διαβάστε περισσότερα1 String with massive end-points
1 String with massive end-points Πρόβλημα 5.11:Θεωρείστε μια χορδή μήκους, τάσης T, με δύο σημειακά σωματίδια στα άκρα της, το ένα μάζας m, και το άλλο μάζας m. α) Μελετώντας την κίνηση των άκρων βρείτε
Διαβάστε περισσότεραAppendix S1 1. ( z) α βc. dβ β δ β
Appendix S1 1 Proof of Lemma 1. Taking first and second partial derivatives of the expected profit function, as expressed in Eq. (7), with respect to l: Π Π ( z, λ, l) l θ + s ( s + h ) g ( t) dt λ Ω(
Διαβάστε περισσότεραSpace-Time Symmetries
Chapter Space-Time Symmetries In classical fiel theory any continuous symmetry of the action generates a conserve current by Noether's proceure. If the Lagrangian is not invariant but only shifts by a
Διαβάστε περισσότεραSTABILITY FOR RAYLEIGH-BENARD CONVECTIVE SOLUTIONS OF THE BOLTZMANN EQUATION
STABILITY FOR RAYLEIGH-BENARD CONVECTIVE SOLUTIONS OF THE BOLTZMANN EQUATION L.Arkeryd, Chalmers, Goteborg, Sweden, R.Esposito, University of L Aquila, Italy, R.Marra, University of Rome, Italy, A.Nouri,
Διαβάστε περισσότεραOn the local exact controllability of micropolar fluids with few controls
On the local exact controllability of micropolar fluids with few controls Sergio Guerrero & Pierre Cornilleau December 8, 2015 Abstract In this paper, we study the local exact controllability to special
Διαβάστε περισσότεραThe semiclassical Garding inequality
The semiclassical Garding inequality We give a proof of the semiclassical Garding inequality (Theorem 4.1 using as the only black box the Calderon-Vaillancourt Theorem. 1 Anti-Wick quantization For (q,
Διαβάστε περισσότεραIterated trilinear fourier integrals with arbitrary symbols
Cornell University ICM 04, Satellite Conference in Harmonic Analysis, Chosun University, Gwangju, Korea August 6, 04 Motivation the Coifman-Meyer theorem with classical paraproduct(979) B(f, f )(x) :=
Διαβάστε περισσότεραLecture 15 - Root System Axiomatics
Lecture 15 - Root System Axiomatics Nov 1, 01 In this lecture we examine root systems from an axiomatic point of view. 1 Reflections If v R n, then it determines a hyperplane, denoted P v, through the
Διαβάστε περισσότεραDERIVATION OF MILES EQUATION FOR AN APPLIED FORCE Revision C
DERIVATION OF MILES EQUATION FOR AN APPLIED FORCE Revision C By Tom Irvine Email: tomirvine@aol.com August 6, 8 Introduction The obective is to derive a Miles equation which gives the overall response
Διαβάστε περισσότεραk A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +
Chapter 3. Fuzzy Arithmetic 3- Fuzzy arithmetic: ~Addition(+) and subtraction (-): Let A = [a and B = [b, b in R If x [a and y [b, b than x+y [a +b +b Symbolically,we write A(+)B = [a (+)[b, b = [a +b
Διαβάστε περισσότεραORDINAL ARITHMETIC JULIAN J. SCHLÖDER
ORDINAL ARITHMETIC JULIAN J. SCHLÖDER Abstract. We define ordinal arithmetic and show laws of Left- Monotonicity, Associativity, Distributivity, some minor related properties and the Cantor Normal Form.
Διαβάστε περισσότεραOptimal Parameter in Hermitian and Skew-Hermitian Splitting Method for Certain Two-by-Two Block Matrices
Optimal Parameter in Hermitian and Skew-Hermitian Splitting Method for Certain Two-by-Two Block Matrices Chi-Kwong Li Department of Mathematics The College of William and Mary Williamsburg, Virginia 23187-8795
Διαβάστε περισσότεραStrain gauge and rosettes
Strain gauge and rosettes Introduction A strain gauge is a device which is used to measure strain (deformation) on an object subjected to forces. Strain can be measured using various types of devices classified
Διαβάστε περισσότεραNumerical Analysis FMN011
Numerical Analysis FMN011 Carmen Arévalo Lund University carmen@maths.lth.se Lecture 12 Periodic data A function g has period P if g(x + P ) = g(x) Model: Trigonometric polynomial of order M T M (x) =
Διαβάστε περισσότεραAreas and Lengths in Polar Coordinates
Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the
Διαβάστε περισσότεραΗΜΥ 220: ΣΗΜΑΤΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ Ι Ακαδημαϊκό έτος Εαρινό Εξάμηνο Κατ οίκον εργασία αρ. 2
ΤΜΗΜΑ ΗΛΕΚΤΡΟΛΟΓΩΝ ΜΗΧΑΝΙΚΩΝ ΚΑΙ ΜΗΧΑΝΙΚΩΝ ΥΠΟΛΟΓΙΣΤΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΗΜΥ 220: ΣΗΜΑΤΑ ΚΑΙ ΣΥΣΤΗΜΑΤΑ Ι Ακαδημαϊκό έτος 2007-08 -- Εαρινό Εξάμηνο Κατ οίκον εργασία αρ. 2 Ημερομηνία Παραδόσεως: Παρασκευή
Διαβάστε περισσότεραBoundedness of Some Pseudodifferential Operators on Bessel-Sobolev Space 1
M a t h e m a t i c a B a l k a n i c a New Series Vol. 2, 26, Fasc. 3-4 Boundedness of Some Pseudodifferential Operators on Bessel-Sobolev Space 1 Miloud Assal a, Douadi Drihem b, Madani Moussai b Presented
Διαβάστε περισσότεραJesse Maassen and Mark Lundstrom Purdue University November 25, 2013
Notes on Average Scattering imes and Hall Factors Jesse Maassen and Mar Lundstrom Purdue University November 5, 13 I. Introduction 1 II. Solution of the BE 1 III. Exercises: Woring out average scattering
Διαβάστε περισσότεραA Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering
Electronic Companion A Two-Sie Laplace Inversion Algorithm with Computable Error Bouns an Its Applications in Financial Engineering Ning Cai, S. G. Kou, Zongjian Liu HKUST an Columbia University Appenix
Διαβάστε περισσότεραPROPERTIES OF CERTAIN INTEGRAL OPERATORS. a n z n (1.1)
GEORGIAN MATHEMATICAL JOURNAL: Vol. 2, No. 5, 995, 535-545 PROPERTIES OF CERTAIN INTEGRAL OPERATORS SHIGEYOSHI OWA Abstract. Two integral operators P α and Q α for analytic functions in the open unit disk
Διαβάστε περισσότεραSecond Order RLC Filters
ECEN 60 Circuits/Electronics Spring 007-0-07 P. Mathys Second Order RLC Filters RLC Lowpass Filter A passive RLC lowpass filter (LPF) circuit is shown in the following schematic. R L C v O (t) Using phasor
Διαβάστε περισσότερα( ) 2 and compare to M.
Problems and Solutions for Section 4.2 4.9 through 4.33) 4.9 Calculate the square root of the matrix 3!0 M!0 8 Hint: Let M / 2 a!b ; calculate M / 2!b c ) 2 and compare to M. Solution: Given: 3!0 M!0 8
Διαβάστε περισσότερα5. Choice under Uncertainty
5. Choice under Uncertainty Daisuke Oyama Microeconomics I May 23, 2018 Formulations von Neumann-Morgenstern (1944/1947) X: Set of prizes Π: Set of probability distributions on X : Preference relation
Διαβάστε περισσότεραHomomorphism in Intuitionistic Fuzzy Automata
International Journal of Fuzzy Mathematics Systems. ISSN 2248-9940 Volume 3, Number 1 (2013), pp. 39-45 Research India Publications http://www.ripublication.com/ijfms.htm Homomorphism in Intuitionistic
Διαβάστε περισσότεραECE Spring Prof. David R. Jackson ECE Dept. Notes 2
ECE 634 Spring 6 Prof. David R. Jackson ECE Dept. Notes Fields in a Source-Free Region Example: Radiation from an aperture y PEC E t x Aperture Assume the following choice of vector potentials: A F = =
Διαβάστε περισσότεραSolution Series 9. i=1 x i and i=1 x i.
Lecturer: Prof. Dr. Mete SONER Coordinator: Yilin WANG Solution Series 9 Q1. Let α, β >, the p.d.f. of a beta distribution with parameters α and β is { Γ(α+β) Γ(α)Γ(β) f(x α, β) xα 1 (1 x) β 1 for < x
Διαβάστε περισσότερα= {{D α, D α }, D α }. = [D α, 4iσ µ α α D α µ ] = 4iσ µ α α [Dα, D α ] µ.
PHY 396 T: SUSY Solutions for problem set #1. Problem 2(a): First of all, [D α, D 2 D α D α ] = {D α, D α }D α D α {D α, D α } = {D α, D α }D α + D α {D α, D α } (S.1) = {{D α, D α }, D α }. Second, {D
Διαβάστε περισσότεραMINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS
MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS FUMIE NAKAOKA AND NOBUYUKI ODA Received 20 December 2005; Revised 28 May 2006; Accepted 6 August 2006 Some properties of minimal closed sets and maximal closed
Διαβάστε περισσότεραJ. of Math. (PRC) 6 n (nt ) + n V = 0, (1.1) n t + div. div(n T ) = n τ (T L(x) T ), (1.2) n)xx (nt ) x + nv x = J 0, (1.4) n. 6 n
Vol. 35 ( 215 ) No. 5 J. of Math. (PRC) a, b, a ( a. ; b., 4515) :., [3]. : ; ; MR(21) : 35Q4 : O175. : A : 255-7797(215)5-15-7 1 [1] : [ ( ) ] ε 2 n n t + div 6 n (nt ) + n V =, (1.1) n div(n T ) = n
Διαβάστε περισσότεραCHAPTER 101 FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD
CHAPTER FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD EXERCISE 36 Page 66. Determine the Fourier series for the periodic function: f(x), when x +, when x which is periodic outside this rge of period.
Διαβάστε περισσότεραBounding Nonsplitting Enumeration Degrees
Bounding Nonsplitting Enumeration Degrees Thomas F. Kent Andrea Sorbi Università degli Studi di Siena Italia July 18, 2007 Goal: Introduce a form of Σ 0 2-permitting for the enumeration degrees. Till now,
Διαβάστε περισσότεραSOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM
SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM Solutions to Question 1 a) The cumulative distribution function of T conditional on N n is Pr T t N n) Pr max X 1,..., X N ) t N n) Pr max
Διαβάστε περισσότεραPractice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1
Conceptual Questions. State a Basic identity and then verify it. a) Identity: Solution: One identity is cscθ) = sinθ) Practice Exam b) Verification: Solution: Given the point of intersection x, y) of the
Διαβάστε περισσότεραA summation formula ramified with hypergeometric function and involving recurrence relation
South Asian Journal of Mathematics 017, Vol. 7 ( 1): 1 4 www.sajm-online.com ISSN 51-151 RESEARCH ARTICLE A summation formula ramified with hypergeometric function and involving recurrence relation Salahuddin
Διαβάστε περισσότερα