Functional inequalities on symmetric spaces of noncompact type and applications

The aim of this paper is to begin a systematic study of functional inequalities on symmetric spaces of noncompact type of higher rank. Our first main goal of this study is to establish the Stein-Weiss inequality, also known as a weighted Hardy-Littlewood-Sobolev inequality, for the Riesz potential on symmetric spaces of noncompact type. This is achieved by performing delicate estimates of ground spherical function with the use of polyhedral distance on symmetric spaces and by combining the integral Hardy inequality developed by Ruzhansky and Verma with the sharp Bessel-Green-Riesz kernel estimates on symmetric spaces of noncompact type obtained by Anker and Ji. As a consequence of the Stein-Weiss inequality, we deduce Hardy-Sobolev, Hardy-Littlewood-Sobolev, Gagliardo-Nirenberg and Caffarelli-Kohn-Nirenberg inequalities on symmetric spaces of noncompact type. The second main purpose of this paper is to show the applications of aforementioned inequalities for studying nonlinear PDEs on symmetric spaces. Specifically, we show that the Gagliardo-Nirenberg inequality can be used to establish small data global existence results for the semilinear wave equations with damping and mass terms for the Laplace-Beltrami operator on symmetric spaces.


INTRODUCTION
The study of functional inequalities and weighted functional inequalities plays a significant role in the investigation of problems in differential geometry, harmonic analysis, partial differential equations and in several other areas of mathematics (see [40,33,12]).In particular, these inequalities have been utilised extensively to study global wellposedness results related to several important non-linear partial differential equations.In this paper, we establish several important functional inequalities including Stein-Weiss inequality, Hardy-Sobolev, Gagliardo-Nirenberg, and Caffarelli-Kohn-Nirenberg inequalities on the higher rank Riemannian symmetric spaces of noncompact type and present some applications to study global existence of wave equations with dumping and mass terms associated to the Laplace-Beltrami operator on Riemannian symmetric spaces.Riemannian symmetric spaces represent a significant category of Riemannian manifolds that are non-positively curved and encompass hyperbolic spaces.An intriguing characteristic of Riemannian symmetric spaces is that each of them can be expressed as ∕ for some noncompact, connected, semisimple Lie group with a finite center, and its maximal subgroup (see [39]).This characteristic enables the utilisation of representation theory and consequently, Fourier analysis on semisimple Lie groups in the study of analysis of symmetric spaces ( [31]).
As in the Euclidean space setting, establishing certain functional inequalities on Riemannian manifolds is interesting in itself and is tightly useful in the analysis of nonlinear partial differential equations (PDEs) [40].The study of the best constants of functional inequalities on manifolds has led to the conclusion of many geometrical and topological properties of underlying manifolds.We refer to several interesting papers [8,25,68,47,19,1,45,44] and references therein for more details.In this work, our focus is on establishing certain interesting functional inequalities on Riemannian symmetric spaces of noncompact type, which are useful for studying nonlinear PDEs on such spaces.Recently, many researchers have contributed to the development of certain important functional inequalities on non-positively curved manifolds using different suitable methods from Fourier analysis and geometric analysis.However, most of them were confined to rank one symmetric spaces, such as real or complex hyperbolic spaces and their different models (see [14] and references therein).In this case, one uses Helgason-Fourier analysis on hyperbolic spaces [39,31].
One fundamental functional inequality in the Euclidean harmonic analysis is the classical Stein-Weiss inequality established by Stein and Weiss [64].It states that: Theorem 1.1.Let 0 < < , 1 < < ∞, < ( −1) , < , + ≥ 0 and − − = 1 − 1 .For 1 < ≤ < ∞, we have where is a positive constant independent of .Here the Riesz potential on ℝ is defined as The unweighted version of inequality (1.1) was proved by Sobolev [62] by extending a multidimensional version of the Hardy-Littlewood inequality [37].For this reason the unweighted case of (1.1) is called the Hardy-Littlewood-Sobolev inequality.In other words, the Stein-Weiss inequality is a radially weighted version of the Hardy-Littlewood-Sobolev inequality.
In the Euclidean space setting, many researchers have studied generalisations of the Hardy-Littlewood-Sobolev and the Stein-Weiss inequalities.There are several works devoted to the analysis of the best constants and extremisers of the aforementioned inequalities.The literature of this area is so vast that it is practically impossible to fully review it, but we cite [23,27,26,47,50,54,1,11,12,13] here just to mention a very few of them.In the noncommutative setting (e.g.Heisenberg groups, homogeneous groups, general Lie groups), the Hardy-Littlewood-Sobolev and the Stein-Weiss inequalities are also well-developed, see [28,29,35,43,57,58,59,22,17,14,15].We refer to [36] for a version of the Hardy-Littlewood-Sobolev inequality on compact Riemannian manifolds.
One of the main objectives of this paper is to prove the Stein-Weiss inequality on symmetric spaces of noncompact type.The strategy of this paper follows that of [57], where the case of graded groups was considered, however the argument on symmetric spaces is more geometrically involved.Now, we state this result as follows.
Theorem 1.2.Let be a symmetric space of noncompact type of dimension ≥ 3. Let 0 < < , 1 < < ∞, < ′ , < , + ≥ 0 and − − = 1 − 1 .Then, for 1 < ≤ < ∞ and for sufficiently large > 0, there exists a positive constant independent of , such that Here , denotes the Bessel-Green-Riesz Kernel on the Riemannian symmetric space of any rank (see Section 2 for the definition), and | | denotes the distance between 0 ∶= ∈ ∶= ∕ and the point ∶= ∈ .Here is a noncompact, connected, semisimple Lie group with a finite center and is a maximal compact subgroup of .We also clarify here that the −1 is not defined on but on the corresponding group via the identification ∶= ∕ .
As in the Euclidean setting, the Stein-Weiss inequality (1.3) implies the Hardy-Littlewood-Sobolev inequality on Riemannian symmetric spaces of noncompact type by choosing = 0 and = 0.It states that: Theorem 1.3.Let be a symmetric space of noncompact type of dimension ≥ 3. Suppose that 0 < < , 1 < < ∞ and = 1 − 1 .Then for 1 < < < ∞ and ∈ ( ), we have where is a positive constant independent of .
We remark here that the Hardy-Littlewood-Sobolev inequality on noncompact symmetric spaces of noncompact type was also obtained by Anker [3] (see also [65,Section 4] and references therein) by different methods.
The Hardy inequality is one of the well-known inequalities of G. H. Hardy which basically says that: where ∈ ∞ 0 (ℝ ) and ∇ is the Euclidean gradient.It is known that the constant − is sharp.There is a vast literature available on the Hardy inequalities on Euclidean spaces, Lie groups and on manifolds.We refer to [19,1,40,44,59,46,45,46,71,20,56] and references therein for recent developments.Recently, in [16], the authors proved a fractional analogue of the Hardy inequality on the symmetric spaces of noncompact type using the fractional Poisson kernel on symmetric spaces with the help of the extension problem for the fractional Laplace-Beltrami operator on symmetric spaces [10].
One of our main aims is to show an analogue of the classical multi-dimensional Hardy inequality on symmetric spaces of noncompact type.As a consequence, we obtain the uncertainly principle in our setting.In fact, we first establish the following inequality, an analogue of the Hardy-Sobolev inequality on symmetric spaces of noncompact type.Theorem 1.4.Let be a symmetric space of noncompact type of dimension ≥ 3. Suppose that 0 < < , 1 < ≤ < ∞ and 0 ≤ < such that − = 1 − 1 .Then for ∈ , ( ), we have where is a positive constant independent of .

Here
, ( ) denotes the Sobolev space on the symmetric space defined as in (2.7) in the next section.
If we take = and 0 < < in Theorem 1.4, then inequality (1.6) gives the the following Hardy inequality on symmetric spaces The uncertainly principle on symmetric spaces can be derived from (1.7).Indeed, we will show that The classical Sobolev inequality (or a continuous Sobolev embedding) is one of prominent functional inequalities widely used to study partial differential equations.Let Ω ⊂ ℝ be a measurable set and let 1 < < .Then the (classical) Sobolev inequality is formulated as − and ∇ is a standard gradient on ℝ .The best constant of this inequality was obtained by Talenti in [68] and Aubin in [8].
E. Gagliardo [30] and L. Nirenberg [52] independently, obtained an (interpolation) inequality, widely known as the Gagliardo-Nirenberg inequality, which says that Sobolev and Gagliardo-Nirenberg inequalities have several applications in PDEs and variational principles.In this paper, we establish the Sobolev inequality and the Gagliardo-Nirenberg inequality on symmetric spaces of noncompact type which we will state as follows.
Theorem 1.5.Let be a symmetric space of noncompact type of dimension ≥ 3. Suppose 0 < < , > 0, > 1, < , ≥ 1, ∈ (0, 1] and Then there exists a positive constant such that . By choosing = 1 in the above theorem we obtain the Sobolev inequality on symmetric spaces of noncompact type.Indeed, for 0 < < and 1 < ≤ < ∞ such that = 1 − 1 we obtain We note that the Sobolev inequality on symmetric spaces and on the general Lie groups was previously obtained by many authors; see [70,65,17,58]. We will show applications of the Gagliardo-Nirenberg inequality to prove the small data global existence of the solution for the semilinear PDEs on symmetric spaces of noncompact type.For this, the following particular version of the Gagliardo-Nirenberg inequality will be useful.Theorem 1.6.Let be a symmetric space of noncompact type of dimension ≥ 3. Let ∈ 2, 2 −2 and = ( −2) .Then we have In one of their pioneering works, L. Caffarelli, R. Kohn and L. Nirenberg in [18] established the following inequality: Theorem 1.7.Let ≥ 1, and let 1 , 2 , 3 , , , , ∈ ℝ be such that 1 , 2 ≥ 1, 3 > 0, 0 ≤ ≤ 1, and Then,

and only if
(1.17) where is a positive constant independent of .
It is worth noting that the Caffarelli-Kohn-Nirenberg inequality includes aforementioned wellknown inequalities, such as the Gagliardo-Nirenberg inequality, Hardy-Sobolev inequality and Sobolev inequality.We refer to [51,45] and references therein for the investigation regarding the effects of the curvature of the Riemannian manifolds for the validity of the Hardy and Caffarelli-Kohn-Nirenberg inequalities on these manifolds and their best constants.In this paper, we obtain the following Caffarelli-Kohn-Nirenberg inequality on symmetric spaces of noncompact type.Theorem 1.8.Let be a symmetric space of noncompact type of dimension ≥ 3 and be such that 0 Then there exists a positive constant independent of such that As an application of the established Gagliardo-Nirenberg inequality, we show the small data global existence of the solution for the following nonlinear Cauchy problem involving the shifted Laplace-Beltrami operator Δ ∶= Δ + | | 2 on symmetric space of noncompact type , where is the half sum of multiplicity of positive roots: where , > 0 and ∶ ℝ → ℝ satisfies the following conditions: (1.20) The existence and non-existence results for the semilinear wave equation (1.19) with or without dumping and mass term have been studied by many prominent researchers for Euclidean spaces and on certain Lie groups by employing different methods.On the Euclidean space ℝ , the small data global existence of semilinear wave equation associated with Laplacian Δ ℝ on ℝ (with = 0 and = 0) is closely related with the Strauss conjecture.For more details on the Strauss conjecture on the Euclidean space, we cite [63,67,41,42,33].On the Riemannian manifolds of negative curvature, the small data global existence for the semilinear wave equation (with = 0) (1.19) has been investigated in details during the recent years [48,49,6,7,60,61,73,72,2]. It is well-known that, in contrast with the Euclidean space, the Strauss conjecture type phenomena does not occur in the case of negatively curved Riemannian manifolds.Particularly, this was observed in the setting of hyperbolic spaces (also on Damek-Ricci spaces) in [48,49,6,7].Later, these results were extended to non-trapping asymptotically hyperbolic manifolds [61] and to the Riemannian manifolds with strictly negatively sectional curvature [60] using different method.Very recently, Anker and Zhang [2] investigated semilinear wave equations on general symmetric spaces of noncompact type and proved that a similar phenomena holds for general symmetric spaces; see also [73,72].The Strichartz inequality played a very important role for investigating aforementioned results on the Riemannian symmetric spaces [72,73,2].
We will organise this manuscript as follows: In the next section, we will provide a brief overview of the analysis on the Riemannian symmetric spaces and the Helgason-Fourier transform.In addition to this, we will also recall some useful tools such as the Sobolev spaces on symmetric spaces and the integral Hardy inequalities on metric measure spaces.Section 3 will be mainly occupied by the proof of the Stein-Weiss inequality on symmetric spaces of any rank.In Section 4, we will derive several important functional (Hardy, Hardy-Sobolev, Gagliardo-Nirenberg, and Caffarelli-Kohn-Nirenberg) inequalities on symmetric spaces of noncompact type.In Section 5, we present an application of the Gagliardo-Nirenberg inequality obtained in Section 4 to the global existence results of wave equations with dumping and mass terms associated with the Laplace-Beltrami operator on symmetric spaces on noncompact type.

RIEMANNIAN SYMMETRIC SPACES AND HELGASON-FOURIER TRANSFORM
In this section, we recall some basic definitions, notation and nomenclature related with the higher rank Riemannian symmetric spaces of noncompact type.We also present definitions and fundamental properties of the Helgason-Fourier transform, Sobolev spaces and some kernel estimates on symmetric symmetric on noncompact type.The material presented in this section can be found in the excellent books and research papers [39,38,31,3,4,65].Finally, we discuss the weighted integral Hardy inequalities on metric measure spaces with general weights [56] which will be helpful to establish our results in the subsequent sections.
2.1.Riemannian symmetric spaces.Let be a noncompact, connected, semisimple Lie group with finite center and let be a maximal compact subgroup.The homogeneous space ∶= ∕ is a Riemannian symmetric space of noncompact type.Let us assume that is a fixed Cartan involution on the Lie algbra of associated with the Cartan decomposition = ⊕ at the Lie algebra level, where and are +1 and −1 eigenspaces of respectively.It is known that if is the Cartan killing form of then induces the -invariant metric on by identifying the tangent space at origin of with and by restricting to .The distance between two points 1 = 1 and 2 = 2 of will be denoted by ( 1 , 2 ).We will also use the notation | | to denote (0, ), the distance between 0 = ∈ and the point ∈ .Let be a maximal abelian subalgebra of and let * be its dual space.The dimension of is called the rank of .We denote dim = .For ∈ * , we define Then the set of restricted root of with respect to is denoted by Σ and defined as We denote = dim( ) for ∈ * .Let us choose a connected component in in a manner that ≠ 0 for all ∈ Σ. Denote by + the connected component, called a positive Weyl chamber.Now, with respect to + , we define positive roots and positive indivisible roots by Σ + = { ∈ Σ ∶ > 0 on + } and Σ + 0 = { ∈ Σ ∶ 2 ∉ Σ + } respectively.We set = ⊕ ∈Σ + .Then is a nilpotent subalgebra of .We denote the half sum of positive roots counted with multiplicities by ∶= 1 2 ∑ ∈Σ + . The dimension and the pseudo-dimension of will be denoted by and respectively, that is, = + ∑ ∈Σ + and = + 2|Σ + 0 |.The Iwasawa decomposition of is given by = ⊕ ⊕ on the Lie algebra level.On the Lie group level, if we write = exp and = exp , then we get the Iwasawa decomposition of = .This means every ∈ can be uniquely written as = ( ) exp( ( )) ( ), where ( ) ∈ , ( ) ∈ and ( ) ∈ .The maps ( , , ) ↦ is a global diffeomorphism of × × onto .Let Δ be the Laplace-Beltrami operator on with respect to the -invariant Riemannian metric and be the corresponding measure.It is known that the be the centralizer of in and ′ be the normalizer of in .Then is the normal subgroup of ′ and normalize .The factor group = ′ ∕ is a finite group of order | |, called the Weyl group of .The action of the Weyl group on is given by an adjoint action.It acts as a group of orthogonal transformations (preserving the Cartan-Killing form) on * by ( )( ) = ( −1 ⋅ ) for ∈ , ∈ * and ∈ , where .= Ad( )( ) for ∈ , ∈ .We fix a normalized Haar measure on on the compact group and the Haar measure on .We have the decompositions The Haar measure on corresponding to the Iwasawa decomposition and the polar decomposition can be described as, for any ∈ ( ), and respectively.Here the density ( ) for ∈ + is given by where is a normalizing constant.Using the polar (Cartan) decomposition we can define another distance on called the polyhedral distance on defined as ′ ( , ) ∶= ⟨ ∕| |, ( −1 ) + ⟩ for all , ∈ , where ( −1 ) + is the + -component of −1 in the polar decomposition.It was proved in [2] that the Riemannian distance and the polyhedral distance ′ are equivalent.Any function defined on can be thought of as a function on which is right -invariant under the action of .Then it follows that we have a -invariant measure on such that where is the -invariant measure on ∕ .

2.2.
Helgason-Fourier transform on Riemannian symmetric spaces.Let * ℂ be the complexification of * , that is, the set of the all complex-valued real linear functionals on .The usual extension of the Killing form on * ℂ by duality and conjugate linearity is again denoted by .For a nice function the Helgason Fourier transform of  is a function on * ℂ × ∕ defined by whenever the integral exists.At times, we also denote  by ̂ .It is known that the map ↦ ( ) extends to isometry of 2 ( ) ), where ( ) denotes Harish-Chandra's -function.
Let us introduce Harish-Chandra's elementary spherical function in the following form: The elementary spherical function 0 satisfies the following global estimate [4, Proposition 2.2.1]: Moreover, we have For ∈ [0, ∞), ∈ ℝ, let , ( ) be the Schwartz kernel of the operator (−Δ − | | 2 + 2 ) − 2 if it exists.We call , ( ) the Bessel-Green-Riesz kernel or simply the Riesz potential.The Riesz potential satisfies the following estimate (see (2.6) Throughout this paper, the symbol The Sobolev space on the symmetric space of noncompact type for 0 < ∈ ℝ and 1 < < ∞ is defined as endowed with the norm Then it follows from [65, Theorem 4.4] that (2.9) where is large enough.
Here after, whenever we deal with , we will always assume that is large enough.

Integral Hardy inequalities on metric measure spaces.
Let us consider metric measure spaces with a Borel measure allowing for the following polar decomposition at ∈ : we assume that there is a locally integrable function ∈ 1 ( ) such that for all ∈ 1 ( ) we have for the set Σ = { ∈ ∶ ( , ) = } ⊂ with a measure on it denoted by , and ( , ) → as → 0. Examples of such metric measure spaces are Euclidean spaces, homogeneous Lie groups, and Riemannian symmetric spaces of noncompact type.We denote | | ∶= ( , ).
The class of such metric measure spaces was introduced in [56], where the following integral Hardy inequality was obtained.
Theorem 2.1.Let 1 < ≤ < ∞ and let > 0. Let be a metric measure space with a polar decomposition (2.10) at .Let , > 0 be measurable functions positive a.e in such that ∈ 1 ( ∖{ }) and 1− ′ ∈ 1 ( ).Denote Then the inequality holds for all measurable functions ∶ → ℂ if and only if any of the following equivalent conditions holds: ( Moreover, the constant for which (2.11) holds and quantities  1 −  5 are related by and Similarly, in [56], the authors obtained the adjoint integral Hardy inequality in the following form: Theorem 2.2.Let 1 < ≤ < ∞ and let > 0. Let be a metric measure space with a polar decomposition (2.10) at .Let , > 0 be measurable functions positive a.e in such that ∈ 1 ( ∖{ }) and 1− ′ ∈ 1 ( ).Denote Then the inequality holds for all measurable functions ∶ → ℂ if and only if any of the following equivalent conditions holds: ( ( Remark 2.3.In this paper, for using integral Hardy inequalities, we use conditions  1 and  * 1 in the previous theorems.The class of general metric measure spaces having a polar decomposition was analysed in [9].

STEIN-WEISS AND HARDY-LITTLEWOOD-SOBOLEV INEQUALITIES ON SYMMETRIC SPACES OF NONCOMPACT TYPE
Let us show the Stein-Weiss inequality on symmetric space of noncompact type.The proof is an adaption of the argument in [57] that was developed for the graded Lie groups, however here, it depends on the induced geometry of the space in a more substantial way.Theorem 3.1.Let be a symmetric space of noncompact type of dimension ≥ 3 and rank ≥ 1.Let 0 < < , 1 < < ∞, < ′ , < , + ≥ 0 and − − = 1 − 1 .Then, for sufficiently large > 0 and 1 < ≤ < ∞, we have where is a positive constant independent of .
Proof.Let us begin the proof with the quantity on the left hand side of (3.1) and divide it into three part as follows: where Now, we will estimate , = 1, 2, 3.This will be completed in three different steps.
Step 1.In this step we consider 1 .By using the triangle inequality for the Riemannian distance with Let us now consider the two different cases.
. Since the Riemannian distance and the polyhedral distance are equivalent and , is -biinvariant, we have and Cauchy-Schwarz inequality, we get Therefore, we obtain Our aim is to show the following inequality, and, for this purpose, we need to check the condition  1 in Theorem 2.1 which turns out to be the following, By using the Cartan decomposition with ≥ 1 in this case we get when ≥ 2 and large enough (e.g.≥ 2| |).For < 2, with same calculations as in (3.6) we get By combining the estimates (3.6), (3.7) and (3.8) with the fact that is sufficiently large (e.g., ≥ 8| |) and substituting back in (3.5), we deduce that as ′ > 1 and is sufficiently large.Case (b).When 0 < | | 2 < 1.Again, we need to consider the integral , we can divide the study of this integral into two parts: one when | −1 | < 1 and the second when | −1 | ≥ 1.In fact, the case when | −1 | ≥ 1, is similar to the Case (a).So by proceeding similar to case (a) with the obtained estimate of , ( −1 ) when | −1 | ≥ 1, we have To establish the inequality we need to verify that the following holds, (3.11) In order to check that  1 < ∞, using the Cartan decomposition we get (3.12) It is easy to see that 1 < ∞ is an integral of a continuous function over a compact set.To see that sufficiently large (in this case, > 2| | will work).Therefore, we get Also, we compute the following integral for 0 < < 1 with < ′ : Thus, from (3.13) and (3.14) we have Next, we consider the remaining case, when | −1 | < 1.In this case, using (2.6) we have 2 ) and therefore, To show the inequality it is enough to show that, (3.17) Also, we compute the following integral for 0 < < 1 with < ′ : Thus, from (3.17), (3.18) and − − = 1 − 1 , we have Therefore, in this case we get The application of Theorem 2.1 completes the proof of case (b).
Step 2. In this step, we consider 3 .By using the triangle inequality for the Riemannian distance with | | ≥ 2| |, we get . By arguing exactly in the same way as in Case (a) of Step 1 we estimate that Thus, we obtain If we show the following condition, then by using the conjugate integral Hardy inequality (see Theorem 2.2), we get Let us check the condition (3.21).Similarly to the previous step, we consider two cases 0 < < 1 and ≥ 1.Firstly, let us consider ≥ 1 and by using the Cartan decomposition, we get, same as (3.6) and (3.7), that for sufficiently large .Then let us compute the first integral in (3.21), we get (3.24) By combining (3.24) and (3.23), we get thanks to sufficiently large .
Let us now present the Gagliardo-Nirenberg inequality on symmetric space of noncompact type.

NONLINEAR WAVE EQUATION WITH A DAMPED TERM ASSOCIATED WITH THE LAPLACE-BELTRAMI OPERATOR ON SYMMETRIC SPACES
In this section, we show small data global existence for the semilinear wave equation with damped term involving the Laplace-Beltrami operator on symmetric spaces of noncompact type.In [55] and [69], similar questions have been treated for Rockland operators on graded Lie groups and for Dunkl Laplacian on Euclidean spaces.The strategy here follows that of [55].The main aim of this section is to obtain the global existence result for the Cauchy problem involving the shifted Laplace-Beltrami operator Δ = Δ + | | 2 .We consider the shifted Laplace-Beltrami operator instead of usual Laplace-Beltrami operator just to make computations clear and simple, otherwise the result still holds true for the usual Laplace-Beltrami operator.
where , > 0 and ∶ ℝ → ℝ satisfies the following conditions: (5.2) (0) = 0, and To show the global existence of a solution of Cauchy problem (5.1) we need the following lemma.
Lemma 5.1.Assume that ∈ ℝ.Let be a solution of (5.1) with = 0, 0 ∈ ,2 and 1 ∈ −1,2 .Then there exists > 0 such that , and Proof.By applying the Helgason Fourier transform in (5.1) with respect to the variable and using the fact that ( (5.6) Therefore, the solution of (5.6) is given by where = √ + | | 2 .We set ∶= 2 − 4 2 .We will now deduce a pointwise estimate for each case.First, let us consider the case when > 0. We know that (5.8) and for any > 0, we have (5.9)≤ , ≥ 0, so that (5.10) Therefore, by using these facts we establish For the case = 0, that is, = 2 , by using previous computation in (5.11), we get Finally, for case when < 0, that is, < 2 , we perform a similar computation as in the case > 2 to obtain To get the Sobolev norm estimates of solutions, we consider again case by case using the previously established pointwise estimates.We begin with the case when2 < 4 , that is, < 0 for all ∈ * .In this case, the function (5.15) The case 4 ≤ 2 is a bit tricky due to the presence of singularity at . To tackle this situation, we divide the integral over the set = { ∈ * ∶ | | < 1} and ∶= * ∖ .In other words, we will calculate On * × , we are always in the case when < 0 or > 0. Therefore, one can deduce the same estimate (5.12).Indeed, by the similar approach, since the function ↦ where is the solution of the linear problem (5.1) and is the solution of the following Cauchy problem: ( where ∈ (0, 1).For all > 0, , ∈ and by using (5.2),Hölder's inequality with 2( −1) 2 + 2 2 = 1, Gagliardo-Nirenberg's inequality (4.10), Young's inequality and equivalence of the norms, we compute . (5.25) By using definition of the norm on the space , for all ∈ we have (5.26) . Putting this estimate in (5.25), we get + ‖Δ (5.30) We know that ( )( , ) is a solution of (5.23), then ( ( ))( , 0) = 0.By using this fact, we have (5.33) From the last fact we establish, By combining these facts with choosing ≤ (1− ) 2 = 0 where is defined in (5.36), we get (5.40) completing the proof the is a contraction on .Therefore, Banach fixed point theorem guarantee ensure the existence of a global solution.