Abstract
In this paper, we consider a manifold with conical singularity and introduce weighted cone Sobolev spaces. We prove a conic type Caffarelli–Kohn–Nirenberg inequality and then apply this inequality to obtain a existence result of a nonlinear elliptic equation on weighted cone Sobolev space.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(n \ge 3\) be an integer and let a, b and p be constants satisfying the following conditions
Cafarelli, Kohn and Nirenberg [3], for all \(u\in C^{\infty }_{0}({\mathbb {R}}^{n}),\) have established that there exists a positive constant C depending only on constants a, b and n such that the functional inequality
holds, where |x| is the Euclidean length of \(x\in {\mathbb {R}}^{n},\) and dv is the Euclidean volume element determined by the standard Euclidean metric. Note that the Caffarelli–Kohn–Nirenberg inequality 1.2 contains the classical Sobolev inequality \((a=b=0)\) and the Hardy \((a= 0, b=1)\) as special cases, which have played important roles in many applications in Partial differential equations. Inequality 1.2 proves to be an important tool in studying degenerate elliptic problems. It is also related to the understanding of some important phenomena, such as best constants, extremal functions, and their qualitative properties [9, 12]. Some of the directions that have been developed include the study of positive solutions to critical singular quasilinear elliptic problems related to the Caffarelli–Kohn–Nirenberg inequality [5, 10, 11]. Since most of the problems in differential geometry can be reduced to problems in differential equations on Riemannian manifolds, it is important to have in this case investigation tools similar to those successfully used in the Euclidean case. Many authors investigated some modified version of the inequality 1.2 to study some of degenerate elliptic system which contains differential operators of the type
where w(x) is a non-negative function satisfying \(\inf w(x)= 0,\) on a Riemannian Manifold with Riemannain metric g, for example see [1, 2, 4, 16]. Degenerate differential operators involving a non-negative weight which appear in singular quasilinear elliptic equations have been studied by some authors in Euclidean and Riemannian manifolds forms. In fact, the non-negative weight function w(x) allow us to have zeros at some points or even to be unbounded are used in the study of many physical phenomena. In this article, we want to study a class of singular quasilinear differential equations on manifolds with conical singularities. Many applications of physics and applied sciences as well as of the structure mathematics lead to elliptic problems with singularities in the sense of non-smoothness of boundaries [6, 8].
2 Conical manifolds and cone spaces
In this section we recall some definitions and basic properties of manifolds with conical singularities and the corresponding cone Sobolev spaces. Then we will introduce a generalization of the cone Sobolev spaces on under suitable non-negative weight and the typical differential operators on those manifolds. For more details and proofs about the results on manifolds with conical singularities, we refer to Egorov and Schulze [7], Schulze [14], Schrohe and Seiler [15].
First we introduce some notations.
- (a):
-
\({\mathbb {R}}_{+}= (0,\infty ),\) \(\bar{{\mathbb {R}}_{+}} = [0 , \infty );\)
- (b):
-
X is a smooth compact manifold without boundary;
- (c):
-
\(X^{\wedge } := {\mathbb {R}}_{+} \times X,\) interpreted as the open stretched cone with base X;
- (d):
-
\(X^{\Delta } := \frac{(\bar{{\mathbb {R}}_{+}}\times X)}{\{0\} \times X},\) interpreted as the cone.
Definition 2.1
Let B be a Hausdorff topological compact space and \(b\in B\) such that \(B - \{b\}\) is a smooth manifold without boundary of dimension \(n + 1.\)B is called a manifold with conical singularity b if the following properties hold:
- (I):
-
there exist a neighborhood U of b and a diffeomorphism
$$\begin{aligned} \varphi : U - \{b\} \rightarrow X^{\wedge } \end{aligned}$$(2.1)for some closed compact smooth manifold X without boundary of dimension n,
- (II):
-
\(\varphi \) is extendible to a homeomorphism \({\bar{\varphi }}: U \rightarrow X^{\Delta }.\)
If one considers another diffeomorphism \(\Phi :U-\{b\} \rightarrow X^{\wedge }\) extendible to U, we say that these two diffeomorphism are equivalent if \(\varphi \Phi ^{-1}: X^{\wedge }\rightarrow X^{\wedge }\) is the restriction of some diffeomorphism \(\bar{{\mathbb {R}}_{+}}\times X\rightarrow \bar{{\mathbb {R}}_{+}}\times X \) to \({\mathbb {R}}_{+}\times X.\) Therefore, we consider the map 2.1 fixed, then
induces an \({\mathbb {R}}_{+}\) group action on \(U-\{b\}.\) The manifold X is called the base of the cone and \({\mathbb {R}}_{+}\) the cone axis. According to above assumptions and by described method in [7], there exists a smooth manifold \({\mathbb {B}}\) with compact \(C^{\infty }\)-boundary \(\partial {\mathbb {B}}\equiv X\) for which there is a diffeomorphism \({\mathbb {B}}- \partial {\mathbb {B}}\equiv B - \{b\}\) the restriction of which \(U_{1} - \{b\}\) is a diffeomorphism \(U_{1} - \{b\} \equiv V_{1} - \partial {\mathbb {B}}\) for an open neighborhood \(U_{1} \subset B\) of the conical point b and a collar neighborhood \(V_{1} \subset {\mathbb {B}}\) of \(\partial {\mathbb {B}},\) i.e. \(V_{1} \equiv [0,1) \times X .\)
\({\mathbb {B}}\) is called the stretched manifold with conical singularity associated with B. Via this identification the analysis of differential operators on B is carried out on \({\mathbb {B}}.\) The underlying analysis of a manifold with a conic point, the corresponding differential operators are called cone-degenerate differential operators or Fuchs type operators which are given in local coordinates in a collar neighborhood \([0, 1)\times X\) of the boundary by
where the coefficients \(a_{k}(r)\in C^{\infty }([0,1) , Diff ^{m - k}(X)),\)\(r^{-m}\) is also called a weight factor with the weight \(-m.\) The cone degeneracy shows up in the derivative \((-r\partial _{r}).\)
Definition 2.2
Let B be a manifold with a conical singularity point b. Then \(A\in Diff ^{m}(B - \{b\})\) is said to be of Fuchs type if b has a neighborhood such that A in local coordinates (r, x) is of Fuchs type in the sense of 2.3. By similarly way, one can say that \(A\in Diff ^{m}(\int {\mathbb {B}})\) is of Fuchs type if it is a neighborhood of \(\partial {\mathbb {B}}\) of the form 2.3.
Let \(g_{X}(r)\) be a r-dependent family of Riemannian metric on a closed compact \(C^{\infty }\)-manifold X which is infinitely differentiable in \(r\in [0, 1)\) and \(g_{X}(0)\) depends only on x and dx. Then
is a Riemannain metric on \(X^{\wedge }.\) The gradient and divergence operators with respect to this metric are first order operators, \(div_{g}\in Diff ^{1}(X^{\wedge }, TX^{\wedge },{\mathbb {R}}),\)\(\nabla _{g} \in Diff ^{1}(X^{\wedge }, {\mathbb {R}},TX^{\wedge }),\) respectively. Here, \(TX^{\wedge }\) is the cone tangent bundle which has a basis in local coordinates as follows:
This basis induces a dual basis in the cone cotangent bundle \(T^{*}X^{\wedge }\) given by \(\frac{dr}{r}, dx_{1},\ldots , dx_{n}.\) Now, without lose of generality, we consider \({\mathbb {B}}= [0 , 1)\times X\) that X is an \((n-1)\)-dimensional closed compact \(C^{\infty }\)-manifold which is regarded as the local model near the conical singularity points, and \(\partial {\mathbb {B}} = \{0\} \times X .\) Then the corresponding gradient operator with respect to the Riemannain metric 2.4 is denoted by \(\nabla _{{\mathbb {B}}(g)} := (x_{1}\partial _{x_{1}}, \partial _{x_{2}},\ldots ,\partial _{x_{n}}) .\) Moreover, for a vector field F, we define the divergence operator on \({\mathbb {B}}\) with respect to Riemannain metric 2.4 as
The operator \(\Delta _{{\mathbb {B}}(g)}\) is defined by \((x_{1}\partial _{x_{1}})^{2} + \partial ^{2}_{x_{2}} +\cdots + \partial ^{2}_{x_{n}},\) which is an elliptic operator with conical degeneration on the boundary \(x_{1} = 0.\) The operator \(\Delta _{{\mathbb {B}}(g)}\) is also called Fuchsian–Laplace operator. Near the boundary of stretched manifold \({\mathbb {B}},\)\(\partial {\mathbb {B}},\) we will use coordinates \((x_{1},x'):= (x_{1}, x_{2},\ldots ,x_{n})\) for \(x_{1}\in [0 , 1)\) and \(x'\in X .\) According to the Fuchsian–Laplace operator, gradient and divergence operators defined on manifold \({\mathbb {B}},\) for \(2< p < \frac{ n - 2}{2} = 2^{*},\) we introduce \(A(p, {\mathbb {B}} , g) := div_{{\mathbb {B}}}\biggl (|\nabla _{{\mathbb {B}}}u|^{p - 2} \nabla _{{\mathbb {B}}}u\biggr )\) sa a cone-degenerate operator of second order acting between sections of trivial bundles \(X^{\wedge }\) and \(X^{\wedge } .\) We call \(A(p,{\mathbb {B}},g)\)Fuchsian–P-Laplace operator. Note that the range of power p, to definition of Fuchsian–P-Laplace operator, can be considered rather than general, but we are interesting to the range \((2, 2^{*})\) for our boundary value problem that we will study about the existence results it in the last section.
Definition 2.3
For \(x=(x_{1}, x')\in {\mathbb {R}}_{+} \times {\mathbb {R}}^{n - 1} = {\mathbb {R}}^{n}_{+},\) we say that
if
Therefore, the weighted \(L_{p,w}\)-spaces with weight data \(\gamma \in {\mathbb {R}}\) is denoted by
and defined as follows: if \(u(x_{1},x')\in L_{p}^{\gamma }({\mathbb {R}}_{+}^{n},\frac{dx_{1}}{x_{1}}dx' ; w(x)),\) then
and
Now, we can define the weighted p-Sobolev spaces for \(1 \le p < \infty .\)
Definition 2.4
For \(m\in {\mathbb {N}},\)\(\gamma \in {\mathbb {R}}\) and \(1 \le p < \infty ,\) the spaces
for any \(\alpha \in {\mathbb {N}},\)\(\beta \in {\mathbb {N}}^{n - 1}\) and \(|\alpha | + |\beta | \le m.\) In the other words, if \(u(x_{1},x)\in {\mathcal {H}} ^{m , \gamma }_{p,w}({\mathbb {R}}^{n}_{+}),\) then \((x_{1}\partial _{x_{1}})^{\alpha }\partial _{x'}^{\beta } u \in L_{p}^{\gamma }({\mathbb {R}}^{n}_{+}, \frac{dx_{1}}{x_{1}}dx' ; w(x)).\)
Hence, \({\mathcal {H}}^{m,\gamma }_{p,w}({\mathbb {R}}^{n}_{+})\) is a Banach space with norm
Let X be a closed compact \(C^{\infty }\) manifold, and \({\mathcal {U}} = \{U_{1},\ldots , U_{N}\}\) an open covering of X by coordinate neighborhoods. If we fix a subordinate partition of unity \(\{\varphi _{1},\ldots ,\varphi _{N}\}\) and charts \(\chi _{j}: U_{j} \rightarrow {\mathbb {R}}^{n -1},\)\(j = 1, \ldots ,N.\) Then we say that \(u\in {\mathcal {H}}^{m,\gamma }_{p,w}(X^{\wedge })\) if and only if \(u\in {\mathcal {D}}'(X^{\wedge })\) with the norm
where \(1 \times \chi _{j}^{*}: C_{0}^{\infty }({\mathbb {R}}_{+}\times {\mathbb {R}}^{n - 1}) \rightarrow C_{0}^{\infty }({\mathbb {R}}_{+} \times U_{j})\) is the pull-back function with respect to \(1 \times \chi _{j}: {\mathbb {R}}_{+}\times U_{j} \rightarrow {\mathbb {R}}_{+}\times {\mathbb {R}}^{n - 1}.\) Denote the \({\mathbf {H}}^{m,\gamma }_{p,w}(X^{\wedge })\) as subspace of \({\mathcal {H}}^{m,\gamma }_{p,w}(X^{\wedge })\) which is defined as the closure of \(C_{0}^{\infty }(X^ {\wedge })\) with respect to the norm \(\Vert . \Vert _{{\mathcal {H}}^{m, \gamma }_{p,w}(X^{\wedge })}.\) Now, we have the following definition:
Definition 2.5
Let \({\mathbb {B}} = [0,1) \times X\) be the stretched manifold of the manifold B with conical singularity. Then the cone Sobolev space \({\mathcal {H}}^{m,\gamma }_{p,w}({\mathbb {B}}),\) for \(m\in {\mathbb {N}} , \gamma \in {\mathbb {R}}\) and \(p\in (1 , \infty ),\) is defined by
for any cut-off function \(\kappa \) supported by a collar neighborhood of \([0,1) \times X.\) Moreover, the subspace \({\mathbf {H}}^{m,\gamma }_{p,w}({\mathbb {B}})\) of \({\mathcal {H}}^{m,\gamma }_{p,w}({\mathbb {B}})\) is defined by
where \(W^{m,p}_{w,0}(int{\mathbb {B}})\) denotes the closure of \(C_{0}^{\infty }(int {\mathbb {B}})\) in weighted Sobolev space \(W^{m,p}_{w}({\tilde{X}})\) when \({\tilde{X}}\) is closed compact \(C^{\infty }\)manifold of dimension n containing \({\mathbb {B}}\) as a submanifold with boundary.
Definition 2.6
Let \({\mathbb {B}} = [0,1) \times X.\) We say that \(u(x)\in L^{\gamma }_{p,w}({\mathbb {B}})\) with \(1< p < \infty , \gamma \in {\mathbb {R}},\) if
3 Nonlinear Dirichlet boundary weighted Fuchsian–p-Laplacian problems
In this section, we first consider a weight function w which is satisfying on some conditions and then we obtain a special case of the Caffarelli–Kohn–Nirenberg inequality on weighted cone Sobolev space. As an application of this inequality in the second part of this section, we consider non-linear Drichlet boundary weighted Fuchsian–p-Lapcian problem on manifold with conical singularity and obtain a existence result of the problem.
For each \(x\in {\mathbb {B}} = [0,1)\times X ,\) we set \(m_{i} = \inf \nolimits _{x\in {\mathbb {B}}} x_{i}, M_{i} = \sup \nolimits _{x\in {\mathbb {B}}} x_{i}.\) For each \(i\in \{1,\ldots ,n\}\) let \(w_{i}:[m_{i} , M_{i}]\rightarrow {\mathbb {R}}\) be a functions of class \(C^{1}.\) Let \(\vec {w}:{\mathbb {B}}\rightarrow {\mathbb {R}}^{n}\) be defined by
We assume that there exists \(w_{0}>0\) a constant such that
Theorem 3.1
Suppose that \(\vec {w}(x)\) is defined as above and satisfy conditions 3.1 Then there exists a positive constant C such that
Proof
Moreover, one can conclude from the flux-convergence theorem that for each \(u\in C_{0}^{1}({\mathbb {B}})\)
Therefore,
A typical Young’s inequality states that for any \(\varepsilon >0\) and each \(a,b\ge 0\) we have
Then we can take \(\varepsilon >0\) such that \(p\varepsilon < w_{0},\) where \(w_{0}\) is given by relation3.1. Thus,
On the other hand, for any \(u\in C_{0}^{1}({\mathbb {B}})\)
Therefore
The proof of theorem is complete. \(\square \)
Remark 3.2
The result of Theorem 3.1 implies the fact that under condition 3.1 there exists a positive constant K such that,
Hence, we deduce that
The above relation asserts that in this case the first eigenvalue of the Fuchsian–p-Laplacian operator.
Now, we show the existence of weak solution for problem
where \(2< q< p < 2^{*}\) and \(\lambda \) is a positive constant. We say that \(u\in {\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({{\mathbb {B}}})\) is a weak solution of problem 3.9 if
for any \(v\in {\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({{\mathbb {B}}}).\)
The following proposition will be used for solving our problem.
Proposition 3.3
If \(2\le q<p<2^{*}\) then \({\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({\mathbb {B}})\hookrightarrow {\mathcal {H}}^{0,\frac{n}{q}}_{q,0}({\mathbb {B}} )\) is compact.
Proof
From Definition 2.5
and
From Theorem 3.1 and classic embedding theorem we have the embedding \([1-\kappa ]\mathrm {W}_{w,0}^{1,p}(int{\mathbb {B}})\hookrightarrow [1-\kappa ]L^{q}(int{\mathbb {B}})\) is compact for \(2\le q<p<2^{*}.\) In fact, let \({u_{n}}\) be bounded sequence in \(\mathrm {W}_{w,0}^{1,p}(int{\mathbb {B}}).\) By Theorem 1 it follows that \({u_{n}}\) is a bounded sequence in \(L^{p}(int{\mathbb {B}}).\) Consequently,\({u_{n}}\subset \mathrm {W}_{0}^{1,p}(int{\mathbb {B}})\) is a bounded sequence. The classical compact embedding theorem shows that there exists a convergence subsequence of \({u_{n}},\) still denoted by \({u_{n}},\) in \(L^{q}(int{\mathbb {B}}).\) Thus \([1-\kappa ]\mathrm {W}_{w,0}^{1,p}(int{\mathbb {B}})\) is compactly embedded in \(L^{q}(int{\mathbb {B}}).\) It is sufficient to show that the embedding \([\kappa ]{\mathcal {H}}^{1,\frac{n}{p}}_{p,w}(\hat{\mathrm {X}})\hookrightarrow [\kappa ]{\mathcal {H}}^{0,\frac{n}{q}}_{q,0}(\hat{\mathrm {X}})\) is compact. For \(m\in {\mathbb {N}},\gamma \in {\mathbb {R}},\) and \(1<l<\infty ,\) we define
for \(v(x_{1},x')\in {\mathcal {H}}^{m,\gamma }_{l,w}(\hat{\mathrm {X}}).\) Then \(S_{\frac{n}{l},\gamma }\) induces an isomorphism as follows,
with a cut-off function \({\tilde{\kappa }}(r)=\kappa (e^{-r})\in C^{\infty }_{0}({\mathbb {R}}_{+}).\) In the present case, we take \(\gamma =\frac{n}{q},\) and \(l=q\) for \(u(x_{1},x')\in {\mathcal {H}}^{0,\frac{n}{q}}_{q}(\hat{\mathrm {X}}).\) Thus we have the following isomorphism mapping
i.e.
Analogously if we take \(l= p,\)\(\gamma =\frac{n}{p}\) and \(v(x_{1},x')\in {\mathcal {H}}^{1,\frac{n}{p}}_{p,w}(\hat{\mathrm {X}}),\) then we have an isomorphism
i.e.
Moreover,\(S_{\frac{n}{q},\frac{n}{q}}\) induces another isomorphism. In fact, for every \(v(x_{1},x')\in {\mathcal {H}}^{1,\frac{n}{p}}_{p,w}(\hat{\mathrm {X}}),\) one has
and then the mapping
is also an isomorphism. Since the embedding \([{\tilde{\kappa }}]\mathrm {W}^{1,p}_{w,0}({\mathbb {R}}\times \mathrm {X}) \hookrightarrow [{\tilde{\kappa }}]\mathrm {L}^{q}({\mathbb {R}}\times \mathrm {X})\) is compact, so from isomorphisms 3.10 and 3.11 the embedding \([\kappa ]{\mathcal {H}}^{1,\frac{n}{p}}_{p,w}(\hat{\mathrm {X}})\hookrightarrow [\kappa ]{\mathcal {H}}^{0,\frac{n}{q}}_{q,0}(\hat{\mathrm {X}})\) is compact. \(\square \)
Theorem 3.4
The Dirichlet boundary value problem 3.9 has a non-trivial solution in the weighted Sobolev space \({\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({{\mathbb {B}}}).\)
Proof
In order to prove Theorem 3.4, we define,for each \(\lambda >0,\) the energy functional associated with problem 3.9, which is defined on \({\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({{\mathbb {B}}}),\)
Standard arguments show that \(J_{\lambda }\in C^{1}({\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({{\mathbb {B}}}),{\mathbb {R}})\) and its derivative is given by
for all \(u,v\in {\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({{\mathbb {B}}}).\) We infer that u is a solution of problem 3.9 if and only if it is a critical point of \(J_{\lambda }.\) Consequently, we concentrate our efforts on finding critical points of \(J_{\lambda }.\) In this context we prove the following assertion:
- (a):
-
The functional \(J_{\lambda }\) is weakly lower semi-continuous.
- (b):
-
The functional \(J_{\lambda }\) is bounded from below and coercive.
- (c):
-
There exists \(\psi \in {\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({{\mathbb {B}}})-\{0\}\) such that \(J_{\lambda }(\psi )<0.\)
The arguments as in the prove (a), (b) and (c) are detailed below.
(a) By the Poincare’ inequality, there exist constant C, such that the following estimates
hold, so we will use the standard form \(||u||_{{\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({\mathbb {B}})} =||\nabla _{{\mathbb {B}}}u||_{{L}^{\frac{n}{p}}_{p,w}({\mathbb {B}})}.\)
Suppose
by Sobolev embedding there exist a constant \(C_{1}\) such that
Now apply Theorem 3.1 there exist a constant \(C_{2}\) such that
accordingly there exist a constant C which \(I(u)\le C ||\nabla _{{\mathbb {B}}}u||_{{L}^{\frac{n}{p}}_{p,w}({\mathbb {B}})}^{p}.\) So I(u) is weakly lower semi-continuous. That is, let \((u_{n})\subset {\mathcal {H}}^{1,\frac{n}{p}}_{p,w}({\mathbb {B}})\) be a sequence which weakly convergence to u in \({\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({\mathbb {B}}),\) Then we have
On the other hand, since \({\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({\mathbb {B}})\) is compactly embedded in \({L}^{\frac{n}{q}}_{q}({\mathbb {B}})\) it follows that \((u_{n})\) convergence strongly to u in \({L}^{\frac{n}{q}}_{q}({\mathbb {B}})\) that is,
such that \(J_{\lambda }(u)\le \liminf _{n\rightarrow \infty }J_{\lambda }(u_{n}).\) Therefore, \(J_{\lambda }\) is weakly lower semi-continuous.
(b) By proposition 3.3 for any \(u\in {\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({\mathbb {B}}),\) there exists a positive constant K such that
From \(2<q<p\) we have \(\lim J_{\lambda }(u) = \infty ,\) as \(||u||_{{\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({\mathbb {B}})}\rightarrow \infty ,\) that is \(J_{\lambda }\) is coercive. On the other hand, it is clear that for \(u\in {\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({\mathbb {B}})\) we have
and thus \(J_{\lambda }\) is bounded from below.
(c) We fix \(0\ne \varphi \in C_{c}^{1}({\mathbb {B}}),\) Then for each \(t\in (0,1)\)
Applying Sobolev embedding and Theorem 3.1 there exist C such that
that \(q< p.\)
Thus, there exist two positive constants \(L_{1}\) and \(L_{2}\) such that for each \(t\in (0,1)\)
By this inequality, we infer that for any \(t\in (0,\min \{1,(\frac{L_{2}}{L_{1}})^{\frac{1}{p-q}}\})\)
From (a), (b) and (c) in relation to [13] theorem 1.2 shows that there exists \(u_{\lambda }\in {\mathbf {H}}^{1,\frac{n}{p}}_{p,w}({\mathbb {B}})\) as a global minimum point of \(J_{\lambda }.\) Moreover, from (c) we have \(u_{\lambda }\ne 0.\) Standard arguments based on theorem(2) we have that \(u_{\lambda }\) is a critical point of \(J_{\lambda }\) and thus, a nontrivial weak solution of problem 3.9, so the proof of Theorem 3.4 will be complete. \(\square \)
References
Alimohammady, M., Kalleji, M.K.: Existence result for a class of semilinear totally characteristic hypoelliptic equations with conical degeneration. J. Funct. Anal. 265, 2331–2356 (2013)
Bozhkov, Y.: A Caffarelli–Kohn–Nirenberg type inequality on Riemannian manifolds. Appl. Math. Lett. 23, 1166–1169 (2010)
Caffarelli, L., Kohn, R., Nirenberg, L.: First order interpolation inequalities with weights. Compos. Math. 53, 259–275 (1984)
Chen, H., Liu, X., Wei, Y.: Existence theory for a class of semilinear totally characteristic elliptic equations with critical cone Sobolev exponents. Ann. Glob. Anal. Geom. 37, 27–43 (2011)
Costa, D.G.: Some new and short proofs for a class of Caffarelli–Kohn–Nirenberg type inequalities. J. Math. Anal. Appl. 337, 311–317 (2008)
D ávila, J., Perla, I.: Nonlinear elliptic problems with a singular weight on the boundary. Calc. Var. Partial Differ. Equ. 41(3–4), 567–586 (2011)
Egorov, V., Schulze, B.W.: Pseudo-Differential Operators, Singularities, Applications. Birkhäuser Verlage, Basel (1997)
Ghoussoub, N., Robert, F.: Sobolev inequalities for the Hardy–Schrdinger operator: extremals and critical dimensions. Bull. Math. Sci. 6(1), 89–144 (2016)
Hardy, G.H., Littlewood, J.E., Plya, G.: Inequalities, 2nd edn. University Press, Cambridge (1952)
Kang, D.: Positive solutions to the wehted critical quasilinear problems. Appl. Math. Comput. 213, 432–439 (2009)
Kang, D.: Some properties of solutions to the singular quasilinear problems. Nonlinear Anal. 72, 682–688 (2010)
Pucci, P., Servadei, R.: Existence, non-existence and regularity of radial ground states for p-Laplacain equations with singular weights. Ann. Inst. H. Poincare Anal. Non Lineaire 25, 505–537 (2008)
Struwe, M.: Variational Methods: Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems. Springer, Heidelberg (1996)
Schulze, B.W.: Boundary Value Problems and Singular Pseudo-Differential Operators. Wiley, Chichester (1998)
Schrohe, E., Seiler, J.: Ellipticity and invertibility in the cone algebra on \(L_{p}\)-Sobolev spaces. Integr. Equ. Oper. Theory 41, 93–114 (2001)
Xia, C.: The Caffarelli–Kohn–Nirenberg inequalities on complete manifolds. Math. Res. Lett. 14, 875–885 (2007)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Jafari, A.A., Alimohammady, M. Conic type Caffarelli–Kohn–Nirenberg inequality on manifold with conical singularity. J. Pseudo-Differ. Oper. Appl. 10, 915–927 (2019). https://doi.org/10.1007/s11868-018-0243-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11868-018-0243-2
Keywords
- Caffarelli–Kohn–Nirenberg-type inequality
- Nonlinear elliptic equations
- Partial differential equations on manifolds