Abstract
We consider a multiphase spectral problem on a stratified Lie group. We prove the existence of an eigenfunction of (2, q)-eigenvalue problem on a bounded domain. Furthermore, we also establish a Pohozaev-like identity corresponding to the problem on the Heisenberg group.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we shall study the following problem
where \(\Omega \subset {\mathbb {G}}\) is a bounded subdomain of a stratified Lie group \({\mathbb {G}}\). We shall further assume the following condition on the exponent q
where \(2^*:=\frac{2Q}{Q-2}\) and Q is the homogeneous dimension of the group \({\mathbb {G}}\). This is a new direction of studying the multiphase eigenvalue problem because the problem is considered on a stratified Lie group.
The interest towards the eigenvalue problems like the one in problem (1.1) is not only restricted to within the mathematical community but is also of interest to physicists since it has a relation with the spectral optimization theory, bifurcation theory, fluid and quantum mechanics (see Lê [22], Lindqvist [23]). Interested readers may note that the study of elliptic PDEs involving the p-Laplacian operator is of interest in the theory of non-Newtonian fluids, both for the case \(p \ge 2\) (dilatant fluids) and the case \(1<p<2\) (pseudo-plastic fluids), see Astarita-Marrucci [3]. It is also of geometrical interest for \(p \ge 2\), some of which is discussed in Uhlenbeck [31].
As far as the nonlocal elliptic problems are concerned, we refer to Zhao et al. [34] who considered a nonlocal elliptic problem driven by a nonlinearity, obeying certain conditions. Saoudi et al. [30] proved the existence, multiplicity and regularity of solutions of a nonlocal elliptic PDE, driven by a singular and a power nonlinearity. The reader may also check Bouabdallah et al. [6], and Zhao et al. [34], to understand the trends in research on nonlocal elliptic PDEs, driven by nonlinearities of various types, which were naturally motivated by the literature in the local case. For the latter, we point out for example, Zeddini [32]. However, since our paper is purely of mathematical interest, we further refer the reader to Sect. 2 for the work due to Dipierro-Valdinoci [12], to learn more about the theory of phase transitions and the associated mathematics involved.
Interesting contributions related to (1.1) can be found in the literature, see e.g., Alves-Covei [1], Corrêa et al. [11]. For example, in Alves and Covei [1], the sub-supersolution method was applied to establish the existence of solutions for
where \(\Lambda \subset {\mathbb {R}}^n\) is a bounded smooth domain, and \(a,f,g,h_{i}\) (\(i=1,2\)) are given functions with sufficient regularity. In the case of the \(p-\)Laplacian, Corrêa et al. [11] combined the sub-supersolutions method with a classical theorem due to Rabinowitz [28]. As a result, they were able to prove the existence of solutions for the quasilinear problem
where \(\alpha \) is a nonnegative function defined on \({\bar{\Omega }}.\) The works of Arora-Rădulescu [2], Bahrouni-Rădulescu [4], Garain et al. [16], Gou-Rădulescu [19], Razani-Behboudi [29] and Zhang-Rădulescu [33], where the multiphase problems were studied, are also of interest here.
We now state the first main results of the paper:
Theorem 1.1
Let \(0<s<1\) and \(1<q<2^*\). Assume that \(\lambda >0\) and \(u\in X{\setminus }\{0\}\) is an eigenvalue and the corresponding eigenfunction. Then u is bounded. Furthermore, if u is nonnegative on \(\Omega \), then \(u>0\) on \(\Omega \). Moreover, for every relatively compact subset \(\omega \subset \Omega ,\) there exists a positive constant \(c(\omega )\) such that \(u\ge c>0\) on \(\omega \).
Our second main result is a Pohozaev-like identity for the Brezis-Nirenberg problem, albeit on a Heisenberg group \({\mathbb {H}}^n,\) which is a particular type of stratified Lie group.
Theorem 1.2
The following Pohozaev-like identity corresponding to (1.1) holds
We complete the introduction by describing the structure of the paper. In Sect. 2, we review the fundamentals of stratified Lie groups. We also prove an embedding result in the Lie group setup. In Sect. 3, we introduce two key operators A and B, which are necessary for the proof of the first main result. In Sect. 4, we prove the first main result (Theorem 1.1). In Sect. 5, we establish the second main result (Theorem 1.2). For all fundamental material used in this paper we refer the reader to the comprehensive monograph by Papageorgiou et al. [27].
2 Stratified Lie groups
A quick sneak into the basics of stratified Lie groups may be useful to the reader (see Choudhuri-Repovš [9], Choudhuri et al. [10], Folland et al. [14], Ghosh et al. [18], Montgomery [26], and the references therein). This is why we now recall some fundamental definitions from this topics.
Definition 2.1
A Lie group \({\mathbb {G}}\) on \({\mathbb {R}}^n\), is said to be homogeneous, if for every \(\delta >0\) there exists an automorphism \(T_{\delta }:{\mathbb {G}}\rightarrow {\mathbb {G}}\) defined by
The map \(T_{\delta }\) is called a dilation on \({\mathbb {G}}\). Here, \(x=(x_1,x_2,\ldots ,x_n)\).
The number n represents the topological dimension of \({\mathbb {G}}\), whereas the number \(M=r_1+r_2+\cdots +r_n\) represents the homogeneous dimension of the homogeneous Lie group \({\mathbb {G}}\). We shall denote Haar measure by the symbol dx, which is the standard Lebesgue measure on \({\mathbb {R}}^n\). The following is the definition of a stratified Lie group.
Definition 2.2
A homogeneous Lie group \({\mathbb {G}}=({\mathbb {R}}^n,\cdot )\) is called a stratified Lie group (or a homogeneous Carnot group) if the following two conditions hold:
-
(i)
The decomposition \({\mathbb {R}}^n={\mathbb {R}}^{n_1}\times {\mathbb {R}}^{n_2}\times \cdots \times {\mathbb {R}}^{n_k}\) holds for some natural numbers \(n_1,n_2,\ldots ,n_k\) such that \(n_1+n_2+\cdots +n_k=n\). Furthermore, for every \(\delta >0\) there exists a dilation of the form \(T_{\delta }(x)=(\delta ^1 x^{(1)},\delta ^2 x^{(2)},\ldots ,\delta ^k x^{(k)})\) which is an automorphism of the group \({\mathbb {G}}\). Here, \(x^{(i)}\in {\mathbb {R}}^{n_i}\) for every \(i=1,2,\ldots ,k\).
-
(ii)
Let \(n_1\) be the same as in the above decomposition of \({\mathbb {R}}^n\), and let \({\mathcal {L}}_1,{\mathcal {L}}_2,\ldots ,{\mathcal {L}}_{n_1}\) be the left invariant vector fields on \({\mathbb {G}}\) such that \({\mathcal {L}}_i(0)=\frac{\partial }{\partial x_i}|_{0}\) for \(i=1,2,\ldots ,n_1\). Then the Hörmander rank condition holds for every \(x\in {\mathbb {R}}^n\), i.e., rank(Lie\(\{{\mathcal {L}}_1,{\mathcal {L}}_2,\ldots ,{\mathcal {L}}_{n_1}\})=n\). Roughly speaking, the Lie algebra corresponding to the Lie group \({\mathbb {G}}\) is spanned by the iterated commutators of \({\mathcal {L}}_1,{\mathcal {L}}_2,\ldots ,{\mathcal {L}}_{n_1}\).
Together, the structure \(({\mathbb {R}}^n,\cdot ,T_{\delta })\) is called a stratified Lie group. The number k is called the step of the homogeneous Carnot group. In the case of a stratified Lie group, the homogeneous dimension becomes
Let \({\mathfrak {G}}\) be a Lie algebra associated to a Lie group \({\mathbb {G}}\). A stratification of \({\mathfrak {G}}\) with step k is a direct sum decomposition
of \({\mathfrak {G}}\) with the property that \(V_k\ne \{0\}\) and \([V_2,V_j]=V_{j+1}\), for every \(j=1,2,\ldots ,k\), where we set \(V_{k+1}=\{0\}\). Here \([V,W]:=\text {span}\{[X,Y]:X\in V, Y\in W\}\).
Throughout the paper, we set \(n=n_1\) in Definition 2.2. The operators \({\mathcal {L}}\) and \((-\Delta )^s\) are the Laplacian and the fractional Laplacian, respectively that are defined as follows:
where for every i the vector field \(X_i\) are left invariant. The subgradient is the \(n_1\)-dimensional vector given by
The operators \({\mathcal {L}}\) and \(\nabla _{{\mathbb {G}}}\) are left invariant differential operators. For each real \(\delta \), the naturally associated dilation with a stratified Lie group is given by
The fractional Sobolev space \(W^{s,2}(\Omega )\), \(0<s<1\), is defined by
and is equipped with the norm
However, in order to study the mixed problem we shall consider the space
endowed with the norm
which is more appropriate for our study.
The continuous and compact embedding theorems also hold (see Hasłasz-Koskela [20, Theorem 8.1]). We can now state the result collectively as follows.
Theorem 2.3
Let \(\Omega \subset {\mathbb {G}}\) be a bounded domain and \(1\le p <Q\). Then \(W_0^{1,p}(\Omega )\) is continuously embedded in \(L^q(\Omega )\) for every \(1 \le q \le p^*:=\frac{Qp}{Q-p}\). Moreover, the embedding is compact for every \(1 \le q < p^*\).
We now prove the embedding result along the lines of Buccheri et al. [7].
Theorem 2.4
For every \(p \in (1,\infty )\) and \(s \in (0, 1)\), there exists a constant \(C = C(N,s,\Omega )\) such that \(C_p = C_p(Q,s,\Omega ) \rightarrow C \in (0,\infty )\) as \(p \rightarrow \infty \) and
for every \(v\in W_0^{1,p}(\Omega ),\) where \({\bar{v}}\) is the extension of v to 0 in \(\Omega \).
Proof
Let \({\bar{v}}\) be an extension of \(v\in W_0^{1,p}(\Omega )\) by 0. This implies that \(\Vert \nabla {\bar{v}}\Vert _{L^p({\mathbb {R}}^n)}=\Vert \nabla {\bar{v}}\Vert _{L^p(\Omega )}\). Consider,
We shall estimate only the first term since the second one can be estimated similarly. Let \(B_{\rho }(x)\) denote the ball centered at \(x\in \Omega \) with radius \(\rho \). Then we have:
where \(L_z, T_t\), respectively, stand for translation by z and multiplication by t, and \(\omega _Q\) stands for the volume of a unit ball in a stratified Lie group whose homogeneous dimension is Q.
On the other hand, we have by the Poincaré inequality that
This completes the proof of Theorem 2.4. \(\square \)
Remark 2.5
X is a real separable and reflexive Banach space (see Ghosh et al. [18]).
Remark 2.6
For fine bounds on the best constants of the Sobolev embedding \(W_0^{s,p}(\Omega )\hookrightarrow L^q(\Omega )\) in the Euclidean setup one may refer to Cassini-Du [8].
3 Operators \(A:X\rightarrow X^*\) and \(B:L^q(\Omega )\rightarrow (L^q(\Omega ))^*\)
We define an eigenpair for problem (1.1).
Definition 3.1
We say that \((\lambda ,u)\in {\mathbb {R}}\times X{\setminus }\{0\}\) is an eigenpair for problem (1.1) if for every \(\phi \in X\), we have
Note that Theorem 2.4 guarantees that eigenpairs are well-defined. Next, we define the operators \(A:X\rightarrow X^*\) by
and \(B:L^q(\Omega )\rightarrow (L^q(\Omega ))^*\) by
where the symbols \(X^*\), \((L^q(\Omega ))^*\) denote the dual of X, \(L^q(\Omega ),\) respectively. We prove the following theorem about their properties.
Theorem 3.2
The operators \(A:X\rightarrow X^*\) and \(B:L^q(\Omega )\rightarrow (L^q(\Omega ))^*\) are continuous. Moreover, A is bounded, coercive, and monotone.
Proof
Continuity: Suppose that \(v_j\in X\) is such that \(v_j\rightarrow v\) in the norm of X. Thus, a combination of Egoroff’s theorem and the Sobolev embedding, we have up to a subsequence \(\nabla _{{\mathbb {G}}} v_j(x)\rightarrow \nabla _{{\mathbb {G}}} v(x)\) a.e. in \(\Omega \). We note that
for some constant \(c>0\) independent of j. Therefore, up to a subsequence, we have
In addition, we also have
and since this weak limit is independent of the choice of the subsequence, it follows by (3.5) and (3.6) that
This proves that A is continuous. It follows by a similar argument that B is also continuous.
Boundedness: By the Cauchy–Schwarz and the Hölder inequalities, we have
hence,
therefore A is bounded.
Coercivity: We notice that
which provides that A is coercive.
Monotonicity: For \(u\in X\), let
Considering the following
we conclude that A is monotone. This completes the proof of Theorem 3.2. \(\square \)
4 Proof of Theorem 1.1
We shall need the following results in the sequel.
Theorem 4.1
Let \(0<s<1\) and \(1<q<2^*\). Then the following properties hold:
-
1.
There exists a sequence \((w_j)\subset X\cap L^q(\Omega )\) such that \(\Vert w_j\Vert _{L^q(\Omega )}=1\) and for every \(\phi \in X\), we have
$$\begin{aligned}{} & {} \int _{\Omega }\nabla _{{\mathbb {G}}}w_j\cdot \nabla _{{\mathbb {G}}}\phi dx+\iint _{{\mathbb {G}}\times {\mathbb {G}}}\frac{(w_j(x)-w_j(y))(\phi (x)-\phi (y))}{|y^{-1}\cdot x|^{Q+2s}}dxdy \nonumber \\{} & {} \quad =\mu _n\Vert w_j\Vert _{L^q(\Omega )}^{2-q}\int _{\Omega }|w_j|^{q-2}w_j\phi dx, \end{aligned}$$(4.1)where
$$\begin{aligned} \mu _j\ge \lambda :=\inf \{\int _{\Omega }|\nabla _{{\mathbb {G}}}u|^2dx+\iint _{{\mathbb {G}}\times {\mathbb {G}}}\frac{|u(x)-u(y)|^2}{|y^{-1}\cdot x|^{Q+2s}}dxdy:u\in X\cap L^q(\Omega ), \Vert u\Vert _{L^q(\Omega )}=1\}. \end{aligned}$$ -
2.
The sequences \((\mu _j)\) and \((\Vert w_{j+1}\Vert ^p)\) satisfying (4.1) are nonincreasing and they converge to the same limit \(\mu \), which is bounded below by \(\lambda \). Moreover, there exists a subsequence \((n_j)\) such that both \((w_{j_i})\) and \((w_{j_{i+1}})\) converge in X to the same limit \(w\in X\cap L^q(\Omega )\) with \(\Vert w\Vert _{L^q(\Omega )}=1,\) and \((\mu ,w)\) is an eigenpair for problem (1.1).
Proof
One can follow the argument of the proof of Garain-Ukhlov [17, Theorem 2.2]. \(\square \)
Theorem 4.2
Let \(0<s<1\) and \(1<q<2^*\). Suppose that \((u_j)\subset X\cap L^q(\Omega )\) is such that \(\Vert u_j\Vert _{L^q(\Omega )}=1\) and \(\underset{j\rightarrow \infty }{\lim }\Vert u_j\Vert ^p=\lambda \). Then there exists a subsequence \((u_{j_i})\) which converges weakly in X to \(u\in X\cap l^q(\Omega )\) with \(\Vert u\Vert _{L^q(\Omega )}=1\) such that
Moreover, \((\lambda ,u)\) is an eigenpair for problem (1.1) and every associated eigenfunction of \(\lambda \) is a scalar multiple of the vector at which \(\lambda \) is reached.
Proof
One can follow the argument of the proof of Garain-Ukhlov [17, Theorem 2.2]. However, we prefer to apply Ercole [13, Proposition 2] in place of Ercole [13, Theorem 1]. \(\square \)
We are now in a position to prove our first main result.
Proof of Theorem 1.1
Since (1.1) is homogeneous, we can without loss of generality, let \(\Vert u\Vert _q=1\). Furthermore, for every \(k\ge 1,\) let \(\Omega _k:=\{x\in \Omega :u(x)>k\}\) and \(v:=(u-k)_+\) be a test function for (3.1). With these choices we obtain
The second term on the left hand side of (4.2) is nonnegative and hence
We split the proof into two parts.
First case: \(q\le 2\). Since \(k\ge 1\), we have \(u^{q-1}\le u\) on \(\Omega _k\). From (4.3) we have
where the last inequality is obtained using \(a+b\le 2(a+b)\). Using the Sobolev inequality we get
where S is the best Sobolev constant. Note that \(\Vert u\Vert _{1}\ge k|\Omega _k|\) and therefore, for every \(k\ge k_* = \) \((4S\lambda )^{\frac{N}{2}} \Vert u\Vert _{1},\) we have
Using (4.4), for every \( k\ge \max \{ k_*, 1\},\) we obtain
and invoking the Hölder inequality and the estimate (4.6), we find
so taking into account (4.7), we conclude by invoking Ladyzhenskaya-Ural’tseva [21, Lemma 5.1] (which holds irrespective of the group structure on \({\mathbb {R}}^n\)), to get \( u \in L^{\infty } (\Omega ).\)
Second case: \(q>2.\) Using the inequality
in (4.1), we get
and using the Sobolev inequality with \(r = q\) in estimate (4.8), we find
where \(S>0\) is the Sobolev constant. Since
and \( q>2,\) the quantity on the left-hand side of (4.9) can be estimated from below as follows:
Let
and note that it is positive since \(1<q<2^*.\) Choose \(K_1 =(S\lambda 2^q)^{\frac{1}{\alpha }}\Vert u\Vert _{1}.\) Then since \( k|\Omega _k| \le \Vert u\Vert _{1}, \) for every \(k \ge k_*,\) we have
Using this property in (4.11), we obtain
so by the Hölder inequality and the estimate (4.12), we arrive at the following estimate
Taking into account (4.13) and invoking Ladyzhenskaya-Ural’tseva [21, Lemma 5.1], we get \(u \in L^{\infty } (\Omega ).\)
The other assertion follows by Garain-Kinnunen [15, Theorem 8.4] which considers the following problem:
where \(1<p<\infty \) and
here P.V. denotes the principle value. The weak Harnack inequality proved in Garain-Kinnunen [15] also works for the Dirichlet boundary condition \(u|_{\partial \Omega }=0\). In addition, we note that the proof of Garain-Kinnunen [15, Theorem 8.4] works even for a sub-Laplacian \({\mathcal {L}}\) that acts on functions defined on a stratified Lie group since the group structure does not affect the proof of the result. Let us denote v to be a nonnegative solution of problem (1.1). On subtracting the weak formulation of (4.14) (for \(p=2\)) from (1.1) we get
which implies
hence the Lebesgue measure of the set \(\{x\in \Omega :v(x)\le u(x)\}\) is zero and therefore \(v\ge u\) a.e. in \(\Omega \). By [15], we already have \(u>0\) on any compact subset of \(\Omega \) and hence we have the same conclusion for v. This completes the proof of Theorem 1.1. \(\square \)
5 Proof of Theorem 1.2
A natural question to raise at this juncture is what happens when \(q=2^*\)? Of course, it is impossible to figure out the answer for a general stratified Lie group involving a fractional Laplacian - owing to the unavailability of the derivative of the distance function. However, in order to be able to answer this question, we shall study the Brezis-Nirenberg type of problem on a Heisenberg group \({\mathbb {G}}:={\mathbb {H}}^n \) (see Molica Bisci-Repovš [25]) for which we shall establish a Pohozaev-like identity. The problem is as follows:
Let
be the primitive of the continuous function g. The vector fields
generate the Lie algebra corresponding to the Heisenberg group \({\mathbb {H}}^n\) of topological dimension \(2n+1\). The corresponding group law for \((a,b,c),(a',b'c')\in {\mathbb {R}}^{2n}\times {\mathbb {R}}\) is
Under this group law, the inverse is \((a,b,c)^{-1}=(-a,-b,-c)\) and the identity is (0, 0, 0). The distance function for a Heisenberg group is defined as
However, before we establish a Pohozaev-like identity, we need to prove Theorem 5.1.
Theorem 5.1
Suppose that \(u_1,u_2\in W^{1,1}({{\mathbb {H}}^n})\) have disjoint compact supports, say \(\Omega _1, \Omega _2,\) respectively. Then
where \({\bar{x}}=(x_1^{(1)},x_2^{(1)},\ldots ,x_{N_1}^{(1)},\ldots ,rx_1^{(r)},rx_2^{(r)}, \cdots ,rx_{N_r}^{(r)})\) and \(\nabla _{{\mathbb {H}}^n}\) is the subgradient corresponding to the Heisenberg group \({\mathbb {H}}^n\).
Proof of Theorem 5.1
We first claim that
Clearly, we have \(u_j\equiv 0\) on \({\mathbb {H}}^n{\setminus }\Omega _i\) and hence using the definition of \((-\Delta )^s\) for \(x\in {\mathbb {H}}^n{\setminus }\Omega _i,\) we obtain
hence
so integrating by parts along with (5.4), we obtain
thus, by again integrating by parts,
and the equality (5.2) follows. This completes the proof of Theorem 5.1\(\square \)
Proof of Theorem 1.2
We shall follow the standard technique of deriving the identity - by multiplying the PDE in (5.1) by
We note of that \(\text {div}Z=Q\). Invoking Bonfiglioli et al. [5, Proposition 1.6.1] and integrating by parts, we get
Combining (5.9) with Theorem 5.1 and Louidice [24, Equation (4.15) in Theorem 4.1], the identity can be stated as follows:
This completes the proof of Theorem 1.2. \(\square \)
Remark 5.2
Using Theorem 1.2, one can show that problem (5.1) when defined on a star-shaped domain \(\Omega ,\) has no nontrivial solutions for any \(\lambda <0\). This is because Eq. (5.2) yields
This is absurd and hence there exists no nontrivial solution to the problem if \(\lambda <0\) and the domain \(\Omega \) is star-shaped.
References
Alves, C.O., Covei, D.P.: Existence of solutions for a class of nonlocal elliptic problem via subsupersolution. Nonlinear Anal. Real World Appl. 23, 1–8 (2015)
Arora, R., Rădulescu, V.D.: Combined effects in mixed local-nonlocal stationary problems. Proc. R. Soc. Edinb. Sect. A Math. (2023). https://doi.org/10.1017/prm.2023.80
Astarita, G., Marrucci, G.: Principles of Non-Newtonian Fluid Mechanics. McGraw-Hill, New York (1974)
Bahrouni, A., Rădulescu, V.D., Repovš, D.D.: Nonvariational and singular double phase problems for the Baouendi–Grushin operator. J. Differ. Equ. 303(5), 645–666 (2021)
Bonfiglioli, A., Lanconelli, E., Uguzzoni, F.: Stratified Lie Groups and Potential Theory for Their Sub-Laplacians. Springer, Berlin (2007)
Bouabdallah, M., Chakrone, O., Chehabi, M., Zuo, J.: Solvability of a nonlocal fractional \(p\)-Kirchhoff type problem. Rend. Circ. Mat. Palermo (2) 72(8), 3971–3985 (2023)
Buccheri, S., da Silva, J.V., de Miranda, L.H.: A system of local/nonlocal \(p\)-Laplacians: the eigenvalue problem and its asymptotic limit as \(p\rightarrow \infty \). Asymptot. Anal. 128(2), 149–181 (2022)
Cassani, D., Du, L.: Fine bounds for best constants of fractional subcritical Sobolev embeddings and applications to nonlocal PDEs. Adv. Nonlinear Anal. 12(1), 27 (2023)
Choudhuri, D., Repovš, D.D.: On semilinear equations with free boundary conditions on stratified Lie groups. J. Math. Anal. Appl. 518(1), 17 (2023)
Choudhuri, D., Tavares, L.S., López, J.A.A.: A study of a critical hypoelliptic problem in a stratified Lie group. Complex Var. Ell. Equ. 18, 2024. https://doi.org/10.1080/17476933.2024.2310217
Corrêa, F.J.S.A., Figueiredo, G.M., Lopes, F.P.M.: On the existence of positive solutions for a nonlocal elliptic problem involving the p-Laplacian and the generalized Lebesgue space \(L^{p(x)}(\Omega )\). Differ. Integral Equ. 21(3–4), 305–324 (2008)
Dipierro, S., Valdinoci, E.: Some perspectives on (non)local phase transitions and minimal surfaces. Bull. Math. Sci. 13(1), 77 (2023)
Ercole, G.: Solving an abstract nonlinear eigenvalue problem by the inverse iteration method. Bull. Braz. Math. Soc. 49(3), 577–591 (2018)
Folland, G.B., Stein, E.M.: Hardy Spaces on Homogeneous Groups, Mathematical Notes, vol. 28. Princeton University Press, Princeton (1982)
Garain, P., Kinnunen, J.: On the regularity theory for mixed local and nonlocal quasilinear elliptic equations. Trans. Am. Math. Soc. 375(8), 5393–5423 (2022)
Garain, P., Pchelintsev, V., Ukhlov, A.: On the Neumann \((p,q)\)-eigenvalue problem in Hölder singular domains. arXiv:2301.11037
Garain, P., Ukhlov, A.: Mixed local and nonlocal Dirichlet \((p, q)\)-eigenvalue problem. J. Math. Sci. 270(6), 782–792 (2023)
Ghosh, S., Kumar, V., Ruzhansky, M.: Compact embeddings, eigenvalue problems, and subelliptic Brezis-Nirenberg equations involving singularity on stratified Lie groups. Math. Ann. 388, 4201–4249 (2024)
Gou, T., Rădulescu, V.D.: Non-autonomous double phase eigenvalue problems with indefinite weight and lack of compactness. Bull. London Math. Soc. 56(2), 734–755 (2024)
Hajłasz, P., Koskela, P.: Sobolev met Poincaré. Mem. Am. Math. Soc. 145(688), 101 (2000)
Ladyzhenskaya, L., Ural’tseva, N.N.: Linear and Quasilinear Elliptic Equations. Academic Press, New York (1968)
Lê, A.: Eigenvalue problems for the \(p\)-Laplacian. Nonlinear Anal. 64(5), 1057–1099 (2006)
Lindqvist, P.: Addendum to ‘On the equation \(\text{ div }(|\nabla u|^{p-2}\nabla u)+\lambda |u|^{p-2}u=0\)’. Proc. Am. Math. Soc. 116(2), 583–584 (1992)
Louidice, A.: Critical problems with Hardy potential on Stratified Lie Groups. Adv. Differ. Equ. 28(1–2), 1–33 (2023)
Molica Bisci, G., Repovš, D.D.: Gradient-type systems on unbounded domains of the Heisenberg group. J. Geom. Anal. 30(2), 1724–1754 (2020)
Montgomery, R.: A Tour of Sub-Riemannian Geometries, Their Geodesics and Applications, Mathematical Surveys and Monographs, vol. 91. American Mathematical Society, Providence, RI (2002)
Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: Nonlinear Analysis–Theory and Applications. Springer, Cham (2019)
Rabinowitz, P.H.: Some global results for nonlinear eigenvalue problems. J. Funct. Anal. 7, 487–513 (1971)
Razani, A., Behboudi, F.: Weak solutions for some fractional singular \((p, q)\)-Laplacian nonlocal problems with Hardy potential. Rend. Circ. Mat. Palermo (2) 72(3), 1639–1654 (2023)
Saoudi, K., Ghosh, S., Choudhuri, D.: Multiplicity and Hölder regularity of solutions for a nonlocal elliptic PDE involving singularity. J. Math. Phys. 60, 28 (2019)
Uhlenbeck, K.: Regularity for a class of non-linear elliptic systems. Acta Math. 138, 219–240 (1977)
Zeddini, N., Saeed Sari, R.: Existence of positive continuous weak solutions for some semilinear elliptic eigenvalue problems. Opuscula Math. 42(3), 489–519 (2022)
Zhang, Q., Rădulescu, V.D.: Double phase anisotropic variational problems and combined effects of reaction and absorption terms. J. Math. Pures et Appliquées 118, 159–203 (2018)
Zhao, L., Cai, H., Chen, Y.: Multiple nontrivial solutions of superlinear fractional Laplace equations without (AR) condition. Adv. Nonlinear Anal. 12(1), 14 (2023)
Acknowledgements
The first author was supported by the National Board for Higher Mathematics (NBHM), Department of Atomic Energy (DAE) India, [02011/47/2021/NBHM(R.P.)/R &D II/2615]. The third author was supported by the Slovenian Research and Innovation Agency program P1-0292 and grants J1-4031, J1-4001, N1-0278, N1-0114, and N1-0083. We thank the referees for their comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Choudhuri, D., Tavares, L.S. & Repovš, D.D. A multiphase eigenvalue problem on a stratified Lie group. Rend. Circ. Mat. Palermo, II. Ser (2024). https://doi.org/10.1007/s12215-024-01035-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12215-024-01035-1
Keywords
- Multiphase spectral problem
- Stratified Lie group
- Heisenberg group
- Left invariant vector field
- (2,q)-eigenvalue problem