Elliptic problem driven by different types of nonlinearities

In this paper we establish the existence and multiplicity of nontrivial solutions to the following problem: (−Δ)12u+u+(ln|⋅|∗|u|2)=f(u)+μ|u|−γ−1u,in R,\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$\begin{aligned} \begin{aligned} (-\Delta )^{\frac{1}{2}}u+u+\bigl(\ln \vert \cdot \vert * \vert u \vert ^{2}\bigr)&=f(u)+\mu \vert u \vert ^{- \gamma -1}u,\quad \text{in }\mathbb{R}, \end{aligned} \end{aligned}$$ \end{document} where μ>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mu >0$\end{document}, (∗)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$(*)$\end{document} is the convolution operation between two functions, 0<γ<1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$0<\gamma <1$\end{document}, f is a function with a certain type of growth. We prove the existence of a nontrivial solution at a certain mountain pass level and another ground state solution when the nonlinearity f is of exponential critical growth.

The following are some hypotheses which are commonly assumed for problems with the Moser-Trudinger inequality (cf. do Ó et al. [19] and Felmer et al. [21]): (A 1 ) f ∈ C(R, R), f (0) = 0, has critical exponential growth and F(t) ≥ 0 for every t ∈ R; (A 2 ) lim such that F(t) ≥ C q |t| q for every t ∈ R, where S q , r 0 > 0 (S q will be defined in Lemma 3.12). We now give a short review of the related results. The problem that inspired us to investigate the current problem is from the paper by Boër and Miyagaki [6]. The novelty addressed in this work is due to the presence of a singular term which is difficult to handle since the corresponding energy functional ceases to be C 1 . This poses an extra challenge in applying the mountain pass theorem and other results in variational methods that demand the functional to be C 1 . To add to these difficulties, the logarithmic term poses a great challenge to establishing the existence of a convergent subsequence of a Cerami sequence. The idea of module translations from the paper by Cingolani and Weth [14] will be used. However, since the norm of the space X (the solution space which will be defined in the next section) is not invariant under translations, a new difficulty arises. The issues pertaining to the exponential term will be explained later.
Problems involving nonlocal operators are important in many fields of science and engineering e.g. optimization, finance, phase transitions, stratified materials crystal dislocations, anomalous materials, semipermeable membranes, flame propagation, water waves, soft thin films, conservation laws, etc. We refer the reader to Caffarelli [8], Di Nezza et al. [15], and the references therein. The literature pertaining to problems without the logarithmic Choquard and the singular term is quite vast, and it is impossible to list everything in this paper. A seminal work in the field of singularity driven problems is due to Lazer and Mc Kenna [27]. Thereafter the problems with singularity were studied by many researchers; see Ghanmi and Saoudi [22], Oliva and Petitta [31], Saoudi et al. [37], and the references therein. Some of the other works that the readers can consult involve the fractional Laplacian operator (-) s when 2s < N and s ∈ (0, 1) are Chang and Wang [10] and Felmer et al. [21]. We note that Felmer et al. [21] also studied some properties of the solutions besides regularity. Furthermore, do Ó et al. [18] studied the problem without the singular and the logarithmic term with potentials that vanish at infinity. Some more suggested papers are Autuori and Pucci [4], Cao [9], do Ó et al. [17], Iannizzotto and Squassina [25], Lam and Lu [26], Moser [30], and Pucci et al. [35].
We now turn our attention to the problems involving Choquard logarithmic term. Some related references are Alves and Figueiredo [3], Cingolani and Jeanjean [13], Cingolani and Weth [14], Du and Weth [20], and Wen et al. [41]. Furthermore, Cingolani and Weth [14] proved the existence of infinitely many distinct solutions and a ground-state solution, with V : R 2 → (0, ∞) which is continuous and Z 2 -periodic, f (u) = b|u| p-2 u, b > 0. Since the setting is periodic, the global Palais-Smale condition can fail due to the invariance of the functional under the Z 2 -translations. To tackle this problem, Du and Weth [20] proved the existence of a mountain pass solution and a ground state solution for local problem (1.1) but without the singular term in the case when V (x) ≡ α > 0, 2 < p < 4, and f (u) = |u| p-2 u. They went on to further prove that if p ≥ 3, then both the energy levels are the same and provided a characterization for them. Cingolani and Jeanjean [13] proved the existence of stationary waves with prescribed norm by considering λ ∈ R. Wen et al. [41] considered a nonlinearity with a polynomial growth. Alves and Figueiredo [3] proved the existence of a ground state solution to problem (1.1) without the singular term but with a nonlinearity of the Moser-Trudinger type. For Choquard problems one can refer to Abdellaoui and Bentifour [1], Biswas and Tiwari [5] Bonheure et al. [7], Goel et al. [23], Guo and Wu [24], Lieb [28], and Panda et al. [33].
This paper is organized as follows. Section 2 is a quick look at the mathematical background, space description. In Section 3 we describe an application of the fractional Laplacian operator for dimension N = 1 along with a few auxiliary lemmas. In Section 4 we prove a few auxiliary lemmas and our main result. Finally, we give an Appendix to the proofs of all results which have been used in the proof of the main theorem.

Preliminaries
This section is devoted to presentation of the most important notations, results, remarks that will be used in our study of problem (1.1) (for the remaining background material, we refer the reader to the comprehensive monograph by Papageorgiou, Rdulescu, and Repovš [34]), and the statement of our main result.
We begin by defining the Hilbert space equipped with the norm (2.1) We denote the Schwartz class of functions by S(R). Thus, for any u ∈ S(R), the Fourier transform of (-) 1 2 u is given by |ξ |û, whereû denotes the Fourier transform of u. Also, by Proposition 3.6 given in Di Nezza et al. [15], we have 2 |x -y| 2 dx dy for every u ∈ H 1 2 (R).
The factor 1 2π will be ignored in the paper throughout.
Next, we define a slightly smaller space that will make the associated energy functional well-defined (cf. Stubbe [40,Lemma 2.1]): endowed with the norm Then X is a Hilbert space as well. We define three auxiliary bilinear forms as follows: We further define the functionals Clearly, a combination of the Hardy-Littlewood-Sobolev inequality (HLS) Lieb [29], 0 ≤ ln(1 + r) ≤ r, for any r > 0, leads to the inequality.
where C 0 is an (HLS) constant. Consequently, we also have A standard property of the logarithmic function is ln 1 + |x ± y| ≤ ln 1 + |x| + |y| ≤ ln 1 + |x| + ln 1 + |y| for every x, y ∈ R. (2.9) Using (2.9) in tandem with the Hölder inequality, we get The following lemma is the celebrated result of Moser and Trudinger [32].
The associated energy functional is well-defined due to the lemma above and the space definition. However, the functional is not C 1 , which disallows the use of the basic results of variational analysis. To tackle this, we define the cutoff functionalẼ as follows: Under the limit u → 0, we haveG (u) . This implies that for a suitable C > 0 we havẽ By Lemmas 2.1, 3.1 we can now conclude that (2.14) Remark 2.2 Under hypotheses (A 1 )-(A 2 ), there exists, for q > 2, > 0, and β > θ , a constant c 2 > 0 such that Furthermore, there exists a constant c 3 > 0 satisfying the following inequality: An important consequence of (2.15) is the following: Remark 2.3 Henceforth, 1. the notation of a subsequence will be the same as its sequence; 2. the notation for cutoff energy functionalẼ will be continued to be denoted by E.
We are now in a position to state our main result.

Theorem 2.4
Assume that hypotheses (A 1 )-(A 4 ) are satisfied, and let q > 4 and C q > 0 be chosen sufficiently large. Then is the class of paths on X joining γ (0) and γ (1); An important application of the fractional Laplacian operator for dimension N = 1 can be found in Dipierro et al. [16]. We give a gist of the version of a model for the dynamics of the dislocation of atoms in crystals. The model is related to the Peierls-Nabarro energy functional. The system is a hybrid combination in which a discrete dislocation occurring along dislocation dynamics in crystals a slide line is incorporated in a continuum medium. The problem is as follows: where s ∈ [ 1 2 , 1), P is a 1-periodic potential, and σ plays the role of external stress acting on the material.
18) can be recast as follows: For a suitable choice of v 0 , the basic layer solution u is introduced, which happens to be a solution to the following problem: (2.20) One can see that the problem considered in this article has a proper physical application and is a testimony to the importance of the problem considered in this paper.

Auxiliary lemmas
In this section we discuss some auxiliary lemmas and state the main result. Below is the well-known Moser-Trudinger lemma (cf. Cao [9]).
Then there exist n 0 ∈ N and C > 0 such that u n * < C for any n ≥ n 0 .
Based on Lemma 2.1, do Ó et al. [19] proved the following lemma.
Hence, from Lemma 3.3 and equation (2.15), for any u ∈ X, we have The following are some useful lemmas which will be used in the paper. bounded sequences in X such that u n u in X. Then, for every z ∈ X, we have A(v n w n , z · (u nu)) → 0 as n → ∞.
(ii) V is continuously differentiable on L 4 (R).
(iii) U is a weakly lower semicontinuous functional on H We now check that the energy functional E depicts the mountain pass geometry. This will be required to obtain a Cerami sequence for a certain mountain pass energy level d (given in Theorem 2.4). Following is the definition of a Cerami sequence pertaining to a C 1 -functional. (1 + u n Y ) (u n ) → 0 as n → ∞ has a convergent subsequence in Y .
Remark 3.7 The advantage of this condition is that a Cerami sequence can produce a critical point even when a Palais-Smale sequence does not (cf. Schechter [38]).
Proof Let u ∈ X \ {0} and such that u > u λ a.e. in . Choose ρ 1 , ρ 2 > 1 such that ρ 1 ∼ 1, ρ 2 > 2, and ρ 1 β u 2 in order to apply the exponential estimates in (2.17). Furthermore, on using the Sobolev embeddings, we get Thus, for a pair of sufficiently small positive numbers (μ 0 , R), we get E(u) > 0, whenever u = r < R and μ ∈ (0, μ 0 ). Similarly, Proof Suppose that u ∈ X \ {0}. By (A 4 ) and q > 4 we get  Proof Using (2.14), the condition in (3.5), (A 3 ), and the embedding of H 1 2 (R) → L q (R) for q ∈ [1, ∞) from Lemma 3.1, we obtain (3.6) The inequality in (3.6) clearly shows that the sequence (u n ) is bounded in H 1 2 (R). For if not, then on dividing (3.6) by u n q and then passing the limit n → ∞ yields a contradiction to 0 ≥ C 6 ( L 4 -1). Thus, for a small range of μ, say (0, μ 0 ), we have The following lemma shows that any sequence (u n ) ⊂ X such that E(u n ) ≤ d for all n ∈ N can be taken to be of sufficiently small norms. 4c + o(1) is bounded above (and of course, below). We will find an estimate of the upper bound for this quantity. Consider the set S = {u ∈ X : u = 0, W (u) ≤ 0} and define u t (x) = t 2 u(tx) for all t > 0, u = 0 ∈ X, x ∈ R. We have W (u t ) = t 6 C(U)t 6 ln t u 4 2 → -∞ as t → ∞. This shows that S is nonempty. By the Sobolev embedding theorem we have u ≥ C u q for all u ∈ H 1 2 (R) \ {0}. We define We will now estimate the energy level d. Let v ∈ S and T > 0 be sufficiently small. Then E(Tv) < 0. Take a path α : [0, 1] → X defined as α(t) = tTv. Therefore, Consequently, for w ∈ S, we have where we have used (A 4 ). On taking infimum over w ∈ S, we obtain lim sup Before we state and prove the next lemma, we need to recall the following two theorems. Suppose that Then T is pre-compact in L q ( ).  Proof The property of lim inf and sup together produces the sequence (y n ) such that |y n | → ∞ and the boundedness of (u n ) in H 1 2 (R) produces u such that u n u ∈ H 1 2 (R). Also, u = 0 given condition (3.12). By Lemma 3.1 we have that u n → u in L 2 (R) and hence from Theorem 3.13 we have u n → u in L 2 (B 3 2 (y n )). Therefore, there exists a subsequence such that u n → u a.e. in B 3 2 (y n ). Theseũ n = u n (·y n ) are nothing but the restrictions of the functions in (u n ) over B 3 2 (y n ). Thus by Theorem 3.14, we can consider the functions O 00ũn that will still be denoted byũ n . Therefore,ũ n u ∈ H 1 2 (R).

Proof of the main theorem
We now give a proof of Theorem 2.4. First, we will prove another lemma. (i) u n → 0 and E(u n ) → 0 as n → ∞.
(ii) There exists (y n ) ⊂ Z such that |y n | → ∞ such thatũ n = u n (·y n ) → u in X for a nontrivial critical point u ∈ X of E.
Proof By Lemma 3.12, we see that the Cerami sequence (u n ) is bounded in H 1 2 (R). Therefore there exists a subsequence from Lemma 3.15 such that R e ρ 1 βu 2 n -1 dx ≤ C β for every n ∈ N. (4.1) Suppose that (i) does not hold.
On the contrary, suppose this does not hold. By Lion's Lemma 2.4 in Yu et al. [42], we have u n → 0 in L a (R) for all a > 2. By (2.8), we have V (u n ) → 0 as n → ∞. Since q > 2, we have by Remark 2.2 for a subsequence that   This further implies that u n , U(u n ) → 0 as n → ∞. By the embedding H 1 2 (R) → L 2 (R), we have that u n 2 → 0 as n → ∞. Also, by Remark 2.2, we have R F(u n ) dx → 0 as n → ∞. Thus E(u n ) → 0 as n → ∞, which is a contradiction. Thus This fact combined with Lemma 3.15 helps us to produce a sequence (y n ) ⊂ Z and u ∈ H 1 2 (R) \ {0} such that u n (·y n ) =ũ n u in H 1 2 (R). Therefore (ũ n ) is bounded in L p (R) for any p ≥ 2 and henceũ n (x) → u(x) a.e. in R. Now, observe that for q > 2 (4.4) Therefore, U(ũ n ) < ∞. Hence, since (ũ n ) is bounded in L 2 (R), it follows by Lemma 3.2 that ( ũ n * ) is bounded in X. By the reflexivity of X, we getũ n u in X. From Lemma 3.1 we obtainũ n → u in L p (R) for all p ≥ 2.
A simple change of variable guarantees that E (ũ n ),ũ nu = E (u n ), u nu(x + y n ) . Thus, ≤ E (u n ) X u n X + u(· + y n ) X for every n ∈ N. (4.5) We will now try to estimate u(· + y n ) X . Suppose that |y n | → ∞. Then, for each x ∈ R, ln 1 + |y n | -ln 1 + |xy n | = ln 1 + |y n | 1 + |xy n | → 0, n → ∞. Thus there exists C 11 > 0 such that ln(1 + |xy n |) ≥ C 11 ln(1 + |y n |) for all n ∈ N, which implies u n 2 * ≥ R ln 1 + |xy n | ũ 2 n dx ≥ C 11 ln 1 + |y n | Rũ 2 n dx ≥ C 11 ln 1 + |y n | for every n ∈ N. (4.7) Now, if y n → y 0 , then obviously up to a subsequence still denoted by (y n ) we have y n = y 0 . Let y 0 > 0. Suppose that δ > 0 and define S = (-b, 0). For each x ∈ S, we have |xy 0 | > |y 0 |. Thus, by the mean value theorem of integration, there exists x b ∈ S such that ũ n 2 * ≥ S ln 1 + |xy n | ũ 2 n dx = a ln 1 + |xy n | ũ 2 n (x a ) = C 11 ln 1 + |xy n | ≥ C 11 ln 1 + |y 0 | = C 11 ln 1 + |y n | for some C 11 > 0. (4.8) Similarly, for the case of y 0 < 0, we arrive at a similar conclusion. Furthermore, when y 0 = 0, we haveũ n = u n , and hence the conclusion is straightforward. Thus, for any of the cases, there exists C 11 > 0 (need not be the same constant but is denoted by the same name) such that u n 2 * ≥ C 11 ln 1 + |y n | for every n ∈ N. for n ∈ N. This implies that there exists C 15 > 0 such that, on passing to a subsequence, we obtain By the Cerami condition, we have By the Z-invariance of · , the Moser-Trudinger inequality, and (2.17), we get R f (ũ n )(ũ nu) dx ≤ ũ n 2 ũ nu 2 + C 16 ũ nu q qr 2 → 0, as n → ∞. (4.14) Hence Claim C has been verified. Furthermore, and Hence ũ n → u and A(ũ 2 n , (ũ nu) 2 ) → 0. Therefore ũ nu → 0 as n → ∞. Furthermore, by Lemma 3.2, we have ũ nu * → 0 which implies thatũ n → u in X as n → ∞. It remains to show that u is indeed a critical point of the functional E. As deduced in (4.11), one can show that there exists C 17 > 0 such that v(· + y n ) X ≤ C 17 u n X for every n ∈ N. (4.18) Therefore, Proof of Theorem 2.4: (i) By Lemma 3.8, Remark 3.10, and Lemma 4.1, we can conclude that there exists u 0 , a critical point of E, such that E(u 0 ) = d.

Appendix
Lemma A.2 will establish the existence of a positive solution to (2.13) and Lemma A.4 will guarantee that a solution to (1.1) is greater than or equal to the solution to (2.13).
In particular, choose φ = (uv) + . Then the inequality in (A.1) looks as follows: We choose the test function φ = (uv) + . We express This leads to the conclusion about the Lebesgue measure of R + , i.e., |R + | = 0. In other words v ≥ u a.e. in R.
Lemma A.2 Let μ > 0. Then the following problem has a unique weak solution in X 0 . This solution is denoted by u μ , satisfies u μ ≥ μ v 0 a.e. in , where μ > 0 is a constant. Here v 0 > 0 is a suitable function such that E( μ v 0 ) < 0.
Proof We follow the proof in Choudhuri [11] and Choudhuri and Saoudi [12]. First, we note that an energy functional on X formally corresponding to (A.5) can be defined as follows: for all u ∈ X where u + (x) = max{u(x), 0}. By using the Poincaré inequality, this functional is coercive and continuous on X. It follows that E possesses a global minimizer u 0 ∈ X. Obviously, u 0 = 0 since E(0) = 0 > E( v 0 ) for sufficiently small and some v 0 > 0 in R. Next, if u 0 is a global minimizer for E, then |u 0 | is also a global minimizer. This is because E(|u 0 |) ≤ E(u 0 ). Clearly, the equality holds if and only if u -0 = 0 a.e. in R. Here u -(x) = min{-u(x), 0}. In other words, we must have u 0 ≥ 0, i.e., u 0 ∈ X + , where X + = {u ∈ X : u ≥ 0 a.e. in R} is the positive cone in X.
Furthermore, we will show that u 0 ≥ v 0 > 0 holds a.e. in R for small enough . We observe that whenever ∈ (0, μ ] for some sufficiently small μ . We now show that u 0 ≥ μ v 0 . Suppose we assume the contrary that w = ( μ v 0u 0 ) + does not vanish identically in R. We denote R + = {x ∈ R : w(x) > 0}. We will analyze the function ζ (t) = E(u 0 + tw) of t ≥ 0. This function is convex when defined over X + being convex. Furthermore, ζ (t) = E (u 0 + tw), w is nonnegative and nondecreasing for t > 0. Consequently, for 0 < t < 1, we have by inequality (A.7) and ζ (t) ≥ 0 with ζ (t) being nondecreasing for every t > 0, which leads to a contradiction. Therefore w = 0 in R and hence u 0 ≥ μ v 0 a.e. in R. Moreover, since the functional E is strictly convex on X + , we conclude that u 0 is the only critical point of E in X + with the property ess inf V u 0 > 0 for any compact subset V ⊂ R. Thus we choose u μ = u 0 in the cutoff functional.
Remark A. 3 We now perform an analysis on a solution (if it exists). Suppose that u is a solution to (1.1). Then we observe the following: 1. If u is a global minimizer, then clearly E(u) ≤ E(|u|). Further, E(u) ≥ E(|u|) is always true due to the first term of the energy functional. Thus u -= 0 a.e. in R. 2. In fact, a solution to (1.1) can be considered to be positive, i.e., u > 0 a.e. in R, due to the presence of the singular term. Therefore, without loss of generality, we may assume that the solution is positive.
We finally have the following result.
Proof Fix μ ∈ (0, μ 0 ) and let u ∈ X be a positive solution to (1.1) and u μ > 0 be a solution to (A.5). We will show that u ≥ u μ a.e. in R. Thus, we let R * = {x ∈ R : u(x) < u μ (x)}, and from the equation satisfied by u, u μ we have Hence, by (A.9) and (A.10), we obtain u ≥ u μ a.e. in R. Now suppose S = {x ∈ : u(x) = u λ (x)}. Clearly S is a measurable set, and hence for any δ > 0 there exists a closed subset F of S such that |S \ F| < δ. Furthermore, let |S| > 0. Define a test function ϕ ∈ C 1 c (R) such that Since u is a weak solution to (1.1), we have 0 = ( (-) This is a contradiction. Therefore, |S| = 0. Hence, u > u λ a.e. in R.