Double phase problems with variable growth and convection for the Baouendi–Grushin operator

Abstract

In this paper we study a class of quasilinear elliptic equations with double phase energy and reaction term depending on the gradient. The main feature is that the associated functional is driven by the Baouendi–Grushin operator with variable coefficient. This partial differential equation is of mixed type and possesses both elliptic and hyperbolic regions. We first establish some new qualitative properties of a differential operator introduced recently by Bahrouni et al. (Nonlinearity 32(7):2481–2495, 2019). Next, under quite general assumptions on the convection term, we prove the existence of stationary waves by applying the theory of pseudomonotone operators. The analysis carried out in this paper is motivated by patterns arising in the theory of transonic flows.

Introduction

Let \(\Omega \subset {\mathbb {R}}^N\), \(N>1\), be a bounded domain with smooth boundary \(\partial \Omega \) and let nm be nonnegative integers such that \(N=n+m\). This means that \({\mathbb {R}}^N={\mathbb {R}}^n\times {\mathbb {R}}^m\) and so \(z \in \Omega \) can be written as \(z=(x,y)\) with \(x \in {\mathbb {R}}^n\) and \(y\in {\mathbb {R}}^m\).

We consider the following double phase problem with convection term

$$\begin{aligned} \begin{aligned} -\Delta _{G(x,y)}u+A(x,y)(|u|^{G(x,y)-1}+|u|^{G(x,y)-3})&u =f\left( (x,y),u,\nabla u\right)&\text {in } \Omega ,\\&u= 0&\quad \text {on } \partial \Omega , \end{aligned} \end{aligned}$$
(1.1)

with

$$\begin{aligned} A(x,y)=|\nabla _{x} G(x,y)|+|x|^{\gamma }|\nabla _{y} G(x,y)|\quad \text {for all }(x,y)\in \Omega . \end{aligned}$$

Here, \(G:\overline{\Omega }\rightarrow (1,\infty ) \) is supposed to be a continuous function and \(\Delta _{G(x,y)}\) stands for the Baouendi–Grushin operator with variable coefficient, which is defined by

$$\begin{aligned} \Delta _{G(x,y)}u&={\mathrm{div}}\left( \nabla _{G(x,y)}u\right) \\&=\sum _{i=1}^n \left( |\nabla _x|^{G(x,y)-2}u_{x_i}\right) _{x_i}+|x|^\gamma \sum _{i=1}^m \left( |\nabla _y|^{G(x,y)-2}u_{y_i}\right) _{y_i}, \end{aligned}$$

where

$$\begin{aligned} \nabla _{G(x,y)}u=\mathcal {A}(x) \begin{bmatrix} |\nabla _x|^{G(x,y)-2} &{} \nabla _x u\\ |x|^\gamma |\nabla _y|^{G(x,y)-2} &{} \nabla _y u \end{bmatrix} \end{aligned}$$

and

$$\begin{aligned} \mathcal {A}(x)= \begin{bmatrix} I_n &{} 0_{n,m}\\ 0_{m,n} &{} |x|^\gamma I_m \end{bmatrix}\in \mathcal {M}_{N\times N}({\mathbb {R}}), \end{aligned}$$

where \(I_n\) is the identity matrix of size \(n\times n\), \(O_{n,m}\) is the zero matrix of size \(n\times m\), and \(\mathcal {M}_{N\times N}\) stands for the class of \(N\times N\)-matrices with real-valued entries. From the representation above it is clear that \(\Delta _{G(x,y)}\) is degenerate along the m-dimensional subspace \(M:=\{0\}\times {\mathbb {R}}^m\) of \({\mathbb {R}}^N\).

The differential operator \(\Delta _{G(x,y)}\) generalizes the degenerate operator

$$\begin{aligned} \frac{\partial ^2}{\partial x^2}+x^{2r}\frac{\partial ^2}{\partial y^2}\quad (r\in {\mathbb N}) \end{aligned}$$

introduced by Baouendi [7] and Grushin [17]. The Baouendi–Grushin operator can be viewed as the Tricomi operator for transonic flow restricted to subsonic regions. On the other hand, a second-order differential operator T in divergence form on the plane can be written as an operator whose principal part is a Baouendi–Grushin-type operator, provided that the principal part of T is nonnegative and its quadratic form does not vanish at any point, see Franchi and Tesi [15].

In the right-hand side of problem (1.1) we have a nonlinearity \(f:\Omega \times {\mathbb {R}}\times {\mathbb {R}}^N \rightarrow {\mathbb {R}}\) which is a Carathéodory function, that is, \(f(\cdot ,s,\xi )\) is measurable for all \((s,\xi )\in {\mathbb {R}}\times {\mathbb {R}}^N\) and \(f((x,y),\cdot ,\cdot )\) is continuous for a.a. \((x,y)\in \Omega \).

Problem (1.1) is strictly connected with the analysis of nonlinear patterns and stationary waves for transonic flow models. We refer to the pioneering work of Morawetz [20,21,22] on the theory of transonic fluid flow—referring to partial differential equations that possess both elliptic and hyperbolic regions—and this remains the most fundamental mathematical work on this subject. The flow is supersonic in the elliptic region, while a shock wave is created at the boundary between the elliptic and hyperbolic regions. In the 1950s, Morawetz used functional–analytic methods to study boundary value problems for such transonic problems.

The variable coefficient G(xy) describes the geometry of a composite realized by using two materials with corresponding behaviour described by \(|\nabla _{x}u|^{G(x,y)}\) and \(|\nabla _{y}u|^{G(x,y)}\). Then in the region \(\{z\in \Omega :\ x\not =0\}\) the material described by the second integrand is present. In the opposite case, the material described by the first integrand is the only one that creates the composite.

The main goal of our paper is to prove the existence of at least one weak solution of problem (1.1) under very general conditions on the nonlinearity \(f:\Omega \times {\mathbb {R}}\times {\mathbb {R}}^N \rightarrow {\mathbb {R}}\). The novelty of our paper is the fact that we combine a double phase operator driven by the Baouendi–Grushin operator with variable growth and a right-hand side which depends on the gradient of the solution. Such function is called convection term.

It is well known that the Caffarelli–Kohn–Nirenberg inequality is a powerful inequality and it is needed in several ways in the study of partial differential equations. We refer to the works of Adimurthi et al. [2], Baroni et al. [8], Colasuonno and Pucci [12], Colombo and Mingione [13] for relevant applications of the Caffarelli–Kohn–Nirenberg inequality. For recent contributions to the study of double-phase problems we refer to Beck and Mingione [9], Papageorgiou et al. [24, 25], and Zhang and Rădulescu [31].

The following Caffarelli–Kohn–Nirenberg inequality [10] establishes that for given \(p\in (1,N)\) and real numbers \(a,\,b\) and q such that

$$\begin{aligned} -\infty<a<\frac{N-p}{p},\quad a\le b\le a+1,\quad q=\frac{Np}{N-p(1+a-b)}, \end{aligned}$$

there exists a positive constant \(C_{a,b}\) such that for all \(u\in C_c^1(\Omega )\)

$$\begin{aligned} \left( \int _{\Omega }|x|^{-bq}|u|^q\,\mathrm{d}x\right) ^{p/q}\le C_{a,b}\int _{\Omega }|x|^{-ap}|\nabla u|^p\,\mathrm{d}x. \end{aligned}$$

This inequality was extensively studied, see for example Abdellaoui and Peral [1], Adimurthi et al. [2], Bahrouni et al. [4, 5], Catrina and Wang [11], and the references therein. In particular, Bahrouni et al. [5] proved a new version of a Caffarelli–Kohn–Nirenberg inequality with variable exponent for the Baouendi–Grushin operator \(\Delta _{G}\). More precisely, the following weighted inequality has been proved.

Theorem 1.1

Assume that G is a function of class \(C^{1}\) and that \(G(x,y)\in (2,N)\) for all \((x,y)\in \Omega \). Then there exists a positive constant \(\beta \) such that for all \(u\in C^{1}_{c}(\Omega )\)

$$\begin{aligned}&\int _{\Omega }\left( 1+|x|^{\gamma }\right) |u|^{G(x,y)}\,\mathrm{d}x\,\mathrm{d}y\\&\quad \le \beta \int _{\Omega }\left( |\nabla _{x} u|^{G(x,y)}+ |x|^{\gamma }|\nabla _{y} u|^{G(x,y)}\right) \,\mathrm{d}x\,\mathrm{d}y \\&\qquad +\,\beta \displaystyle \int _{\Omega }|u|^{G(x,y)-1}\left( 1+u^2\right) \left( |\nabla _{x} G(x,y)|+|x|^{\gamma }|\nabla _{y} G(x,y)|\right) \,\mathrm{d}x\,\mathrm{d}y. \end{aligned}$$

The paper is organized as follows. In Sect. 2 we present the basic properties of variable Lebesgue and Sobolev spaces and state the main tools which will be used later; see Rădulescu and Repovš [29] for more details. New properties concerning the Baouendi–Grushin operator will be discussed in Sect. 3, and in the last section we state and prove our main result concerning the existence of a weak solution to problem (1.1).

Terminology and the abstract setting

In this section we recall some basic definitions and properties of the needed function spaces. We refer to the works of Bahrouni and Repovš [6], Hájek et al. [18], Musielak [23], Rădulescu [27, 28], Rădulescu and Repovš [29] and the references therein. Consider the set

$$\begin{aligned} C_+(\overline{\Omega })=\left\{ p\in C(\overline{\Omega })\ \bigg | \ p(x)>1 \ \text {for all } x\in \overline{\Omega }\right\} \end{aligned}$$

and define for any \(p\in C_+(\overline{\Omega })\)

$$\begin{aligned} p^+:=\sup _{x\in \overline{\Omega }} p(x)\quad \text {and}\quad p^-:= \inf _{x\in \overline{\Omega }}p(x). \end{aligned}$$

Then \(1<p^-\le p^+<\infty \) for each \(p\in C_+(\overline{\Omega })\). The variable exponent Lebesgue space \(L^{p(\cdot )}(\Omega )\) is defined by

$$\begin{aligned} L^{p(\cdot )}(\Omega )=\left\{ u:\Omega \rightarrow {\mathbb {R}}\ \bigg | \ u\text { is measurable and} \int _\Omega |u(x)|^{p(x)}\,\mathrm{d}x<\infty \right\} \end{aligned}$$

equipped with the Luxemburg norm

$$\begin{aligned} \Vert u\Vert _{p(\cdot )}=\inf \left\{ \mu >0 \ \bigg | \ \int _{\Omega }\left| \frac{u(x)}{\mu }\right| ^{p(x)}\, \mathrm{d}x\le 1\right\} . \end{aligned}$$

It is known that \(L^{p(\cdot )}(\Omega )\) is a reflexive Banach space. Moreover, continuous functions with compact support are dense in \(L^{p(\cdot )}(\Omega )\).

Denote by \(q(\cdot )\) the conjugate of \(p(\cdot )\), that is, \(1/p(x)+1/q(x)=1\) for all \(x\in \overline{\Omega }\). If \(u\in L^{p(\cdot )}(\Omega )\) and \(v\in L^{q(\cdot )}(\Omega )\), then we have the following Hölder-type inequality

$$\begin{aligned} \left| \int _\Omega uv\,\mathrm{d}x\right| \le \left( \frac{1}{p^-}+ \frac{1}{q^-}\right) \Vert u\Vert _{p(\cdot )}\Vert v\Vert _{q(\cdot )}. \end{aligned}$$

More generally, if \(p_j\in C_+(\overline{\Omega })\) for \(j=1,2,3\) and

$$\begin{aligned} \frac{1}{p_1(x)}+\frac{1}{p_2(x)}+\frac{1}{p_3(x)}=1 \quad \text {for all }x\in \overline{\Omega }, \end{aligned}$$

then we obtain for all \(u\in L^{p_1(\cdot )}(\Omega )\), \(v\in L^{p_2(\cdot )}(\Omega )\) and \(w\in L^{p_3(\cdot )}(\Omega )\) that

$$\begin{aligned} \left| \int \limits _\Omega uvw\,\mathrm{d}x\right| \le \left( \frac{1}{p_1^-}+ \frac{1}{p_2^-}+\frac{1}{p_3^-}\right) \Vert u\Vert _{p_1(\cdot )}\Vert v\Vert _{p_2(\cdot )}\Vert w\Vert _{p_3(\cdot )}. \end{aligned}$$

Moreover, for \(p_1\le p_2\) in \(\Omega \), then there exists the continuous embedding \(L^{p_2(\cdot )}(\Omega )\hookrightarrow L^{p_1(\cdot )}(\Omega )\).

The following two propositions will be useful in the sequel.

Proposition 2.1

Let

$$\begin{aligned} \rho _1(u)=\displaystyle \int \limits _{\Omega }|u|^{p(x)}\,\mathrm{d}x \quad \mathrm{for\, all }\,u\in L^{p(\cdot )}(\Omega ). \end{aligned}$$

Then the following holds:

  1. (i)

    \(\Vert u\Vert _{p(\cdot )}<1 \ (\mathrm{resp}., =1;>1)\) if and only if \(\rho _1(u)<1 \ (\mathrm{resp}., =1;>1)\);

  2. (ii)

    \(\Vert u\Vert _{p(\cdot )}>1\) implies \(\Vert u\Vert _{p(\cdot )}^{p^{-}}\le \rho _1(u) \le \Vert u\Vert _{p(\cdot )}^{p^{+}}\);

  3. (iii)

    \(\Vert u\Vert _{p(\cdot )}<1\) implies \(\Vert u\Vert _{p(\cdot )}^{p^{+}}\le \rho _1(u) \le \Vert u\Vert _{p(\cdot )}^{p^{-}}\).

Proposition 2.2

Let

$$\begin{aligned} \rho _1(u)=\displaystyle \int \limits _{\Omega }|u|^{p(x)}\,\mathrm{d}x \quad \mathrm{for\, all }\,u\in L^{p(\cdot )}(\Omega ). \end{aligned}$$

If \(u,u_{n}\in L^{p(\cdot )}(\Omega )\) and \(n\in {\mathbb {N}}\), then the following statements are equivalent:

  1. (i)

    \(\lim _{n\rightarrow +\infty } \Vert u_{n}-u\Vert _{p(\cdot )}=0\);

  2. (ii)

    \( \lim _{n\rightarrow +\infty } \rho _1( u_{n}-u)=0\);

  3. (iii)

    \(u_{n}(x)\rightarrow u(x)\) in \(\Omega \) and \( \lim _{n\rightarrow +\infty }\rho _1(u_{n})=\rho _1(u)\).

By \(W^{1,p(\cdot )}(\Omega )\) we denote the variable exponent Sobolev space

$$\begin{aligned} W^{1,p(\cdot )}(\Omega )=\left\{ u\in L^{p(\cdot )}(\Omega )\ \big | \ |\nabla u|\in L^{p(\cdot )} (\Omega ) \right\} \end{aligned}$$

equipped with the norm

$$\begin{aligned} \Vert u\Vert _{1,p(\cdot )}= \Vert \nabla u \Vert _{p(\cdot )}+\Vert u\Vert _{p(\cdot )} \end{aligned}$$

Then \(W^{1,p(\cdot )}(\Omega )\) is a reflexive and separable Banach space.

Our main existence result will be based on the following surjectivity result, see Gasinski and Papageorgiou [16]. First, we give the definition of pseudomonotonicity.

Definition 2.3

Let X be a reflexive Banach space, \(X^{*}\) its dual space and denote by \(\langle \cdot ,\cdot \rangle \) its duality pairing. Let \(A:X\rightarrow X^{*}\), then A is called pseudomonotone if \(u_n \overset{{\mathrm{w}}}{\rightarrow }u\) in X and \(\limsup _{n\rightarrow \infty } \langle A(u_n),u_n-u\rangle \le 0\) imply \(Au_n \overset{{\mathrm{w}}}{\rightarrow }u\) and \(\langle Au_n,u_n\rangle \rightarrow \langle Au,u\rangle \).

Theorem 2.4

Let X be a real, reflexive Banach space, and let \(A:X\rightarrow X^{*}\) be a pseudomonotone, bounded, and coercive operator, and \(b\in X^{*}\). Then the problem \(Au=b\) has at least one solution.

Properties of the double phase operator and the corresponding function space

In this section we recall and prove new results concerning the Baouendi–Grushin operator introduced in Sect. 1.

Based on Theorem 1.1, we denote by \({\mathcal W}\) the closure of \(C_{c}^{1}(\Omega )\) with respect to the norm

$$\begin{aligned} \left\| u\right\|&=\left\| \nabla _{x}u\right\| _{G(\cdot ,\cdot )}+\left\| \left| x\right| ^{\frac{\gamma }{G(\cdot ,\cdot )}} \nabla _{y}u\right\| _{G(\cdot ,\cdot )}\\&\quad +\,\left\| u\left( |\nabla _{x} G(x,y)|+|x|^{\gamma }|\nabla _{y} G(x,y)|\right) ^{\frac{1}{G(x,y)+1}}\right\| _{G(\cdot ,\cdot )+1}\\&\quad +\,\left\| u\left( |\nabla _{x} G(x,y)|+|x|^{\gamma }|\nabla _{y} G(x,y)|\right) ^{\frac{1}{G(x,y)-1}}\right\| _{G(\cdot ,\cdot )-1}. \end{aligned}$$

Note that the norm \(\Vert \cdot \Vert \) on \({\mathcal W}\) is equivalent to

$$\begin{aligned} \begin{aligned}&\Vert u\Vert _{\mathcal {W}}\\&\quad =\inf \left\{ \mu \ge 0 \ \bigg | \ \rho \left( \frac{u}{\mu }\right) \le 1\right\} \\&\quad =\inf \left\{ \mu \ge 0 \ \bigg | \ \displaystyle \int \limits _{\Omega }\frac{1}{G(x,y)}\left[ \left| \nabla _{x}\left( \frac{u}{\mu }\right) \right| ^{G(x,y)}+ \left| x\right| ^{\gamma }\left| \nabla _{y}\left( \frac{u}{\mu }\right) \right| ^{G(x,y)}\right] \,\mathrm{d}x\,\mathrm{d}y\right. \\&\qquad \left. +\,\displaystyle \int \limits _{\Omega }A(x,y)\left[ \frac{\left| \frac{u}{\mu }\right| ^{G(x,y)+1}}{G(x,y)+1}+\frac{\left| \frac{u}{\mu }\right| ^{G(x,y)-1}}{G(x,y)-1}\right] \,\mathrm{d}x\,\mathrm{d}y\le 1\right\} . \end{aligned} \end{aligned}$$
(3.1)

From now on we denote the duality pairing between \({\mathcal {W}}\) and its dual space \({\mathcal {W}}^{*}\) by \(\langle \cdot ,\cdot \rangle _{{\mathcal {W}}}\). Furthermore, we set

$$\begin{aligned} G^+:=\sup _{(x,y)\in \overline{\Omega }} G(x,y)\quad \text {and}\quad G^-:=\inf _{(x,y)\in \overline{\Omega }} G(x,y). \end{aligned}$$

The following compactness property was proved by Bahrouni et al. [5].

Lemma 3.1

Assume that G is a function of class \(C^{1}\) and that \(G(x,y)\in (2,N)\) for all \((x,y)\in \overline{\Omega }\). Furthermore, suppose that \(s\in (1,G^{-})\) and \(0<\gamma <\frac{N(G^{-}-s)}{s}\). Then \({\mathcal W}\) is compactly embedded in \(L^{s}(\Omega )\).

Now, we define \(\rho :{\mathcal {W}}\rightarrow {\mathbb {R}}\) by

$$\begin{aligned} \rho \left( u\right)&=\displaystyle \int \limits _{\Omega }\frac{1}{G(x,y)}\left[ \left| \nabla _{x}(u)\right| ^{G(x,y)}+ \left| x\right| ^{\gamma }\left| \nabla _{y}(u)\right| ^{G(x,y)}\right] \,\mathrm{d}x\,\mathrm{d}y\\&\quad +\,\displaystyle \int \limits _{\Omega }A(x,y)\left[ \frac{\left| u\right| ^{G(x,y)+1}}{G(x,y)+1}+\frac{\left| u\right| ^{G(x,y)-1}}{G(x,y)-1}\right] \,\mathrm{d}x\,\mathrm{d}y. \end{aligned}$$

The following lemma will be helpful in later treatments.

Lemma 3.2

Let \(u\in {\mathcal W}\), then the following holds:

  1. (i)

    For \(u\ne 0\) we have: \(\Vert u\Vert _{{\mathcal {W}}}=a\) if and only if \(\rho (\frac{u}{a})=1\);

  2. (ii)

    \(\Vert u\Vert _{{\mathcal {W}}}<1\) implies \(\Vert u\Vert _{{\mathcal {W}}}^{G^{+}+1}\le \rho (u)\le \Vert u\Vert _{{\mathcal {W}}}^{G^{-}-1}\);

  3. (iii)

    \(\Vert u\Vert _{{\mathcal {W}}}>1\) implies \(\Vert u\Vert _{{\mathcal {W}}}^{G^{-}-1}\le \rho (u)\).

Proof

  1. (i)

    For every fixed \(u\in {\mathcal W}\), the mapping \(\lambda \mapsto \rho (\lambda u)\) is a continuous, convex, even function, which is strictly increasing in \( [0,+\infty )\). Thus, by the definition of \(\rho \) and the equivalent norm given in (3.1), we have

    $$\begin{aligned} \Vert u\Vert _{{\mathcal {W}}}=a \quad \Longleftrightarrow \quad \rho \left( \frac{u}{a}\right) =1. \end{aligned}$$
  2. (ii)

    Let \(u\in {\mathcal W}\) be such that \(\Vert u\Vert _{\mathcal {W}}<1\), then

    $$\begin{aligned}&\left\| \nabla _{x}u\right\| _{G(\cdot ,\cdot )}<1,\\&\left\| \left| x\right| ^{\frac{\gamma }{G(x,y)}} \nabla _{y}u\right\| _{G(\cdot ,\cdot )}<1,\\&\left\| u(|\nabla _{x} G(x,y)|+|x|^{\gamma }|\nabla _{y} G(x,y)|)^{\frac{1}{G(x,y)+1}}\right\| _{G(\cdot ,\cdot )+1}<1,\\&\left\| u(|\nabla _{x} G(x,y)|+|x|^{\gamma }|\nabla _{y} G(x,y)|)^{\frac{1}{G(x,y)-1}}\right\| _{G(\cdot ,\cdot )-1}<1. \end{aligned}$$

    So, by Proposition 2.1, we get the desired result.

  3. (iii)

    Let \(u\in {\mathcal W}\) be such that \(\Vert u\Vert _{{\mathcal {W}}}>1\). By (i), we obtain

    $$\begin{aligned} \rho \left( \frac{u}{\Vert u\Vert _{\mathcal {W}}}\right)&=\displaystyle \int \limits _{\Omega }\frac{1}{G(x,y)}\left[ \left| \nabla _{x}\left( \frac{u}{\Vert u\Vert _{\mathcal {W}}}\right) \right| ^{G(x,y)}+ \left| x\right| ^{\gamma }\left| \nabla _{y}\left( \frac{u}{\Vert u\Vert _{\mathcal {W}}}\right) \right| ^{G(x,y)}\right] \,\mathrm{d}x\,\mathrm{d}y\\&\quad +\,\displaystyle \int \limits _{\Omega }A(x,y)\left[ \frac{\left| \frac{u}{\Vert u\Vert _{\mathcal {W}}}\right| ^{G(x,y)+1}}{G(x,y)+1}+\frac{\left| \frac{u}{\Vert u\Vert _{\mathcal {W}}}\right| ^{G(x,y)-1}}{G(x,y)-1}\right] \,\mathrm{d}x\,\mathrm{d}y =1. \end{aligned}$$

    Then, by the mean value theorem, there exist \((x_{1},y_{1}),(x_{2},y_{2}), (x_{3},y_{3})\in \overline{\Omega }\) depending on uG and \(\Omega \) such that

    $$\begin{aligned} 1&=\frac{1}{\Vert u\Vert _{{\mathcal {W}}}^{G(x_{1},y_{1})}}\displaystyle \int \limits _{\Omega }\frac{1}{G(x,y)}\left[ \left| \nabla _{x}u\right| ^{G(x,y)}+\left| x\right| ^{\gamma }\left| \nabla _{y}u\right| ^{G(x,y)}\right] \,\mathrm{d}x\,\mathrm{d}y\\&\quad +\,\frac{1}{\Vert u\Vert _{{\mathcal {W}}}^{G(x_{2},y_{2})+1}}\displaystyle \int \limits _{\Omega }A(x,y)\frac{\left| u\right| ^{G(x,y)+1}}{G(x,y)+1}\,\mathrm{d}x\,\mathrm{d}y\\&\quad +\,\frac{1}{\Vert u\Vert _{{\mathcal {W}}}^{G(x_{3},y_{3})-1}}\displaystyle \int \limits _{\Omega }A(x,y)\frac{\left| u\right| ^{G(x,y)-1}}{G(x,y)-1}\,\mathrm{d}x\,\mathrm{d}y. \end{aligned}$$

    Since \(\Vert u\Vert _{{\mathcal {W}}}>1\), it follows that

    $$\begin{aligned} 1&\le \frac{1}{\Vert u\Vert _{\mathcal {W}}^{G_{-}-1}}\left[ \displaystyle \int \limits _{\Omega }\frac{1}{G(x,y)}\left[ \left| \nabla _{x}u\right| ^{G(x,y)}+\left| x\right| ^{\gamma }\left| \nabla _{y}u\right| ^{G(x,y)}\right] \,\mathrm{d}x\,\mathrm{d}y\right] \\&\quad +\,\frac{1}{\Vert u\Vert _{\mathcal {W}}^{G_{-}-1}}\left[ \displaystyle \int \limits _{\Omega }A(x,y)\left[ \frac{\left| u\right| ^{G(x,y)+1}}{G(x,y)+1}+\frac{\left| u\right| ^{G(x,y)-1}}{G(x,y)-1}\right] \,\mathrm{d}x\,\mathrm{d}y\right] . \end{aligned}$$

    This finishes the proof. \(\square \)

Lemma 3.3

Assume that the assumptions of Lemma 3.1 are fulfilled. Then the following properties hold.

  1. (i)

    The functional \(\rho \) is of class \(C^{1}\), and for all \(u,v\in {\mathcal W}\) we have

    $$\begin{aligned} \langle \rho '(u),v\rangle _{{\mathcal {W}}}&=\displaystyle \int \limits _{\Omega }\left[ \left| \nabla _{x}u\right| ^{G(x,y)-2}\nabla _{x}u\nabla _{x}v+\left| x\right| ^{\gamma }\left| \nabla _{y}u\right| ^{G(x,y)-2} \nabla _{y}u \nabla _{y}v\right] \,\mathrm{d}x\,\mathrm{d}y\\&\quad +\,\displaystyle \int \limits _{\Omega }A(x,y)\left| u\right| ^{G(x,y)-3}(u^2+1)uv\,\mathrm{d}x\,\mathrm{d}y. \end{aligned}$$
  2. (ii)

    The function \(\rho ':{\mathcal {W}}\rightarrow {\mathcal {W}}^{*}\) is coercive, that is, \(\frac{\langle \rho '(u),u\rangle _{{\mathcal {W}}}}{\Vert u\Vert _{\mathcal {W}}}\rightarrow +\infty \) as \(\Vert u\Vert _{\mathcal {W}}\rightarrow +\infty \).

Proof

  1. (i)

    This follows directly from the definition of \(\rho :{\mathcal {W}}\rightarrow {\mathbb {R}}\).

  2. (ii)

    By Lemma 3.2, for \(\Vert u\Vert _{{\mathcal {W}}}>1\), we obtain

    $$\begin{aligned} \langle \rho '(u),u\rangle _{{\mathcal {W}}}\ge \rho (u)\ge \Vert u\Vert _{\mathcal {W}}^{G^{-}-1}. \end{aligned}$$

    Then

    $$\begin{aligned} \frac{\langle \rho '(u),u\rangle _{{\mathcal {W}}}}{\Vert u\Vert _{\mathcal {W}}}\ge \Vert u\Vert _{\mathcal {W}}^{G^{-}-2} \rightarrow +\infty \end{aligned}$$

    as \(\Vert u\Vert _{{\mathcal {W}}}\rightarrow +\infty \) since \(G \in (2,N)\) and so \(G^->2\).

\(\square \)

Lemma 3.4

Let the conditions of Lemma 3.1 be satisfied. Then there exists \(\lambda _{1}>0\) such that

$$\begin{aligned} \lambda _{1}=\displaystyle \inf _{\begin{array}{c} u\in {\mathcal W}\\ \Vert u\Vert _{{\mathcal {W}}}>1 \end{array}}\frac{\rho (u)}{\Vert u\Vert _{G^{-}-1}^{G^{-}-1}}. \end{aligned}$$

Proof

By Lemma 3.1 there exists \(C>0\) such that

$$\begin{aligned} \Vert u\Vert _{\mathcal {W}}\ge C \Vert u\Vert _{G^{-}-1} \quad \text {for all } u\in {\mathcal {W}}. \end{aligned}$$

On the other hand, by Lemma 3.2, for \(\Vert u\Vert _{{\mathcal {W}}}>1\) we have

$$\begin{aligned} \rho (u) \ge \Vert u\Vert _{\mathcal {W}}^{G^{-}-1}. \end{aligned}$$

Combining the above inequalities we obtain

$$\begin{aligned} \rho (u)\ge C^{G^{-}-1} \Vert u\Vert _{G^{-}-1}^{G^{-}-1} \quad \text {for all }u\in {\mathcal W} \text { with } \Vert u\Vert _{\mathcal {W}}>1. \end{aligned}$$

The proof is now complete. \(\square \)

Lemma 3.5

Assume that the conditions of Lemma 3.1 hold. Then the double phase operator \(\rho ':{\mathcal {W}}\rightarrow {\mathcal {W}}^{*}\) has the following properties:

  1. (i)

    \(\rho '\) is a continuous, bounded (that is, it maps bounded sets to bounded sets), and strictly monotone operator.

  2. (ii)

    \(\rho '\) is a mapping of type \(({\mathrm{S}}_+\)), that is, if \(u_{n}\rightharpoonup u\) in \({\mathcal W}\) and \(\displaystyle \limsup _{n\rightarrow +\infty }\,\langle \rho '(u_{n}),u_{n}-u\rangle _{{\mathcal {W}}} \le 0\), then \(u_{n}\rightarrow u\) in \({\mathcal W}\).

  3. (iii)

    \(\rho '\) is a homeomorphism.

Proof

  1. (i)

    From Lemma 3.3 it is clear that \(\rho '\) is continuous. Next, we are going to prove that \(\rho '\) maps bounded sets to bounded sets. By Young’s inequality, we obtain

    $$\begin{aligned}&\langle \rho '(u),v\rangle _{{\mathcal {W}}}\\&\quad =\int \limits _{\Omega }\left[ \left| \nabla _{x}u\right| ^{G(x,y)-2}\nabla _{x}u\nabla _{x}v+\left| x\right| ^{\gamma }\left| \nabla _{y}u\right| ^{G(x,y)-2} \nabla _{y}u \nabla _{y}v\right] \,\mathrm{d}x\,\mathrm{d}y\\&\qquad +\,\displaystyle \int \limits _{\Omega } A(x,y)\left| u\right| ^{G(x,y)-3}(u^2+1)uv\,\mathrm{d}x\,\mathrm{d}y\\&\quad \le (G^{+}-1) \int \limits _{\Omega }\frac{1}{G(x,y)}\left[ \left| \nabla _{x}u\right| ^{G(x,y)}+ \left| x\right| ^{\gamma }\left| \nabla _{y}u\right| ^{G(x,y)}\right] \,\mathrm{d}x\,\mathrm{d}y\\&\qquad +\,\int \limits _{\Omega }\frac{1}{G(x,y)}\left[ \left| \nabla _{x}v\right| ^{G(x,y)}+ \left| x\right| ^{\gamma }\left| \nabla _{y}v\right| ^{G(x,y)}\right] \,\mathrm{d}x\,\mathrm{d}y\\&\qquad +\,G^{+}\displaystyle \int \limits _{\Omega }A(x,y)\frac{\left| u\right| ^{G(x,y)+1}}{G(x,y)+1}\,\mathrm{d}x\,\mathrm{d}y+ \int \limits _{\Omega }A(x,y)\frac{\left| v\right| ^{G(x,y)+1}}{G(x,y)+1}\,\mathrm{d}x\,\mathrm{d}y\\&\qquad +\,(G^{+}-2)\displaystyle \int \limits _{\Omega } A(x,y)\frac{\left| u\right| ^{G(x,y)-1}}{G(x,y)-1}\,\mathrm{d}x\,\mathrm{d}y+ \int \limits _{\Omega }A(x,y)\frac{\left| v\right| ^{G(x,y)-1}}{G(x,y)-1}\,\mathrm{d}x\,\mathrm{d}y\\&\quad \le G^{+}\rho (u)+\rho (v). \end{aligned}$$

    Hence, from Lemma 3.2, we get

    $$\begin{aligned} \Vert \rho '(u)\Vert =\displaystyle \sup _{\Vert v\Vert \le 1}|\langle \rho '(u),v\rangle _{{\mathcal {W}}}|\le G^{+}\rho (u)+3, \end{aligned}$$

    which implies that \(\rho '\) maps bounded sets to bounded sets.

    The strict monotonicity of \(\rho '\) is a direct consequence of the well-known Simon inequalities [30, formula (2.2)]

    $$\begin{aligned} \left| x-y\right| ^{p}&\le c_p\left( \left| x\right| ^{p-2}x-\left| y\right| ^{p-2}y\right) \cdot (x-y) \quad \text {if }p \ge 2, \end{aligned}$$
    (3.2)
    $$\begin{aligned} \left| x-y\right| ^{p}&\le C_p \left[ \left( \left| x\right| ^{p-2}x-\left| y\right| ^{p-2}y\right) \cdot (x-y)\right] ^\frac{p}{2} \nonumber \\&\quad \times \left( \left| x\right| ^p+\left| y\right| ^p\right) ^{\frac{2-p}{p}} \quad \text {if }p\in (1,2), \end{aligned}$$
    (3.3)

    for all \(x,y \in {\mathbb {R}}^N\), where \(c_p\) and \(C_p\) are positive constants depending only on p, see Lindqvist [19, p. 71], Filippucci et al. [14, p. 713], and Pucci et al. [26, p. 14].

  2. (ii)

    Let \(\{u_{n}\}_{n \ge 1} \subseteq {\mathcal W}\) be a sequence such that

    $$\begin{aligned} u_{n}\rightharpoonup u \quad \text {in }{\mathcal W}\quad \text {and}\quad \displaystyle \limsup _{n\rightarrow +\infty }\,\langle \rho '(u_{n}),u_{n}-u\rangle _{\mathcal {W}} \le 0. \end{aligned}$$

    Then, from (i), we deduce that

    $$\begin{aligned} \displaystyle \lim _{n\rightarrow +\infty }\langle \rho '(u_{n}),u_{n}-u\rangle _{\mathcal {W}}=0. \end{aligned}$$
    (3.4)

    In view of (3.2) and (3.3), the sequence \(\{\nabla u_{n}\}_{n \ge 1}\) converges in measure to \(\nabla u\) in \(\Omega \). Then there is a subsequence, still denoted by \(\{\nabla u_{n}\}_{n \ge 1}\), that converges to \(\nabla u\) a.e. in \(\Omega \).

    First, we have

    $$\begin{aligned}&\langle \rho '(u_{n}),u_{n}-u\rangle _{{\mathcal {W}}}\\&\quad = \int \limits _{\Omega }\left[ \left| \nabla _{x}u_{n}\right| ^{G(x,y)-2}\nabla _{x}u_{n}\nabla _{x}(u_{n}-u)\right. \\&\left. \qquad +\,\left| x\right| ^{\gamma }\left| \nabla _{y}u_{n}\right| ^{G(x,y)-2} \nabla _{y}u_{n} \nabla _{y}(u_{n}-u)\right] \,\mathrm{d}x\,\mathrm{d}y\\&\qquad + \,\int \limits _{\Omega } A(x,y)\left| u_{n}\right| ^{G(x,y)-3}(u_{n}^2+1)u_{n}(u_{n}-u)\,\mathrm{d}x\,\mathrm{d}y\\&\quad = \int \limits _{\Omega }\left[ \left| \nabla _{x}u_{n}\right| ^{G(x,y)}+\left| x\right| ^{\gamma }\left| \nabla _{y}u_{n}\right| ^{G(x,y)} \right] \,\mathrm{d}x\,\mathrm{d}y\\&\qquad +\,\int \limits _{\Omega } A(x,y)\left| u_{n}\right| ^{G(x,y)-1}(u_{n}^2+1)\,\mathrm{d}x\,\mathrm{d}y\nonumber \\&\qquad -\, \int \limits _{\Omega }\left[ \left| \nabla _{x}u_{n}\right| ^{G(x,y)-2}\nabla _{x}u_{n}\nabla _{x}u+\left| x\right| ^{\gamma }\left| \nabla _{y}u_{n}\right| ^{G(x,y)-2} \nabla _{y}u_{n} \nabla _{y}u\right] \,\mathrm{d}x\,\mathrm{d}y \\&\qquad - \,\int \limits _{\Omega } A(x,y)\left| u_{n}\right| ^{G(x,y)-3}(u_{n}^2+1)u_{n}u\,\mathrm{d}x\,\mathrm{d}y. \end{aligned}$$

    Then, by applying Young’s inequality to the right-hand side of the last equation, we obtain

    $$\begin{aligned}&\langle \rho '(u_{n}),u_{n}-u\rangle _{{\mathcal {W}}}\\&\quad \ge \int \limits _{\Omega }\left[ \left| \nabla _{x}u_{n}\right| ^{G(x,y)}+\left| x\right| ^{\gamma }\left| \nabla _{y}u_{n}\right| ^{G(x,y)} \right] \,\mathrm{d}x\,\mathrm{d}y \nonumber \\&\qquad +\,\int \limits _{\Omega } A(x,y)\left| u_{n}\right| ^{G(x,y)-1}(u_{n}^2+1)\,\mathrm{d}x\,\mathrm{d}y\\&\qquad -\,\int \limits _{\Omega }\frac{G(x,y)-1}{G(x,y)}\left[ \left| \nabla _{x}u_{n}\right| ^{G(x,y)}+\left| x\right| ^{\gamma }\left| \nabla _{y}u_{n}\right| ^{G(x,y)} \right] \,\mathrm{d}x\,\mathrm{d}y \\&\qquad -\,\int \limits _{\Omega }\frac{1}{G(x,y)}\left[ \left| \nabla _{x}u\right| ^{G(x,y)}+\left| x\right| ^{\gamma }\left| \nabla _{y}u\right| ^{G(x,y)} \right] \,\mathrm{d}x\,\mathrm{d}y\\&\qquad -\,\displaystyle \int \limits _{\Omega } A(x,y)\frac{G(x,y)}{G(x,y)+1}|u_{n}|^{G(x,y)+1}\,\mathrm{d}x\,\mathrm{d}y\\&\qquad -\,\int \limits _{\Omega } A(x,y)\frac{1}{G(x,y)+1}|u|^{G(x,y)+1}\,\mathrm{d}x\,\mathrm{d}y\\&\qquad -\,\int \limits _{\Omega } A(x,y)\frac{G(x,y)-2}{G(x,y)-1}|u_{n}|^{G(x,y)-1}\,\mathrm{d}x\,\mathrm{d}y\\&\qquad -\,\int \limits _{\Omega } A(x,y)\frac{1}{G(x,y)-1}|u|^{G(x,y)-1}\,\mathrm{d}x\,\mathrm{d}y\\&\quad \ge \rho (u_{n})-\rho (u). \end{aligned}$$

    This finally gives

    $$\begin{aligned} \langle \rho '(u_{n}),u_{n}-u\rangle _{{\mathcal {W}}} \ge \rho (u_{n})-\rho (u). \end{aligned}$$
    (3.5)

    Combining (3.4) and (3.5) leads to

    $$\begin{aligned} \lim _{n\rightarrow +\infty }\rho (u_{n})\le \rho (u). \end{aligned}$$

    On the other hand, it follows from Fatou’s lemma that

    $$\begin{aligned} \liminf _{n\rightarrow +\infty }\,\rho (u_{n})\ge \rho (u). \end{aligned}$$

    Thus, we have that

    $$\begin{aligned} \lim _{n\rightarrow +\infty }\rho (u_{n})= \rho (u), \end{aligned}$$

    which implies that the family of continuous functions

    $$\begin{aligned}&\left\{ \frac{1}{G(x,y)}\left[ \left| \nabla _{x}u_{n}\right| ^{G(x,y)}+\left| x\right| ^{\gamma }\left| \nabla _{y}u_{n}\right| ^{G(x,y)}\right] \right. \\&\left. \quad +\,A(x,y)\left[ \frac{\left| u_{n}\right| ^{G(x,y)+1}}{G(x,y)+1}+\frac{\left| u_{n}\right| ^{G(x,y)-1}}{G(x,y)-1}\right] \right\} _{n\ge 1} \end{aligned}$$

    turns out to be equicontinuous on \(\Omega \). Since

    $$\begin{aligned}&\frac{1}{G(x,y)}\left| \nabla _{x}(u_{n}-u)\right| ^{G(x,y)}+\frac{1}{G(x,y)} \left| x\right| ^{\gamma }\left| \nabla _{y}(u_{n}-u)\right| ^{G(x,y)}\\&\quad +\,A(x,y)\left[ \frac{\left| u_{n}-u\right| ^{G(x,y)+1}}{G(x,y)+1}+\frac{\left| u_{n}-u\right| ^{G(x,y)-1}}{G(x,y)-1}\right] \\&\quad \le \frac{C}{G(x,y)}\left( \left| \nabla _{x}u_{n}\right| ^{G(x,y)}+\left| \nabla _{x}u\right| ^{G(x,y)}\right) \\&\quad +\,\frac{C}{G(x,y)}\left( \left| \nabla _{y}u_{n}\right| ^{G(x,y)}+\left| \nabla _{y}u\right| ^{G(x,y)}\right) \\&\quad +\,CA(x,y)\left( \frac{\left| u_{n}\right| ^{G(x,y)+1}}{G(x,y)+1}+\frac{\left| u\right| ^{G(x,y)+1}}{G(x,y)+1}\right) \\&\quad +\,CA(x,y)\left( \frac{\left| u_{n}\right| ^{G(x,y)-1}}{G(x,y)-1}+\frac{\left| u\right| ^{G(x,y)-1}}{G(x,y)-1}\right) , \end{aligned}$$

    with positive C, the integrals of the family

    $$\begin{aligned}&\left\{ \frac{1}{G(x,y)}\left| \nabla _{x}(u_{n}-u)\right| ^{G(x,y)}+\frac{1}{G(x,y)} \left| x\right| ^{\gamma }\left| \nabla _{y}(u_{n}-u)\right| ^{G(x,y)}\right. \\&\quad \left. +\,A(x,y)\left[ \frac{\left| u_{n}-u\right| ^{G(x,y)+1}}{G(x,y)+1}+\frac{\left| u_{n}-u\right| ^{G(x,y)-1}}{G(x,y)-1}\right] \right\} _{n \ge 1} \end{aligned}$$

    are also equicontinuous on \(\Omega \) and therefore

    $$\begin{aligned} \lim _{n\rightarrow +\infty }\rho (u_{n}-u)=0. \end{aligned}$$

    It follows, by Proposition 2.2, that

    $$\begin{aligned} u_{n} \rightarrow u \quad \text{ in }\quad {\mathcal W}. \end{aligned}$$
  3. (iii)

    By strict monotonicity, \(\rho '\) is an injection. On the other hand, using Lemma 3.3 and the Minty–Browder theorem, \(\rho '\) is a surjection. Hence \(\rho '\) has an inverse mapping \((\rho ')^{-1}:{\mathcal W}^{*}\rightarrow {\mathcal W}\). Therefore, in order to complete the proof of (iii), it suffices to prove that \((\rho ')^{-1}\) is continuous. If \(f_n, f\in {\mathcal W}^{*}, f_n\rightarrow f,\) letting \(u_n=(\rho ')^{-1}(f_n), u=(\rho ')^{-1}(f),\) then \(\rho '(u_n)=f_n, \rho '(u)=f\). Note that \(\{u_n\}_{n \ge 1}\) is bounded in \({\mathcal W}\). Without loss of generality, we can assume that \(u_{n}\rightharpoonup u_0\) in \({\mathcal W}\). We conclude from \(f_n\rightarrow f\) that

    $$\begin{aligned} \lim _{n\rightarrow +\infty } \langle \rho '(u_n)-\rho '(u_0),u_n-u_0\rangle _{\mathcal {W}}=\displaystyle \lim _{n\rightarrow +\infty }\langle f_n-f,u_n-u_0\rangle _{\mathcal {W}}=0. \end{aligned}$$

    Since \(\rho '\) is of type \(({\mathrm{S}}_+\)), we know that \(u_n\rightarrow u_0\) in \({\mathcal {W}}\) and so \(u_n\rightarrow u\) in \({\mathcal W}\).

\(\square \)

Existence of a solution

We suppose the following hypotheses on the reaction term in (1.1).

  1. (H)

    \(f:\Omega \times {\mathbb {R}}\times {\mathbb {R}}^N \rightarrow {\mathbb {R}}\) is a Carathéodory function with \(f((x,y),0,0)\ne 0\) for a. a. \((x,y)\in \Omega \) such that the following holds:

    1. (i)

      there exists \(a\in L^\infty (\Omega \times {\mathbb {R}}^N)\) such that

      $$\begin{aligned} |f((x,y),s,\xi )|\le a((x,y),\xi )\left( 1+|s|^{G^{-}-1}\right) \end{aligned}$$

      for a. a. all \((x,y)\in \Omega \), for all \(s\in {\mathbb {R}}\) and for all \(\xi \in {\mathbb {R}}^N\);

    2. (ii)

      there exists \(\vartheta \in (0,\lambda _{1})\) such that

      $$\begin{aligned} \limsup _{s\rightarrow +\infty }\,\frac{f((x,y),s,\xi )}{s^{G^{-}-1}}\le \vartheta \quad \text {uniformly for a. a. }(x,y) \in \Omega \end{aligned}$$

      and for all \(\xi \in {\mathbb {R}}^N\) with \(\lambda _{1}\) given in Lemma 3.4.

We say that \(u\in {\mathcal W} \) is a weak solution of problem (1.1) if

$$\begin{aligned} \begin{aligned}&\displaystyle \int \limits _{\Omega }\left[ \left| \nabla _{x}u\right| ^{G(x,y)-2}\nabla _{x}u\nabla _{x}\varphi +\left| x\right| ^{\gamma }\left| \nabla _{y}u\right| ^{G(x,y)-2} \nabla _{y}u \nabla _{y}\varphi \right] \,\mathrm{d}x\,\mathrm{d}y\\&\qquad +\,\int \limits _{\Omega } A(x,y)\left| u\right| ^{G(x,y)-3}(u^2+1)u\varphi \,\mathrm{d}x\,\mathrm{d}y\\&\quad = \displaystyle \int \limits _{\Omega } f((x,y),u,\nabla u)v\,\mathrm{d}x\,\mathrm{d}y. \end{aligned} \end{aligned}$$

is satisfied for all \(\varphi \in {\mathcal W}\setminus \{0\}\).

Now we are in the position to state our main existence result.

Theorem 4.1

Suppose that conditions (H)(i), (ii) are fulfilled. Moreover, assume that G is a function of class \(C^{1}\) and that \(G(x,y)\in (2,N)\) for all \((x,y)\in \Omega \). Furthermore, suppose that \(s\in (1,G^{-})\) and \(0<\gamma <\frac{N(G^{-}-s)}{s}\). Then problem (1.1) admits at least one nontrivial weak solution.

Proof

Let \(N_{f}:{\mathcal {W}}\subseteq L^{G^--1}\rightarrow L^{(G^--1)'}\subseteq {\mathcal {W}}^{*}\) be the Nemytskij operator corresponding to the nonlinearity \(f:\Omega \times {\mathbb {R}}\times {\mathbb {R}}^N \rightarrow {\mathbb {R}}\) which is compact by Lemma 3.1. Now we define the operator \(I:{\mathcal {W}} \rightarrow {\mathcal {W}}^{*}\) by

$$\begin{aligned} I(u)=\rho '(u)-N_{f}(u). \end{aligned}$$

Because of the growth condition H(i) and Lemma 3.5(i) we know that \(I:{\mathcal {W}} \rightarrow {\mathcal {W}}^{*}\) maps bounded sets into bounded sets. Let us now prove that I is pseudomonotone in the sense of Definition 2.3. To this end, let \(\{u_n\}_{n\ge 1}\subseteq {\mathcal {W}}\) be a sequence such that

$$\begin{aligned} u_{n} \rightharpoonup u \quad \text {in } {\mathcal W} \quad \text {and} \quad \limsup _{n\rightarrow +\infty }\, \langle I(u_{n}),u_{n}-u\rangle _{{\mathcal {W}}} \le 0. \end{aligned}$$
(4.1)

Recall that

$$\begin{aligned} \langle I(u_n),u_n-u\rangle =\langle \rho '(u_{n}),u_{n}-u\rangle -\int \limits _{\Omega }f((x,y),u_{n},\nabla u_{n})(u_{n}-u)\,\mathrm{d}x\,\mathrm{d}y. \end{aligned}$$
(4.2)

By Lemma 3.1 we know that

$$\begin{aligned} u_n \rightarrow u \quad \text {in } L^{G^--1}(\Omega ) \end{aligned}$$

since \(G^--1<G^-\). Moreover, hypothesis H(i) implies that

$$\begin{aligned} \{N_{f}(u_{n})\}_{n\ge 1} \subseteq L^{(G^{-}-1)'}(\Omega ) \quad \text {is bounded}. \end{aligned}$$

From these facts it is clear that

$$\begin{aligned} \int \limits _{\Omega }f((x,y),u_{n},\nabla u_{n})(u_{n}-u)\,\mathrm{d}x\,\mathrm{d}y \rightarrow 0 \quad \text {as } n\rightarrow +\infty . \end{aligned}$$
(4.3)

Therefore, passing to the limit in (4.2) and using (4.1) as well as (4.3) leads to

$$\begin{aligned} \limsup _{n\rightarrow +\infty }\,\langle \rho '(u_{n}),u_{n}-u\rangle =\limsup _{n\rightarrow +\infty }\, \langle I(u_n),u_n-u\rangle \le 0. \end{aligned}$$
(4.4)

From Lemma 3.5 we know that \(\rho '\) fulfills the \(({\mathrm{S}}_+\))-property and so we conclude, in view of (4.1) and (4.4), that

$$\begin{aligned} u_{n}\rightarrow u \quad \text {in } {\mathcal {W}}. \end{aligned}$$

Thus, because of the continuity of \(I:{\mathcal {W}}\rightarrow {\mathcal {W}}^{*}\), we have \(I(u_{n})\rightarrow I(u)\) in \({\mathcal W}^{*}\) which proves that I is pseudomonotone.

Next, we have to show that the operator \(I:{\mathcal {W}}\rightarrow {\mathcal {W}}^{*}\) is coercive, that is,

$$\begin{aligned} \lim _{\Vert u\Vert _{\mathcal {W}} \rightarrow \infty } \frac{\langle I(u), u\rangle _{\mathcal {W}}}{\Vert u\Vert _{\mathcal {W}}}=\infty . \end{aligned}$$

Note that hypothesis (H)(ii) implies that for a given \(\varepsilon >0\) there exists \(M=M(\varepsilon )>1\) such that

$$\begin{aligned} f(x,s,\xi )s\le (\vartheta +\varepsilon )s^{G^{-}-1} \end{aligned}$$
(4.5)

for a. a. \(x\in \Omega \), for all \(s\ge M\) and for all \(\xi \in {\mathbb {R}}^N\).

Let \(u \in {\mathcal {W}}\) be such that \(\Vert u\Vert>M>1\). Applying Lemma 3.3, (4.5), Lemmas 3.4 and 3.2(iii) we get

$$\begin{aligned} \langle I(u),u \rangle&= \langle \rho '(u),u\rangle - \int _{\Omega }f((x,y),u,\nabla u)u\,\mathrm{d}x\,\mathrm{d}y\\&\ge \rho (u) -(\vartheta +\epsilon ) \int \limits _{\Omega }|u|^{G^{-}-1}\,\mathrm{d}x\,\mathrm{d}y\\&= \rho (u) -(\vartheta +\epsilon ) \Vert u\Vert _{G^--1}^{G^--1}\\&\ge \left( 1-\frac{\vartheta +\epsilon }{\lambda _{1}}\right) \rho (u)\\&\ge \left( 1-\frac{\vartheta +\epsilon }{\lambda _{1}}\right) \Vert u\Vert _{{\mathcal {W}}}^{G^--1}. \end{aligned}$$

Choosing \(\varepsilon \in (0,\lambda _1-\vartheta )\) proves that \(I:{\mathcal {W}}\rightarrow {\mathcal {W}}^{*}\) is coercive.

To sum up, we have shown that the operator \(I:{\mathcal {W}}\rightarrow {\mathcal {W}}^{*}\) is bounded, pseudomonotone and coercive. Therefore, the main theorem on pseudomonotone operators, see Theorem 2.4, provides \(u\in {\mathcal W}\), \(u\ne 0\) (since \(f(x,0,0) \ne 0\)), such that \(I(u)=0\). By the definition of I, the function u turns out to be a nontrivial weak solution of problem (1.1) which completes the proof. \(\square \)

Concluding remarks, perspectives, and open problems

  1. (i)

    The mathematical analysis carried out in this paper considers the unbalanced energy

    $$\begin{aligned} {\mathcal W}\ni u\mapsto \int \limits _{\Omega }\frac{1}{G(x,y)}\left[ \left| \nabla _{x}(u)\right| ^{G(x,y)}+ \left| x\right| ^{\gamma }\left| \nabla _{y}(u)\right| ^{G(x,y)}\right] \,\mathrm{d}x\,\mathrm{d}y \end{aligned}$$

    with the associated differential operator

    $$\begin{aligned} \Delta _{G(x,y)}u =\sum _{i=1}^n \left( |\nabla _x|^{G(x,y)-2}u_{x_i}\right) _{x_i}+|x|^\gamma \sum _{i=1}^m \left( |\nabla _y|^{G(x,y)-2}u_{y_i}\right) _{y_i}. \end{aligned}$$

    It appears to be worth to further investigate patterns described by the variational integral

    $$\begin{aligned} \int \limits _{\Omega }\left( \left| \nabla _{x}u\right| ^{G(x,y)}+ \left| x\right| ^{\gamma }\left| \nabla _{y}u\right| ^{G(x,y)}\right) \,\mathrm{d}z \end{aligned}$$
    (4.6)

    with corresponding anisotropic Baouendi–Grushin operator

    $$\begin{aligned} \mathrm{div}_{x}\left( G(x,y)\,|\nabla _{x} |^{G(x,y)-2}\nabla _{x} \right) +\mathrm{div}_{y}\left( G(x,y)\,|x|^{\gamma }\left| \nabla _{y} \right| ^{G(x,y)-2}\nabla _{y}\right) . \end{aligned}$$
  2. (ii)

    We remark that since both \(\rho \) and the energy functional defined in (4.6) have a degenerate action on the set where the gradient vanishes, it is a natural question to study what happens if the integrand is modified in such a way that, if \(|\nabla u|\) is also small, there exists an imbalance between the two terms of every integrand.

  3. (iii)

    The compactness property established in Lemma 3.1 plays a key role in the proof of several crucial properties such as: coercivity of \(\rho '\) (Lemma 3.3), existence of a principal eigenvalue associated with the Rayleigh quotient (Lemma 3.4), as well as in the proof of the main result established in Theorem 4.1. This compactness property is established in a subcritical setting, which corresponds to the hypothesis \(s<G^-\), where s describes the growth of the right-hand side of problem (1.1). In fact, Theorem 4.1 remains true if s is replaced with a variable coefficient s(x), provided that \(s^+<G^-\). We do not have any knowledge about the behaviour in the almost critical case that arises in the following situation: there exists \(x_0\in \Omega \) such that \(s(x_0)=G^-\) and \(s(x)<G^-\) for all \(x\in \Omega \setminus \{x_0\}\).

  4. (iv)

    It is worth noting that the study of nonlinear boundary value problems involving the magnetic Baouendi–Grushin operator [3] are of real interest for mathematical physics patterns. This operator is

    $$\begin{aligned} G_{\mathcal A}:=-(\nabla _G+i\beta {\mathcal A}_0)^2\quad \text{ for }\ -\frac{1}{2}\le \beta \le \frac{1}{2}\,, \end{aligned}$$

    where

    $$\begin{aligned} {\mathcal A}_0= & {} ({\mathcal A}_1,{\mathcal A}_2,{\mathcal A}_3,{\mathcal A}_4)=\left( -\frac{\partial _yd}{d}, \frac{\partial _xd}{d},-2y\frac{\partial _td}{d},2x\frac{\partial _td}{d} \right) , \\ \nabla _G= & {} (\partial _x,\partial _y,2x\partial _t,2y\partial _t), \end{aligned}$$

    with \(z=(x,y)\), \(|z|=\sqrt{x^2+y^2}\), and \(d(z,t)=(|z|^4+t^2)^{1/4}\) is the Kaplan distance.

References

  1. 1.

    Abdellaoui, B., Peral, I.: On quasilinear elliptic equations related to some Caffarelli–Kohn–Nirenberg inequalities. Commun. Pure Appl. Anal. 2(4), 539–566 (2003)

    MathSciNet  Article  Google Scholar 

  2. 2.

    Adimurthi, A., Chaudhuri, N., Ramaswamy, M.: An improved Hardy–Sobolev inequality and its application. Proc. Am. Math. Soc. 130(2), 489–505 (2002)

    MathSciNet  Article  Google Scholar 

  3. 3.

    Aermark, L., Laptev, A.: Hardy’s inequality for the Grushin operator with a magnetic field of Aharanov–Bohm type. Algebra Anal. 23(2), (2011), 1–8 (Russian); St. Petersb. Math. J. 23 (2012), no. 2, 203–208 (English translation)

  4. 4.

    Bahrouni, A., Rădulescu, V.D., Repovš, D.D.: A weighted anisotropic variant of the Caffarelli–Kohn–Nirenberg inequality and applications. Nonlinearity 31(4), 1516–1534 (2018)

    MathSciNet  Article  Google Scholar 

  5. 5.

    Bahrouni, A., Rădulescu, V.D., Repovš, D.D.: Double phase transonic flow problems with variable growth: nonlinear patterns and stationary waves. Nonlinearity 32(7), 2481–2495 (2019)

    MathSciNet  Article  Google Scholar 

  6. 6.

    Bahrouni, A., Repovš, D.D.: Existence and nonexistence of solutions for \(p(x)\)-curl systems arising in electromagnetism. Complex Var. Elliptic Equ. 63(2), 292–301 (2018)

    MathSciNet  Article  Google Scholar 

  7. 7.

    Baouendi, M.S.: Sur une classe d’opérateurs elliptiques dégénérés. Bull. Soc. Math. France 95, 45–87 (1967)

    MathSciNet  Article  Google Scholar 

  8. 8.

    Baroni, P., Colombo, M., Mingione, G.: Nonautonomous functionals, borderline cases and related function classes. Algebra Anal. 27(3), 6–50 (2015)

    MathSciNet  MATH  Google Scholar 

  9. 9.

    Beck, L., Mingione, G.: Lipschitz bounds and non-uniform ellipticity. Commun. Pure Appl. Math. 73(5), 944–1034 (2020)

    Article  Google Scholar 

  10. 10.

    Caffarelli, L., Kohn, R., Nirenberg, L.: First order interpolation inequalities with weights. Compos. Math. 53(3), 259–275 (1984)

    MathSciNet  MATH  Google Scholar 

  11. 11.

    Catrina, F., Wang, Z.-Q.: On the Caffarelli–Kohn–Nirenberg inequalities: sharp constants, existence (and nonexistence), and symmetry of extremal functions. Commun. Pure Appl. Math. 54(2), 229–258 (2001)

    MathSciNet  Article  Google Scholar 

  12. 12.

    Colasuonno, F., Pucci, P.: Multiplicity of solutions for \(p(x)\)-polyharmonic elliptic Kirchhoff equations. Nonlinear Anal. 74(17), 5962–5974 (2011)

    MathSciNet  Article  Google Scholar 

  13. 13.

    Colombo, M., Mingione, G.: Bounded minimisers of double phase variational integrals. Arch. Ration. Mech. Anal. 218(1), 219–273 (2015)

    MathSciNet  Article  Google Scholar 

  14. 14.

    Filippucci, R., Pucci, P., Rădulescu, V.D.: Existence and non-existence results for quasilinear elliptic exterior problems with nonlinear boundary conditions. Commun. Part. Differ. Equ. 33, 706–717 (2008)

    MathSciNet  Article  Google Scholar 

  15. 15.

    Franchi, B., Tesi, M.C.: A finite element approximation for a class of degenerate elliptic equations. Math. Comput. 69, 41–63 (1999)

    MathSciNet  Article  Google Scholar 

  16. 16.

    Gasiński, L., Papageorgiou, N.S.: Nonlinear Analysis. Chapman & Hall/CRC, Boca Raton (2006)

    MATH  Google Scholar 

  17. 17.

    Grushin, V.V.: On a class of hypoelliptic operators. Math. USSR-SB 12, 458–476 (1970)

    Article  Google Scholar 

  18. 18.

    Hájek, P., Santalucía, V.M., Vanderwerff, J., Zizler, V.: Biorthogonal Systems in Banach Spaces. Springer, New York (2008)

    MATH  Google Scholar 

  19. 19.

    Lindqvist, P.: Notes on the \(p\)-Laplace Equation, Report. University of Jyväskylä Department of Mathematics and Statistics, vol. 102. University of Jyväskylä, Jyväskylä (2006)

  20. 20.

    Morawetz, C.: On the non-existence of continuous transonic flows past profiles. I. Commun. Pure Appl. Math. 9, 45–68 (1956)

    MathSciNet  Article  Google Scholar 

  21. 21.

    Morawetz, C.: On the non-existence of continuous transonic flows past profiles. II. Commun. Pure Appl. Math. 10, 107–131 (1957)

    MathSciNet  Article  Google Scholar 

  22. 22.

    Morawetz, C.: On the non-existence of continuous transonic flows past profiles. III. Commun. Pure Appl. Math. 11, 129–144 (1958)

    MathSciNet  Article  Google Scholar 

  23. 23.

    Musielak, J.: Orlicz Spaces and Modular Spaces. Springer, Berlin (1983)

    Book  Google Scholar 

  24. 24.

    Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: Double-phase problems with reaction of arbitrary growth. Z. Angew. Math. Phys. 69(4), 108 (2018)

    MathSciNet  Article  Google Scholar 

  25. 25.

    Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: Double-phase problems and a discontinuity property of the spectrum. Proc. Am. Math. Soc. 147, 2899–2910 (2019)

    MathSciNet  Article  Google Scholar 

  26. 26.

    Pucci, P., Xiang, M., Zhang, B.: Multiple solutions for nonhomogeneous Schrödinger–Kirchhoff type equations involving the fractional \(p\)-Laplacian in \({\mathbb{R}}^{N}\). Calc. Var. Part. Differ. Equ. 54(3), 2785–2806 (2015)

    Article  Google Scholar 

  27. 27.

    Rădulescu, V.D.: Nonlinear elliptic equations with variable exponent: old and new. Nonlinear Anal. 121, 336–369 (2015)

    MathSciNet  Article  Google Scholar 

  28. 28.

    Rădulescu, V.D.: Isotropic and anisotropic double-phase problems: old and new. Opuscu. Math. 39, 259–279 (2019)

    MathSciNet  Article  Google Scholar 

  29. 29.

    Rădulescu, V.D., Repovš, D.D.: Partial Differential Equations with Variable Exponents. CRC Press, Boca Raton (2015)

    Book  Google Scholar 

  30. 30.

    Simon, J., Régularité de la solution d’une équation non linéaire dans \(\mathbb{R}^{N}\). In: Journées d’Analyse Non Linéaire (Proc. Conf. Besançon, 1977), vol. 665, pp. 205–227. Springer, Berlin (1978)

  31. 31.

    Zhang, Q., Rădulescu, V.D.: Double phase anisotropic variational problems and combined effects of reaction and absorption terms. J. Math. Pures Appl. 118(9), 159–203 (2018)

    MathSciNet  Article  Google Scholar 

Download references

Author information

Affiliations

Authors

Corresponding author

Correspondence to Vicenţiu D. Rădulescu.

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/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Bahrouni, A., Rădulescu, V.D. & Winkert, P. Double phase problems with variable growth and convection for the Baouendi–Grushin operator. Z. Angew. Math. Phys. 71, 183 (2020). https://doi.org/10.1007/s00033-020-01412-7

Download citation

Keywords

  • Baouendi–Grushin operator
  • Double phase problem
  • Convection term
  • Pseudomonotone operator

Mathematics Subject Classification

  • 35J70
  • 35P30
  • 76H05