Existence of Ground State Solutions for Choquard Equation with the Upper Critical Exponent

: In this article, we investigate the existence of a nontrivial solution for the nonlinear Choquard equation with upper critical exponent see Equation (6). The Riesz potential in this case has never been studied. We establish the existence of the ground state solution within bounded domains Ω ⊂ R N . Variational methods are used for this purpose. This method proved to be instrumental in our research, enabling us to address the problem effectively. The study of the existence of ground state solutions for the Choquard equation with a critical exponent has applications and relevance in various ﬁelds, primarily in theoretical physics and mathematical analysis.


Introduction
The Choquard equation (1) arises in numerous fields of physics (quantum mechanics [1], and modelling of onecomponent plasma [2], self-gravitating matter [3]).In recent years, several physical contests have proposed the Choquard equations and have attracted a great deal of interest.Choquard first introduced the Choquard equation in the modelling of one-component plasma in 1976.Recently, many scholars have paid attention to following the Choquard equation with local nonlinear perturbation and variable potential: where 1 + α N < ζ < N+α N−α , I α : R N → R is a Riesz potential of order α ∈ (0, N) in the Euclidean space R N of dimension N ≥ 3, which is defined by has the ground state solution if the following assumptions are met for nonlinearity f .
and  is the Gamma function.Nonlinearity is described by the exponent  ∈ ℝ. Equation ( 2) is used in many different contexts and has different physical meanings.For example, Pekar [4] studied the interaction of free electrons within the lattice of ions with phonons related to lattice distortions by using the conditions if  = 0 and () ≡ 1.In Ref. [2], Lieb studied the positive solution for problem (2) in ℝ by using the conditions if  = 0, () ≡ 1,  = 2 and  = 2.In Ref. [5], Tang et al. examined ground state solutions employing the Nehari-type approach for the Choquard equation with a lower critical exponent.They applied specific conditions, including  = || , () ≡ 1,  ∈ (0, ),  = − 1,  > 0, 2 <  < 2 *   ≥ 1.In Ref. [6], Jing et al. explored the existence of ground state solutions in the context of Choquard equations that involved a localized nonlinear disturbance, employing the Pohožaev identity and minimax methodologies.Lü [7] proved the concentration results and the existence of ground state solutions when  ⟶ +∞ for problem (2) with subcritical exponents, and using the condition if  = 0, the potential is well described by () = 1 +  ℎ() and  = 3.
Moroz and Van [8] demonstrated that the following general Choquard equation has the ground state solution if the following assumptions are met for nonlinearity .
  ∈ (ℝ, ℝ).Gui and Tang [9] showed that the following problem has ground state solutions if the following conditions are met for : When  = 0, there is no solution to problem (4), as stated in reference [10].The incorporation of non-relativistic Newtonian gravity into the Schrödinger equation resulted in the transformation of the Choquard equation into what is now referred to as the Schrödinger-Newton equation.
Our work is associated with the following Choquard-Pekar equation In 1954 [1], Pekar studied the case  = 2 and  = 1.This situation is related to an explanation of the quantum theory of the stationary state of the polaron.In a particular approximation of the Hartree-Fock theory for one-component plasma, Choquard formulated a model representing an electron ensnared within its self-contained influence in 1977.A Schrödinger−Newton equation, first introduced by Penrose in the context of the self-gravitational collapse of the quantum mechanical wave function, is an alternate name for this equation.Lieb established the uniqueness and existence, up to translations, of a f ∈ C(R, R).
and  is the Gamma function.Nonlinearity is described by the exponent  ∈ ℝ. Equation ( 2) is used in many different contexts and has different physical meanings.For example, Pekar [4] studied the interaction of free electrons within the lattice of ions with phonons related to lattice distortions by using the conditions if  = 0 and () ≡ 1.In Ref. [2], Lieb studied the positive solution for problem (2) in ℝ by using the conditions if  = 0, () ≡ 1,  = 2 and  = 2.In Ref. [5], Tang et al. examined ground state solutions employing the Nehari-type approach for the Choquard equation with a lower critical exponent.They applied specific conditions, including  = || , () ≡ 1,  ∈ (0, ),  = − 1,  > 0, 2 <  < 2 *   ≥ 1.In Ref. [6], Jing et al. explored the existence of ground state solutions in the context of Choquard equations that involved a localized nonlinear disturbance, employing the Pohožaev identity and minimax methodologies.Lü [7] proved the concentration results and the existence of ground state solutions when  ⟶ +∞ for problem (2) with subcritical exponents, and using the condition if  = 0, the potential is well described by () = 1 +  ℎ() and  = 3.
Moroz and Van [8] demonstrated that the following general Choquard equation has the ground state solution if the following assumptions are met for nonlinearity .  ∈ (ℝ, ℝ).
  > 0 exists such that for every Gui and Tang [9] showed that the following problem has ground state solutions if the following conditions are met for : When  = 0, there is no solution to problem (4), as stated in reference [10].The incorporation of non-relativistic Newtonian gravity into the Schrödinger equation resulted in the transformation of the Choquard equation into what is now referred to as the Schrödinger-Newton equation.
Our work is associated with the following Choquard-Pekar equation In 1954 [1], Pekar studied the case  = 2 and  = 1.This situation is related to an explanation of the quantum theory of the stationary state of the polaron.In a particular approximation of the Hartree-Fock theory for one-component plasma, Choquard formulated a model representing an electron ensnared within its self-contained influence in 1977.A Schrödinger−Newton equation, first introduced by Penrose in the context of the self-gravitational collapse of the quantum mechanical wave function, is an alternate name for this equation.Lieb established the uniqueness and existence, up to translations, of a λ > 0 exists such that for every s ∈ R, and  is the Gamma function.Nonlinearity is described by the exponent  ∈ ℝ. Equation ( 2) is used in many different contexts and has different physical meanings.For example, Pekar [4] studied the interaction of free electrons within the lattice of ions with phonons related to lattice distortions by using the conditions if  = 0 and () ≡ 1.In Ref. [2], Lieb studied the positive solution for problem (2) in ℝ by using the conditions if  = 0, () ≡ 1,  = 2 and  = 2.In Ref. [5], Tang et al. examined ground state solutions employing the Nehari-type approach for the Choquard equation with a lower critical exponent.They applied specific conditions, including  = || , () ≡ 1,  ∈ (0, ),  = − 1,  > 0, 2 <  < 2 *   ≥ 1.In Ref. [6], Jing et al. explored the existence of ground state solutions in the context of Choquard equations that involved a localized nonlinear disturbance, employing the Pohožaev identity and minimax methodologies.Lü [7] proved the concentration results and the existence of ground state solutions when  ⟶ +∞ for problem (2) with subcritical exponents, and using the condition if  = 0, the potential is well described by () = 1 +  ℎ() and  = 3.
Moroz and Van [8] demonstrated that the following general Choquard equation has the ground state solution if the following assumptions are met for nonlinearity .  ∈ (ℝ, ℝ).
  > 0 exists such that for every Gui and Tang [9] showed that the following problem has ground state solutions if the following conditions are met for : When  = 0, there is no solution to problem (4), as stated in reference [10].The incorporation of non-relativistic Newtonian gravity into the Schrödinger equation resulted in the transformation of the Choquard equation into what is now referred to as the Schrödinger-Newton equation.
Our work is associated with the following Choquard-Pekar equation In 1954 [1], Pekar studied the case  = 2 and  = 1.This situation is related to an explanation of the quantum theory of the stationary state of the polaron.In a particular approximation of the Hartree-Fock theory for one-component plasma, Choquard formulated a model representing an electron ensnared within its self-contained influence in 1977.A Schrödinger−Newton equation, first introduced by Penrose in the context of the self-gravitational collapse of the quantum mechanical wave function, is an alternate name for this equation.Lieb 2) is used in many different contexts and has different physical meanings.For example, Pekar [4] studied the interaction of free electrons within the lattice of ions with phonons related to lattice distortions by using the conditions if  = 0 and () ≡ 1.In Ref. [2], Lieb studied the positive solution for problem (2) in ℝ by using the conditions if  = 0, () ≡ 1,  = 2 and  = 2.In Ref. [5], Tang et al. examined ground state solutions employing the Nehari-type approach for the Choquard equation with a lower critical exponent.They applied specific conditions, including  = || , () ≡ 1,  ∈ (0, ),  = − 1,  > 0, 2 <  < 2 *   ≥ 1.In Ref. [6], Jing et al. explored the existence of ground state solutions in the context of Choquard equations that involved a localized nonlinear disturbance, employing the Pohožaev identity and minimax methodologies.Lü [7] proved the concentration results and the existence of ground state solutions when  ⟶ +∞ for problem (2) with subcritical exponents, and using the condition if  = 0, the potential is well described by () = 1 +  ℎ() and  = 3.
Moroz and Van [8] demonstrated that the following general Choquard equation has the ground state solution if the following assumptions are met for nonlinearity .  ∈ (ℝ, ℝ).
Gui and Tang [9] showed that the following problem has ground state solutions if the following conditions are met for : When  = 0, there is no solution to problem (4), as stated in reference [10].The incorporation of non-relativistic Newtonian gravity into the Schrödinger equation resulted in the transformation of the Choquard equation into what is now referred to as the Schrödinger-Newton equation.
Our work is associated with the following Choquard-Pekar equation In 1954 [1], Pekar studied the case  = 2 and  = 1.This situation is related to an explanation of the quantum theory of the stationary state of the polaron.In a particular approximation of the Hartree-Fock theory for one-component plasma, Choquard formulated a model representing an electron ensnared within its self-contained influence in 1977.A Schrödinger−Newton equation, first introduced by Penrose in the context of the self-gravitational collapse of the quantum mechanical wave function, is an alternate name for this equation.Lieb established the uniqueness and existence, up to translations, of a Gui and Tang [9] showed that the following problem has ground state solutions if the following conditions are met for g : and  is the Gamma function.Nonlinearity is described by the exponent  ∈ ℝ. Equation ( 2) is used in many different contexts and has different physical meanings.For example, Pekar [4] studied the interaction of free electrons within the lattice of ions with phonons related to lattice distortions by using the conditions if  = 0 and () ≡ 1.In Ref. [2], Lieb studied the positive solution for problem (2) in ℝ by using the conditions if  = 0, () ≡ 1,  = 2 and  = 2.In Ref. [5], Tang et al. examined ground state solutions employing the Nehari-type approach for the Choquard equation with a lower critical exponent.They applied specific conditions, including  = || , () ≡ 1,  ∈ (0, ),  = − 1,  > 0, 2 <  < 2 *   ≥ 1.In Ref. [6], Jing et al. explored the existence of ground state solutions in the context of Choquard equations that involved a localized nonlinear disturbance, employing the Pohožaev identity and minimax methodologies.Lü [7] proved the concentration results and the existence of ground state solutions when  ⟶ +∞ for problem (2) with subcritical exponents, and using the condition if  = 0, the potential is well described by () = 1 +  ℎ() and  = 3.
Moroz and Van [8] demonstrated that the following general Choquard equation has the ground state solution if the following assumptions are met for nonlinearity .Gui and Tang [9] showed that the following problem has ground state solutions if the following conditions are met for : When  = 0, there is no solution to problem (4), as stated in reference [10].The incorporation of non-relativistic Newtonian gravity into the Schrödinger equation resulted in the transformation of the Choquard equation into what is now referred to as the Schrödinger-Newton equation.
Our work is associated with the following Choquard-Pekar equation In 1954 [1], Pekar studied the case  = 2 and  = 1.This situation is related to an explanation of the quantum theory of the stationary state of the polaron.In a particular approximation of the Hartree-Fock theory for one-component plasma, Choquard formulated a model representing an electron ensnared within its self-contained influence in 1977.A Schrödinger−Newton equation, first introduced by Penrose in the context of the self-gravitational collapse of the quantum mechanical wave function, is an alternate name for this equation.Lieb established the uniqueness and existence, up to translations, of a and  is the Gamma function.Nonlinearity is described by the exponent  ∈ ℝ. Equation ( 2) is used in many different contexts and has different physical meanings.For example, Pekar [4] studied the interaction of free electrons within the lattice of ions with phonons related to lattice distortions by using the conditions if  = 0 and () ≡ 1.In Ref. [2], Lieb studied the positive solution for problem (2) in ℝ by using the conditions if  = 0, () ≡ 1,  = 2 and  = 2.In Ref. [5], Tang et al. examined ground state solutions employing the Nehari-type approach for the Choquard equation with a lower critical exponent.They applied specific conditions, including  = || , () ≡ 1,  ∈ (0, ),  = − 1,  > 0, 2 <  < 2 *   ≥ 1.In Ref. [6], Jing et al. explored the existence of ground state solutions in the context of Choquard equations that involved a localized nonlinear disturbance, employing the Pohožaev identity and minimax methodologies.Lü [7] proved the concentration results and the existence of ground state solutions when  ⟶ +∞ for problem (2) with subcritical exponents, and using the condition if  = 0, the potential is well described by () = 1 +  ℎ() and  = 3.
Moroz and Van [8] demonstrated that the following general Choquard equation has the ground state solution if the following assumptions are met for nonlinearity .Gui and Tang [9] showed that the following problem has ground state solutions if the following conditions are met for : , where () = ().
When  = 0, there is no solution to problem (4), as stated in reference [10].The incorporation of non-relativistic Newtonian gravity into the Schrödinger equation resulted in the transformation of the Choquard equation into what is now referred to as the Schrödinger-Newton equation.
Our work is associated with the following Choquard-Pekar equation In 1954 [1], Pekar studied the case  = 2 and  = 1.This situation is related to an explanation of the quantum theory of the stationary state of the polaron.In a particular approximation of the Hartree-Fock theory for one-component plasma, Choquard formulated a model representing an electron ensnared within its self-contained influence in 1977.A Schrödinger−Newton equation, first introduced by Penrose in the context of the self-gravitational collapse of the quantum mechanical wave function, is an alternate name for this equation.Lieb 2) is used in many different contexts and has different physical meanings.For example, Pekar [4] studied the interaction of free electrons within the lattice of ions with phonons related to lattice distortions by using the conditions if  = 0 and () ≡ 1.In Ref. [2], Lieb studied the positive solution for problem (2) in ℝ by using the conditions if  = 0, () ≡ 1,  = 2 and  = 2.In Ref. [5], Tang et al. examined ground state solutions employing the Nehari-type approach for the Choquard equation with a lower critical exponent.They applied specific conditions, including  = || , () ≡ 1,  ∈ (0, ),  = − 1,  > 0, 2 <  < 2 *   ≥ 1.In Ref. [6], Jing et al. explored the existence of ground state solutions in the context of Choquard equations that involved a localized nonlinear disturbance, employing the Pohožaev identity and minimax methodologies.Lü [7] proved the concentration results and the existence of ground state solutions when  ⟶ +∞ for problem (2) with subcritical exponents, and using the condition if  = 0, the potential is well described by () = 1 +  ℎ() and  = 3.
Moroz and Van [8] demonstrated that the following general Choquard equation Gui and Tang [9] showed that the following problem has ground state solutions if the following conditions are met for : , where () = ().
When  = 0, there is no solution to problem (4), as stated in reference [10].The incorporation of non-relativistic Newtonian gravity into the Schrödinger equation resulted in the transformation of the Choquard equation into what is now referred to as the Schrödinger-Newton equation.
Our work is associated with the following Choquard-Pekar equation In 1954 [1], Pekar studied the case  = 2 and  = 1.This situation is related to an explanation of the quantum theory of the stationary state of the polaron.In a particular approximation of the Hartree-Fock theory for one-component plasma, Equation ( 2) is used in many different contexts and has different physical meanings.For example, Pekar [4] studied the interaction of free electrons within the lattice of ions with phonons related to lattice distortions by using the conditions if  = 0 and () ≡ 1.In Ref. [2], Lieb studied the positive solution for problem (2) in ℝ by using the conditions if  = 0, () ≡ 1,  = 2 and  = 2.In Ref. [5], Tang et al. examined ground state solutions employing the Nehari-type approach for the Choquard equation with a lower critical exponent.They applied specific conditions, including  = || , () ≡ 1,  ∈ (0, ),  = − 1,  > 0, 2 <  < 2 *   ≥ 1.In Ref. [6], Jing et al. explored the existence of ground state solutions in the context of Choquard equations that involved a localized nonlinear disturbance, employing the Pohožaev identity and minimax methodologies.Lü [7] proved the concentration results and the existence of ground state solutions when  ⟶ +∞ for problem (2) with subcritical exponents, and using the condition if  = 0, the po- Gui and Tang [9] showed that the following problem has ground state solutions if the following conditions are met for : When  = 0, there is no solution to problem (4), as stated in reference [10].The incorporation of non-relativistic Newtonian gravity into the Schrödinger equation resulted in the transformation of the Choquard equation into what is now referred to as the Schrödinger-Newton equation.
Our work is associated with the following Choquard-Pekar equation In 1954 [1], Pekar studied the case  = 2 and  = 1.This situation is related to an explanation of the quantum theory of the stationary state of the polaron.In a particular approximation of the Hartree-Fock theory for one-component plasma, Equation ( 2) is used in many different contexts and has different physical meanings.For example, Pekar [4] studied the interaction of free electrons within the lattice of ions with phonons related to lattice distortions by using the conditions if  = 0 and () ≡ 1.In Ref. [2], Lieb studied the positive solution for problem (2) in ℝ by using the conditions if  = 0, () ≡ 1,  = 2 and  = 2.In Ref. [5], Tang et al. examined ground state solutions employing the Nehari-type approach for the Choquard equation with a lower critical exponent.They applied specific conditions, including  = || , () ≡ 1,  ∈ (0, ),  = − 1,  > 0, 2 <  < 2 *   ≥ 1.In Ref. [6], Jing et al. explored the existence of ground state solutions in the context of Choquard equations that involved a localized nonlinear disturbance, employing the Pohožaev identity and minimax methodologies.Lü [7] proved the concentration results and the existence of ground state solutions when  ⟶ +∞ for problem (2) with subcritical exponents, and using the condition if  = 0, the potential is well described by () = 1 +  ℎ() and  = 3. Gui and Tang [9] showed that the following problem has ground state solutions if the following conditions are met for : When  = 0, there is no solution to problem (4), as stated in reference [10].The incorporation of non-relativistic Newtonian gravity into the Schrödinger equation resulted in the transformation of the Choquard equation into what is now referred to as the Schrödinger-Newton equation.
Our work is associated with the following Choquard-Pekar equation In 1954 [1], Pekar studied the case  = 2 and  = 1.This situation is related to an explanation of the quantum theory of the stationary state of the polaron.In a particular approximation of the Hartree-Fock theory for one-component plasma, Choquard formulated a model representing an electron ensnared within its self-contained influence in When g = 0, there is no solution to problem (4), as stated in reference [10].The incorporation of non-relativistic Newtonian gravity into the Schrödinger equation resulted in the transformation of the Choquard equation into what is now referred to as the Schrödinger-Newton equation.
Our work is associated with the following Choquard-Pekar equation In 1954 [1], Pekar studied the case ζ = 2 and µ = 1.This situation is related to an explanation of the quantum theory of the stationary state of the polaron.In a particular approximation of the Hartree-Fock theory for one-component plasma, Choquard formulated a model representing an electron ensnared within its self-contained influence in 1977.A Schrödinger−Newton equation, first introduced by Penrose in the context of the self-gravitational collapse of the quantum mechanical wave function, is an alternate name for this equation.Lieb established the uniqueness and existence, up to translations, of a ground state to Equation (5) in 1977 [2].In 1980, Lions [11] investigated the existence of a sequence of solutions that exhibit radial symmetry in Equation ( 5).The generalized Choquard Equation ( 5) for ζ ≥ 2, was introduced by Ma and Zhao in 2010 [12], with the assumption that a specific set of real numbers, determined by ζ, N, and µ, is nonempty.Every positive solution of (5) has been proven to be monotonically decreasing and radially symmetric about some points.In 2012, the authors in [13] proved multiplicity results and existence in the electromagnetic case under some assumptions.They also obtained some asymptotical decay and the regularity of the ground states of Equation ( 5) as they approach infinity.In 2013, Moroz and Van [10] proved the positivity, regularity and radial symmetry of ground states within an optimal range of parameters.Additionally, they derived the asymptotic decay of these states as they approach infinity.Now, we will study the cases of V for Equation ( 5).

•
In the case where V is the continuous periodic function and inf R N V(x) > 0, applying a mountain pass theorem can easily prove the existence result, and a nonlocal term is invariant under translation, see [14].

•
The problem is strongly indefinite if V, the periodic potential, changes its sign and the point 0 lies in the gap of the spectrum of a Schrödinger operator −∆ + V.The existence of a nontrivial solution with F(u) = u 2 and µ = 1 was proven in [15] via the reduction approach.

•
When V is a vanishing potential, the studies that highlighted a generalized Choquard equation with the vanishing potential include [16,17].

•
In the case where V(∞) = 0 and potential V is vanishing at infinity, the author in [18] showed the Choquard Equation ( 5) with potentials vanishing at infinity.In Ref. [19], Berestycki and Lions published work that refers to this class of problems.
Benci, Grisanti and Micheletti [20,21] considered the following problem and proved the nonexistence and existence of a ground state solution by assuming some conditions for nonlinearity f .In 2022, the author in Ref. [22] used a generalized Nehari manifold technique developed by Szulkin and Weth to establish the existence of a ground state solution for a class of Choquard equations with a potential.They presumptively considered that a potential satisfies a general indefinite periodic condition.Thus, the Schrödinger operator has a purely continuous spectrum, and the energy function connected to it is strongly indefinite.For a few decades, variational approaches have been used to study qualitative properties and the existence of the Choquard equation.In recent years, there has been thorough research into the presence of a ground state solution for the Choquard equation, as documented in references [23][24][25][26][27][28][29][30][31].For a more comprehensive understanding of variational methods, readers are encouraged to consult the following references [32][33][34][35].
In this article, we consider the Choquard equation as follows: where N ∈ N, N ≥ 3, ∆ D is a Laplacian with Dirichlet boundary conditions on Ω.The exponent N+α N−2 is critical with respect to an upper Hardy-Littlewood-Sobolev inequality, |x − y| N−α dy , where P.V represents the principal value of an integral: where B ε (x) is the ball of radius ε and centre x.
The focus of this article lies in the following modification.We replace the Riesz potential I α with (−∆ D ) −α/2 , where ∆ D denotes the Laplacian operator acting on Ω with Dirichlet boundary conditions.Previous research had examined the Riesz potential I α as (−∆) −α/2 , where ∆ stands for the Laplacian on Ω.
We focus on a solution to Choquard Equation ( 6), which corresponds to critical points of a functional J defined for each function u : R N → R by The key concept underpinning our proof begins with demonstrating, firstly, the existence of a nontrivial critical point for the functional J through the application of the mountain pass lemma and the concentration compactness argument.Following this, we proceed to seek a minimizer for the subsequent minimization problem The present paper is structured as follows.In the second section, we provide necessary definitions, theorems, lemmas and a crucial estimate related to the mountain pass energy level.Moving on to the third section, we examine the functional J with a mountain pass geometry, allowing us to obtain the Palais-Smale sequence.Subsequently, we establish an estimate for the mountain pass energy level to ensure compactness.Afterward, we prove the existence of ground state solutions under consideration of the Riesz potential.Following that, we demonstrate the existence of a minimizer.Finally, we address the case of nonexistence.

Preliminaries
We present some rudimentary notations in this part, and we will utilize the following: The usual Sobolev space is H 1 R N .We define the inner product in We define a norm in H 1 R N by We define the norm in D 1,2 R N , and A Palais−Smale sequence: Let F be the real Hilbert space, and We refer that u n ⊂ F is the Palais−Smale sequence at level c for I, also known as the (PS) c sequence.If any (PS) c sequence possesses the convergent subsequence, then we assume that I satisfies the (PS) c condition.
The Hardy-Littlewood-Sobolev inequality ( [34], Theorem 4.5): We assume that B ∈ L s R N and g∈ L t R N .Then, we have where 1 < s, t < ∞, 0 < α < N, and 1 If In this instance, equality in (8) exists if and only if g ≡ (cost.)Band for some κ ∈ C, 0 = γ ∈ R and a ∈ R N .
By a semi-group identity for the Riesz potential −∆ D 34], Corollary 5.10), we can rewrite the Hardy-Littlewood-Sobolev inequality (10) as The Hardy-Littlewood-Sobolev inequality (10) in our situation is where a constant C depends on α, N. The minimization problem for this inequality is as follows: By using ( [34], Theorem 4.3), the infimum ℵ is obtained by the function u ∈ H 1 R N if and only if the following exists for all for a few given constants ε ∈ (0, +∞), a ∈ R N and A ∈ R.
Definition 1 ([35]).The function u ∈ H 1 loc R N is the weak solution to the Choquard Equation ( 1).For all test functions ψ ∈ H 1 R N supported in the compact set and Definition 2 ((Riesz fractional Laplacian) [36]).To define a fractional Laplacian on the bounded domain Ω , one approach is to use a real space formula to functions on Ω.This derivation leads to a Riesz fractional Laplacian in Ω.We discuss Dirichlet boundary conditions here.For defining the Riesz Laplacian within Ω, Formula ( 16) requires values of uon all of R N .Therefore, the exterior boundary condition is necessary.For the functions u that satisfy (17), a Riesz fractional Laplacian is defined for x∈Ω by The Riesz fractional Laplacian is directly influenced by exterior boundary values g and the region Ω.
Lemma 3 ([10], Lemma (2.4)).We assume that α ∈ (0, N) and N ≥ 3.If a sequence (u n ) n∈N is converged to u nearly everywhere in R N and the bounded sequence in L 2 R N , then (18)

Main Result
We consider that a functional J has a mountain pass geometry to obtain the Palais-Smale sequence for a functional J .Theorem 1.If a functional J satisfies the following conditions (1) σ > 0 exists such that inf then a functional J has the mountain pass geometry. Proof.
(1) Let µ 1 be a constant and µ 1 > 0 such that we have the following for t ∈ R by using a classical Sobolev inequality and the Hardy-Littlewood−Sobolev inequality ( 11) Then, inf u =σ J (u) > 0 as long as σ is sufficiently small.
(2) For any non-zero u ∈ H 1 R N and any positive value of t, we have Now, we prove an estimate on a mountain pass energy level to ensure compactness.By using a classical mountain pass theorem, we have the minimax description at an energy level k 0 , which is defined by where Theorem 2. We assume that α ∈ (0, N), N ≥ 3 and k * = α+2 2(N+α) ℵ N+α N+2 .Then, k 0 < k * .
Proof.We firstly show that k 0 ≤ k 1 , where Indeed, for any u ∈ H 1 R N \{0}, t u > 0 exists according to Theorem 1 such that J (t u u) < 0. As a result, according to the definition of k 0 , we have Accordingly, we have k 0 ≤ k 1 given that the lefthand side does not depend on the choice of u.By applying a representation Formula ( 14) for the optimal functions of the Hardy−Littlewood−Sobolev inequality, we set the following for ε > 0 and for each x ∈ R N : .
where a functional ψ : H 1 R N −→ R is defined as follows: Proof.We notice that, as n → ∞ We deduce by the assumption lim n→∞ inf u n > 0 and by the Hardy−Littlewood-Sobolev inequality (11), that From the definition of ℵ and given that n → ∞, we have Therefore, Then, the conclusion follows from ( 22) and (23).
Even though the functional J does not have global satisfaction of the Palais-Smale condition, it remains applicable within a defined energy level.Theorem 4. For the function J , with the assumption that (u n ) n∈N is the bounded sequence and satisfies (PS) k sequence with k ∈ (0, k * ).Then, up to the subsequence and translations, the sequence (u n ) n∈N converges weakly to some functions u ∈ H 1 R N \{0} such that J (u) ∈ (0, k] and J (u) = 0.
Proof.Firstly, we prove that On the other hand, J (u n ) → k > 0 as n → ∞, which combined with the Hardy−Littlewood−Sobolev inequality (11), implies that lim n→∞ inf u n > 0.
We, thus, deduce from Theorem 3 that This condition would be a contradiction.By using the Lions inequality ( [38], Lemma 1.21), ([39], Lemma 1.1) and ([40], (2.4)), we have Consequently, the sequence of points (y n ) n∈N in R N exists such that We then define ǔn := u n (. + y n ) because the function J is invariant under translation.The sequence ( ǔn ) n∈N ⊂ H 1 R N is also a bounded (PS) k sequence that converges weakly to some functions u ∈ H 1 R N \{0}.
We now claim that J (u) = 0.For simplicity, the sequence ( ǔn ) n∈N is still denoted by (u n ) n∈N .Given that Given that a Riesz potential is a linear bounded map from which is together with a fact that a smooth test function set ∞ k R N is dense in H 1 R N given that J (u) = 0. We consider ∼ I = min 2 N+α N−2 , I > 2, Consequently, based on Fatou's lemma, we conclude that In the end, we conclude that Theorem 5.For eachN ≥ 3andα ∈ (0, N).Then, the Choquard Equation ( 6) has a ground state solution.
Proof.Two steps will be used to prove this theorem.Firstly, we find the nontrivial solution to problem ( 6) with an energy level that is strictly less than k * .Thereafter, we present that the minimization problem is attained.By using Theorem 1 and a mountain pass theorem, the Palais−Smale sequence (u n ) n∈N is proven to exist at the energy level k 0 defined by (19).Then, Theorem 2 indicates that k 0 ∈ (0, k * ).The sequence (u n ) n∈N is a bounded in H 1 R N ; actually, by taking As a result, up to the subsequence and given that n → ∞ u n weakly Through a classical Sobolev−Rellich embedding theorem, we can deduce that u n strongly −−−−→ u, in L q loc R N , and u n converges to u nearly everywhere in R N .According to Theorem 4, we deduce that u is a nontrivial critical point of a functional J and J (u) ∈ (0, k 0 ].We now show the existence of a minimizer for the minimization issue stated by (24).We assume that (v n ) n∈N is the sequence of nontrivial solutions to (6) such that lim n→∞ J (v n ) =δ 0 .We firstly observe that δ 0 ≤ k 0 < k * .Given that J (v n ) = 0 and by taking ∼ I = min 2 N+α N−2 , I > 2, we have Consequently, a sequence (v n ) n∈N is a bounded in H 1 R N .
As a result, lim n→∞ v n > 0. It implies that δ 0 when it is combined with (25).The sequence (v n ) n∈N is a bounded (PS) δ 0 sequence for a functional J .Thus, we infer from Theorem 4 that, up to the subsequence and translations, By definition of ℵ, we have Therefore, we conclude that And, hence, according to the definition of ℵ * , we have That is, the infimum ℵ * is attained at u. From (26), we establish that u n → u in L 2 R N .Given that V(x) ∈ L ∞ R N , we obtain that Vu n → Vu in L 2 R N .By using (26) again, we conclude that In (6), if V = 1, then the problem has no solution [10].

Conclusions
In this article, we focused on a fundamental problem: establishing the existence of a ground state solution for an upper critical Choquard equation, a challenge that holds significance in the fields of mathematics and physics.We achieved several notable outcomes, which contribute to our understanding of this complex equation and its practical applications.Our research successfully confirmed the existence of a ground state solution for the upper critical Choquard equation.This outcome addresses a long-standing question and extends our knowledge of nonlinear partial differential equations.By considering a Riesz potential represented as −∆ D −α 2 , where ∆ D is a Laplacian operator on Ω with Dirichlet boundary conditions, we added depth to our understanding of the behavior of Choquard equations under these specific conditions.Our work demonstrated that the existence of a ground state solution is not limited to abstract theoretical contexts.We established this solution within bounded domains Ω ⊂ R N , which is particularly relevant in physical and mathematical analysis involving Choquard equations.Variational methods proved to be instrumental in our research, enabling us to address the problem effectively.This underscores the importance of such techniques in handling intricate nonlinear phenomena.
In conclusion, our study has not only resolved the question of ground state existence for upper critical Choquard equations but has also enhanced our comprehension of the role of Riesz potentials and Laplacians with Dirichlet boundary conditions in this context.The practical applicability of our findings in bounded domains further underlines the relevance of this research.We anticipate that our work will inspire future investigations in the field of nonlinear partial differential equations, contributing to the broader understanding of the Choquard equation and its associated phenomena.

16 𝐼and
Choquard formulated a model representing an electron ensnared within its self-contained influence in 1977.A Schrödinger−Newton equation, first introduced by Penrose in the context of the self-gravitational collapse of the quantum mechanical wave function, is an alternate name for this equation.Lieb established the uniqueness and existence, up to translations, of a lim s→∞ G(s) s 2 = + ∞ for N ≥ 5; Fractal Fract.2023, 7, x FOR PEER REVIEW 2 of  is the Gamma function.Nonlinearity is described by the exponent  ∈ ℝ.

16 𝐼and
Choquard formulated a model representing an electron ensnared within its self-contained influence in 1977.A Schrödinger−Newton equation, first introduced by Penrose in the context of the lim s→∞ G(s) s 2 ln s = + ∞ for N = 4; Fractal Fract.2023, 7, x FOR PEER REVIEW 2 of  is the Gamma function.Nonlinearity is described by the exponent  ∈ ℝ.
→ u, in H 1 R N , through the application of the Sobolev−Rellich embedding theorem,u n strongly −−−−→ u, in L 2 loc R N ,and still, up to the subsequence,u n −→ u, in everywhere in R N .Given that the sequence (u n ) n∈N is bounded in L 2 R N , the sequence |u n | → v in H 1 R N as n → ∞, v = 0 and J (v) = 0 and J (v) ∈ (0, δ 0 ].
established the uniqueness and existence, up to translations, of a established the uniqueness and existence, up to translations, of a * = 2N N−2 .