Least energy nodal solutions for a weighted ( N , p ) -Schrödinger problem involving a continuous potential under exponential growth nonlinearity

This article aims to investigate the existence of nontrivial solutions with minimal energy for a logarithmic weighted ( N , p )-Laplacian problem in the unit ball B of R N , N > 2. The nonlinearities of the equation are critical or subcritical growth, which is motivated by weighted Trudinger–Moser type inequalities. Our approach is based on constrained minimization within the Nehari set, the quantitative deformation lemma, and degree theory results


Introduction
This paper is devoted to the existence of sign-changing solutions for the following problem involving the logarithmic weighted (N, p)-Laplacian: where B is the unit ball of R N , N > p ≥ 2, the nonlinearity f (x, t) is continuous in B × R and behaves like e αt N (N-1) (1-β) , β ∈ [0, 1), as t → ∞, for some α > 0, p denotes the p-Laplacian the second-order operator defined by p u = ∇.(|∇u|p-2 ∇u), and the weight w β (x) is given by 1) , β ∈ [0, 1). (1. 2) The potential V : B → R is a positive continuous function and verifies (V 1 ) V (x) ≥ V 0 > 0 in B for some V 0 > 0. Condition (V 1 ) implies that the function 1  V belongs to L 1 N-1 (B).The weighted (N, p)-Laplacian operator is a generalization of the nonlinear (N, p)-Laplacian operator.Indeed, the weight function serves as a versatile tool for modeling various effects, including the presence of a medium or the influence of an external field.This versatility makes it particularly suitable for representing a wide range of physical phenomena, such as diffusion, fluid flow, reaction-diffusion equations [2,13], biophysics [23], plasma physics [39], and specific elementary particle models [6,7,18].It is essential to note that the origins of the (N, p)-Laplacian equation can be traced back to the study of stationary solutions in the context of the following reaction-diffusion system: In this equation, the function u represents a concentration.The first term characterizes diffusion with a diffusion coefficient of (|∇u| N-2 + |∇u| p-2 ).The continuous potential V (x) is a function influencing the system's energy, and f (x, u) corresponds to the reaction term, linking to source and loss processes [5,13].As a result, quasilinear elliptic boundary value problems involving the (N, p)-Laplacian operator with various nonlinearities have been extensively investigated by numerous researchers, as evident in works such as [3,22,33,36] and the associated references.
When N = q ≥ 2, much attention from researchers has been directed towards this particular limit in the Sobolev embedding, widely recognized as the Trudinger-Moser case.More precisely, consider a smooth bounded domain in R N , where N ≥ 2. Let W 1,N 0 ( ) represent the standard first-order Sobolev space defined as follows: equipped with the norm . This space represents a critical limit in the Sobolev embedding theorem.While the theorem establishes that the space W 1,N 0 ( ) → L p ( ) for all 1 ≤ p < ∞, it is well known, through simple examples, that W 1,N 0 ( ) L ∞ ( ).Consequently, the natural question that arises is to identify the maximum growth function : This question was conclusively answered by Yudovich [42], Pohozaev [37], and Trudinger [38].Their collective work has established that the maximal growth function is defined as (t) = e |t| N N-1 .Moser further refined this result in his work [35].More specifically, he demonstrated that for all u ∈ W 1,N 0 ( ), the function exp(α|u| N N-1 ) belongs to L 1 ( ) for some α > 0. In fact, he established that where ω N-1 represents the area of the unit sphere in R N .It is worth noting that the constant α N is a critical threshold; for values of α greater than α N , the supremum in (1.3) becomes infinite.Such estimates, akin to (1.3), are now commonly referred to as Trudinger-Moser type inequalities.For further exploration and applications in this field, the reader is directed to works such as [15-17, 31, 32] and the associated references.
It is essential to highlight that considerable research efforts have been dedicated to the investigation of the impact of weight functions on the limiting inequalities of Trudinger-Moser type.Interested readers can delve into studies like [1,12] to explore the effect of power weights within the integral term on maximal growth and [8][9][10][11] for insights into the influence of weights within the Sobolev norm.Kufner, in his work [29], introduced the concept of weighted Sobolev spaces and developed an embedding theory for such spaces with general weight functions.Let ⊂ R and w ∈ L 1 ( ) be a nonnegative function, then the weighted Sobolev space can be introduced as follows: When the weight function w takes the form of the logarithmic function, the weighted Sobolev spaces defined as in (1.4) hold particular significance.These spaces deal with limiting scenarios of such embeddings.Nevertheless, to obtain meaningful results, we find it necessary to confine our attention to radial functions.Thus, we turn our focus to the weighted Sobolev space of radial functions.
endowed with the norm when w is given by (1.2).The initial exploration of Trudinger-Moser inequalities for Sobolev spaces with logarithmic weights was conducted by Calanchi and Ruf, as documented in [8].Their work focused on the case when N = 2, considering a Sobolev norm of logarithmic type.Subsequently, they expanded their research to encompass the general case, as outlined in [9].To be more specific, they established the following result.Theorem 1.1 [9] Let β ∈ [0, 1) and let w β be given by (1.2), then B e |u| γ dx is finite, for every u ∈ W 1 0,rad (B, w β ), if and only if where ω N-1 is the area of the unit sphere S N-1 in R N and N is the Hölder conjugate of N .
Let (1.9) In the case p < q = N , problem (1.1) has attracted substantial attention from various researchers, each addressing it with distinct nonlinearities.This work is inspired by the work of authors such as [24,25,28,30,41,44] and the references therein.Notably, in the work by Figueredo and Nunes [24], the focus was on investigating the existence of positive solutions within a specific class of quasilinear problems.
in which the hypotheses on function a included the case -N up u.The nonlinearity f : R → R is a superlinear continuous function with exponential subcritical or critical growth, and the function a is C 1 .By using the minimization argument and deformation lemma, the authors proved the existence of a least energy nodal solutions for equation (1.10) with two nodal domains.Moreover, Zhang and Yang [44] considered the problem , is an open bounded domain containing the origin in R N with C 2 boundary and λ, μ > 0 are positive real parameters.To be more specific, the authors demonstrated the existence of positive solutions for the above problem by combining variational techniques with regularity arguments.Alternatively, [4,10,11,14,19,20,43] investigated elliptic equations with weighted N-Laplacian operator and critical Trudinger-Moser nonlinearities, while this paper will focus on a different class of problems.
Inspired by the above results, this paper embarks on an inquiry into the presence of sign-changing solutions possessing minimal energy for weighted problems akin to those of Shrödinger type.We study both subcritical and critical exponential growth patterns at infinity by using the constraint minimization argument and topological degree theory.
With this objective in mind, we consider the space which is a reflexive and Banach space provided condition (V 1 ) holds.X β is endowed with the norm .11)which is equivalent to the following norm: .
Note that the embedding X β → L q (B) is continuous for all q ≥ 1.Moreover, the embedding X β → L q (B) is compact for all q ≥ N , see [26].For this work, we impose the following conditions on the nonlinearity f (x, t): where sgn(t) = 1 if t > 0, sgn(t) = 0 if t = 0, and sgn(t) = -1 if t < 0. A typical example of a function f satisfying conditions (A 1 ), (A 2 ), (A 3 ), (A 4 ), and (A 5 ) is given by The energy functional, sometimes referred to as the Euler-Lagrange functional associated with problem (1.1), is defined as follows: where It is evident that the search for nontrivial weak solutions to problem (1.1) is equivalent to identifying nonzero critical points within the functional J .Since the reaction term f is of critical or subcritical growth, there exist positive constants c 1 and c 2 such that and so, by using (A 1 ), we have that J ∈ C 1 (X β , R) and for all u and ϕ ∈ X β .Clearly, the critical points of functional J are weak solutions of problem (1.1). (1.14) Our approach revolves around the pursuit of sign-changing solutions that minimize the associated energy functional J among the ensemble of all sign-changing solutions to problem (1.1).To this end, we introduce the sign-changing Nehari set defined as follows: where u + (x) := max{u(x), 0} and u -(x) := min{u(x), 0}.It is evident that any sign-changing solution of problem (1.1) resides in the set N .According to (1.14), we have It is important to note that, for every u = u + + u -∈ N , it is readily observed that In our initial theorem, we prove the existence of sign-changing solutions for (1.1) in the exponential subcritical case.
Theorem 1.2 Assume that f (x, t) has a subcritical growth at ∞ and satisfies conditions (A 1 ), (A 2 ), (A 3 ), and (A 4 ).If in addition condition (V 1 ) holds, then problem (1.1) admits a least energy sign-changing solution v ∈ N with precisely two nodal domains.
In our second theorem, we establish the existence of a sign-changing solution for (1.1) in the exponential critical case.Theorem 1.3 Assume that f (x, t) has a critical growth at ∞ and satisfies conditions (A 1 ), (A 2 ), (A 3 ), (A 4 ), and (A 5 ).If in addition condition (V 1 ) holds, then there exists δ > 0 such that problem (1.1) admits a least energy sign-changing solution v ∈ N with precisely two nodal domains provided ) and The rest of this paper proceeds as follows.In Sects.2, we introduce preliminaries for the compactness analysis and some useful lemmas.Section 3 is devoted to proving Theorem 1.2.Finally, in Sect.4, we establish some estimates and prove Theorem 1.3.

Notation Throughout this paper, we use the following notations:
• C denotes a positive constant that may change from one line to another, and we sometimes index the constant to show how they change.• |u| p denotes the norm in the Lebesgue space L p (B) for p ≥ 1.
• |u| p,ω denotes the norm in the weighted Lebesgue space L p (B, ω), which is defined by • u p denotes the norm in the usual Sobolev space W 1,p 0 (B), which is defined by

Some useful lemmas
In this section, we prove some lemmas that are important to obtain the desired results.To this end, let u ∈ X β with u ± = 0, we define the function G : R + × R + → R and the mapping and Lemma 1 For any u ∈ X β with u ± = 0, there is the unique maximum point pair Proof The proof of this lemma is obtained in three steps.The first step consists in showing that there exists a pair of positive numbers (s u , t u ) such that s u u + + t u u -∈ N for any u ∈ X β with u ± = 0. Note that and Note that, from (A 4 ), for any ε > 0, there exists δ > 0 such that Since f is subcritical or critical, for every ε > 0, there exist constants c 1 = c 1 (ε) > 0 and K > 0 such that, for all q > N , Then, from (2.5) and (2.6), we have f (x, t)t ≤ ε|t| N + C|t| q exp α|t| γ for all α > α 0 , q > N.
In the second step, we prove the uniqueness of the pair (s u , t u ).First, we assume that u = u + + u -∈ N .Then, we have J (u), u + = 0 and J (u), u -= 0, that is, By Claim 1, we know that there exists at least one positive pair (s 0 , t 0 ) satisfying s 0 u + + t 0 u -∈ N .Now, we show that (s 0 , t 0 ) = (1, 1) is the unique pair of numbers.Without loss of generality, let us assume that s 0 ≤ t 0 .It follows from (2.3) that If s 0 < 1, then from (2.13), (2.14), and (A 3 ), we have which is a contradiction.Hence, 1 ≤ s 0 ≤ t 0 .Arguing similarly by using the equations J (su + + tu -), tu -= 0 and J (u), u -= 0, we obtain that s 0 ≤ t 0 ≤ 1, which implies that s 0 = t 0 = 1, and the proof is complete.
For the general case, we suppose that u / ∈ N .Assume that there exist two other pairs of positive numbers (s 1 , t 1 ) and (s 2 , t 2 ) such that Then Finally, we prove that the pair (s u , t u ) is the unique maximum point of the function G on R + × R + .We know from the above that (s u , t u ) is the unique critical point of G on R + × R + .By definition and (2.10), we obtain Hence, it suffices to show that the maximum point cannot be achieved on the boundary of R + × R + .We carry out the proof by contradiction.Assuming (0, t) is the global maximum point of G with t ≥ 0, we have Hence, by (2.8) it is clear that for small enough s.This means that G is an increasing function with respect to s if s is small enough, which is a contradiction.In a similar way, we can deduce that G cannot achieve its global maximum at (s, 0) with s ≥ 0. Thus, we have completed the proof.
Proof Without loss of generality, we may suppose that 0 < t u ≤ s u .Since s u u + + t u u -∈ N , we have Furthermore, since J (u), u + ≤ 0, we have (2.17) Then, from (2.16) and (2.17), we get

18)
From (A 3 ) and (M 2 ), the left-hand side of (2.18) is negative for s u > 1, whereas the righthand side is positive, which is a contradiction.Therefore 0 < s u , t u ≤ 1.
Lemma 3 Suppose that hypotheses (A 1 ), (A 2 ), and (A 3 ) are satisfied.Then, for each x ∈ B, we have tf (x, t) -NF(x, t) is increasing for t > 0 and decreasing for t < 0.
Proof To prove this lemma, it is enough to analyze the derivative of tf (x, t) -NF(x, t) together with assumptions (A 1 ) and (A 3 ).
Lemma 4 Assume that (A 2 ), (A 4 ), and (V 1 ) hold.Then, for all u ∈ N , we have: i) There exists κ > 0 such that u Proof i) We only prove that there exists κ > 0 such that u + ≥ κ for all u ∈ N and the proof for u -is similar.By contradiction, we suppose that there exists a sequence {u + n } ⊂ M such that u + n → 0 as n → ∞.Since u n ∈ N , we have J (u n ), u + n = 0. Thus, from (2.7), we get for all n ∈ N, q > N , and α > α 0 .Since u + n → 0 as n → ∞, there exists 2α ) for all n ≥ n 0 .From Hôlder's inequality and (1.6), we get (2.20) Combining (2.19) with the last inequality, we can deduce from the Sobolev embedding theorem that when n ≥ n 0 , (2.21) We can choose ε > 0 such that (1 -C 3 ε) > 0, and since q > N , we can deduce that (2.21) contradicts u + n → 0 as n → ∞.The proof is complete.ii) Given u ∈ N , by the definition of N and (A 2 ), we obtain So, we have J (u) > 0 for all u ∈ N .Therefore, J (u) is bounded below on N , that is, c M = inf u∈N J (u) is well defined.
Proof Suppose by contradiction that J (u 0 ) = 0.By the continuity of J , it follows that there exist δ > 0 and ι > 0 such that In view of Lemma 1, we have
Then we have that det H = 0. Hence, 0 (s, t) is a C 1 function and (1, 1) is the unique isolated zero point of 0 ; by using the degree theory, we deduce that deg( 0 , D, 0) = 1.
In the following lemma, we prove that w has exactly two nodal domains.

Lemma 6 If w is a least energy sign-changing solution of problem (1.1), then w has exactly two nodal domains.
Proof Assume by contradiction that w = w 1 + w 2 + w 3 satisfies Setting v = w 1 + w 2 , we have that v + = w 1 and v -= w 2 , i.e., v ± = 0. From Lemma 1, it follows that there exists a unique point pair ( Moreover, from (2.27), we obtain J (v), v ± ≤ 0.Then, by Lemma 2, we have that On the other hand, by (A 2 ) we have that Hence, by Lemma 3, we can obtain that which is a contradiction, that is, w 3 = 0 and w has exactly two nodal domains.

Proof of Theorem 1.2 Lemma 7
There exists w ∈ N such that J (w) = c N .
Proof Let the sequence (w n ) ⊂ N satisfy lim n→∞ J (w n ) = c N .It is clear that (w n ) is bounded by Lemma 4.Then, up to a subsequence, there exists w ∈ E such that We claim that Indeed, by (2.7), we have for all α > 0 and q > N. ( We define g(w ± n (x)) as follows: We will prove that g(w ± n (x)) is convergent in L 1 (B).First note that Considering s, s > 1 such that 1 s + 1 s = 1, we get Then it follows from Hölder's inequality, (3.5), (3.6), (3.9), and the Trudinger-Moser inequality that which closes the proof of (3.2).Thus, as a direct consequence, From (3.11) and (3.12) we deduce that J (w), w + ≤ 0, and similarly we can prove J (w), w -≤ 0.Then, Lemma 2 implies that there exists (s u , t u ) ∈ (0, 1] × (0, 1] such that s u w + + t u w -∈ N .Thus, by the lower semicontinuity of norm, (3.2), (3.10), and Lemma 3, we get that Therefore, we get that J (w) = c N , which is the desired conclusion.
Thus, from Lemmas 5 and 6, w is a least energy sign-changing solution of problem (1.1) with exactly two nodal domains.

Proof of Theorem 1.3
To prove Theorem 1.3, we need to consider the auxiliary problem where r is the constant that appears in assumption (A 5 ).The energy functional J r associated with (4.1) is given by and the sign-changing Nehari set is defined by Let c N r = inf N r J r (u), we have the following result.
Lemma 8 There exists w ∈ N r such that J r (w) = c N r .
Proof The proof of this lemma is obtained in four steps: Step 1.For any u ∈ X β with u ± = 0, similar to Lemma 1, there is the unique maximum point pair (s u , t u ) ∈ R + × R + of the function J r such that s u u + + t u u -∈ N r .
Step 4. Now, let the sequence (w n ) ⊂ N p satisfy lim n→+∞ J r (w n ) = c M r .Similar to Lemma 7, we can show that, up to a subsequence, w ± n w ± in X β .From Step (3), we show that w ± = 0. Using Steps (1), (2) and again similar to Lemma 7, we get w ∈ N r such that J r (w) = c N r .Now, we will obtain an important estimate for the nodal level c N .That will be a powerful tool to obtain an appropriate bound of the norm of a minimizing sequence for c N in N .Lemma 9 Assume that (A 1 ), (A 5 ), (V 1 ), and (1.15) are satisfied.It holds that
Proof (i) Let the sequence (w n ) ⊂ N satisfy lim n→∞ J (w n ) = c N .It is clear that (w n ) is bounded by Lemma 4.Then, up to a subsequence, there exists w ∈ X β such that w ± n w ± in X β , w ± n → w ± in L q (B), ∀q ≥ N, and w ± n → w ± a.e. in B.
Note that, according to (2.7), we have f x, w ± n w ± n ≤ ε w ± n N + C w ± n q exp α w ± n γ =: g w ± n (x) for all α > α 0 and q > N.
We will prove that g(w ± n (x)) is convergent in L 1 (B).First note that Considering s, s > 1 such that 1 s + 1 s = 1 and s close to 1, we get |w n | q → |w| q in L s (B).(4.9) On the other hand, using Lemma 3, we obtain that  Now, using (4.8), (4.9), (4.14) and proceeding as in Lemma 7, we will complete the proof of (4.7).
(ii) Now, proceeding in the similar way to the proof of Lemma 7, there exists w ∈ N such that J (w) = c N , which is the conclusion we want.Therefore, from Lemmas 5 and 6, we deduce that w is a least energy sign-changing solution for problem (1.1) with exactly two nodal domains.