Nonnegative solution of a class of double phase problems with logarithmic nonlinearity

This manuscript proves the existence of a nonnegative, nontrivial solution to a class of double-phase problems involving potential functions and logarithmic nonlinearity in the setting of Sobolev space on complete manifolds. Some applications are also being investigated. The arguments are based on the Nehari manifold and some variational techniques.


Introduction
The goal of the present work is to prove the existence of nonnegative, nontrivial solutions to the following double-phase problems: div(|∇u(z)| p-2 ∇u(z) + μ(z)|∇u(z)| q-2 ∇u(z)) + V (z)|u(z)| p-2 u(z) = λa(z)|u(z)| r-2 u(z) log(|u(z)|) i n E, where E ⊂ M is an open bounded set with a smooth boundary ∂E , (M, g) is a smooth complete compact Riemannian N -manifold, λ > 0 is a parameter specified later, and the functions a(·) and V (·) satisfy the following assumptions: (H 1 ) The function a ∈ C + b (M) ∩ L 1 (M). (H 2 ) The positive continuous function V : M → R and V ∈ L p (M), with p = p p-1 and 1 < r < p < q < p * =: Np N-p . (H 3 ) μ ∈ L 1 + (M) and min z∈M μ(z) = μ 0 > 0. Double-phase differential operators have been attracting the attention of several researchers in the last years due to their applicability in several areas of science, especially in physical processes. For example, in the elasticity theory, Zhikov [36] has shown that the modulation coefficient μ(·) determines the geometry of composites formed from two different materials with distinct curing exponents q and p. See also the work of Benkhira et al. [10]. For quantum physics, we refer to Benci et al. [9], and for reaction-diffusion systems, we refer to the pertinent work of Cherfils-Il'yasov [14].
We start our motivation by briefly going over the previous work. On the one hand, we were inspired by the work of Zhikov [35], who has introduced and investigated functionals with integrands that change ellipticity as a function of a point to give models of strongly anisotropic materials. As a kind of prototype, he took the function where 1 < p < q, and the weight μ ∈ L ∞ ( ). After that, several studies were done in this direction, we mention the famous works of Baroni et al. [7,8], Colombo et al. [15,16], Marcellini [28], Bahrouni et al. [6], Liu et al. [25], Farkas et al. [19], and Papageorgiou et al. [29,30]. For more results, readers may refer to [1,13,17,22,23,26,27,31,33] for ideas and techniques developed to prove the existence of two nontrivial positive solutions to double-phase problems. On the other hand, the second motivation is the work of Aubin [5] who studied the qualitative properties of the Lebesgue space on Riemannian manifolds. This work was followed by Hebey [24] who developed this space and proved some new embedding results. A nice overview of the recent work on such equations with variable exponents can be found in [32] by Ragusa et al., [34] by Shi et al., [20,21] by Gaczkowski,et al.,[2][3][4] by Aberqi et al. in the context of Sobolev spaces on complete manifolds. We refer to Benslimane et al. [11,12] for more results.
Concerning regularity results for this kind of problem, we recommend the relevant work of De Filippis and Mingione [18], which gives optimal regularity criteria for different types of nonuniform ellipticity.
The contributions to the paper are as follows. We prove a new embedding result for Sobolev space on complete manifolds. We also show the existence of nonnegative, nontrivial solution to the problem (1), which is a combined potential with vanishing behavior at infinity and a logarithmic nonlinearity, as an application using the Nehari manifold and some variational techniques. The idea behind this approach is as follows: Let J ∈ C(X , R) be an energy functional, with X being a real Banach space, so, if u = 0 is a critical point of J, then u is included in the following set: where ·, · is the duality pairing between X and its dual space X * . Hence, N is a suitable constraint for funding nontrivial critical points of J. While N is not a manifold in general, it is called the Nehari manifold. Thus, we search for nontrivial minimizers of the functional J in a subset of the entire space that contains the nontrivial critical points of J, namely N . Here, we have treated the minimum of the energy functional of the type When looking forward to treating it for a general functional of type, where G i , i = 1, 2, are two functions satisfying To the best of our knowledge, this is the first paper that treats this kind of problem in the context of Sobolev spaces on Riemannian manifolds. This work will be of great interest to researchers working in this area. The primary outcome of our paper can be presented as follows.
The paper consists of two sections. Section 2 contains some background on Sobolev spaces on Riemannian manifolds, as well as the proof of a new embedding result. Section 3 shows the existence of a nonnegative, nontrivial solution to a class of double-phase problems involving a potential that is allowed to have vanishing behavior at infinity and logarithmic nonlinearity.

Preliminaries
In what follows, we give some definitions and properties of Sobolev spaces on complete manifolds, which we will use to prove our main results. For more details, see [5,24] and the references given therein.

Sobolev spaces on complete manifolds
Definition 1 ([5]) Let (M, g) be a smooth, compact Riemannian N-manifold. For an integer K , and a smooth u : M → R, we denote by ∇ K u the K th covariant derivative of u and by |∇ K u| the norm of ∇ K u defined in a local chart by where K ij is the Christoffel symbol defined as follows: with the g ij 's representing the inverse matrix of g ij such that g im g mj = δ j i .
And for a real number p ≥ 1 and a positive integer K , we define the Sobolev space as follows: And the function space is where M is compact. By default, C We note that W K,p (M) is a reflexive Banach space, and the set D(M) of smooth functions with compact support in M is dense in W 1,p (M) for p ≥ 1; see [5].

Proposition 2 ([5, 24])
• Since M is compact, M can be covered by finite numbers of charts (E m , ϕ m ) m=1,...,N such that, for all m, the components g m ij of g in (E m , ϕ m ) satisfy as bilinear forms. • Since M is assumed to be compact, (M, g) has finite volume. Hence for 1 ≤ q ≤ q , we have L q (M) ⊂ L q (M).

Lemma 2 ([5])
Let (M, g) be a smooth, compact, N -dimensional Riemannian manifold. Given p, q, two real numbers with 1 ≤ q < N and p ≥ 1 such that 1 The weighted Lebesgue space L q μ (M) is defined as follows: endowed with the following seminorm: We define and .

Lemma 3 Let u ∈ W
1,q 0 (M). Then: Proof We pursue the same steps as in the proof of Proposition 2.1 in [27].
Theorem 2 Let (M, g) be a smooth, compact, N -dimensional Riemannian manifold. Given r, q, two real numbers with 1 ≤ q < N and r ≥ 1 such that 1 Proof We adopt the same technique as when proving [24,Theorem 2.6].

Theorem 3 Let (M, g) be a smooth, compact, N -dimensional Riemannian manifold.
Given p, q, two real numbers with 1 ≤ q < N and p ≥ 1 such that 1 Proof Let u ∈ W 1,q 0 (M). Then using the Poincaré inequality, we obtain Hence, if u = 0, we have Then, we get Consider the functional J λ : E → R defined by for all u ∈ E. Then J λ is well defined and belongs to C 1 (E). Furthermore, we have J λ (u), ϕ = M |∇u| p-2 ∇u + μ(z)|∇u| q-2 ∇u ∇ϕ dv g (z) for all u, ϕ ∈ E.
Consider the Nehari set defined by We can deduce that the critical points of J λ lie on N and further that u ∈ N if and only if u is a weak solution to problem (1). Let us define the maps ψ u : R + → R by ψ u (t) = J λ (tu) and analyze N in terms of the stationary points of fibering maps ψ u . We have and It is easy to verify that tu ∈ N ⇐⇒ ψ u (t) = 0 for any u ∈ E and t > 0. We shall split N into three subsets which correspond to local minima, local maxima, and points of inflection of fibering maps, that is, Proof We remark that u 0 is a solution to the optimization problem to minimize J λ subject to I(u) = 0, where and, since u 0 is a local minimizer of J λ on N , we have Then, there exists a Lagrange multiplier α ∈ R such that J λ (u 0 ) = αI (u 0 ), namely 0 = J λ (u 0 ), u 0 = α I (u 0 ), u 0 .

Lemma 5
There exists a positive constant λ 0 such that, for any 0 < λ < λ 0 , the functional J λ is bounded and coercive on N .
Proof Letting u ∈ E with u E > 1, we obtain λ r M a(z)|u| r log |u| dv g (z) + λ r 2 M a(z)|u| r dv g (z), and we know that log(s) ≤ s α αe for all α > 0 and s > 0, thus with α = qr.
According to Theorem 2 and Poincaré inequality, there exists a positive constant C q such that Choosing 0 < λ < λ 0 = r(q-r)e qC q a ∞ implies that J λ is coercive.
Thanks to Theorem 2, there exists C r > 0 such that J λ (u) ≤ C r λ r 2 a ∞ u r E .
Proof We proceed by contradiction to prove that N 0 ∪ N -= ∅.