Abstract
This paper deals with a homogeneous Neumann problem of a nonlinear diffusion system involving variable exponents dependent on spatial and time variables and cross-diffusion terms. We prove the existence of weak solutions using Galerkin’s approximation and we derive suitable energy estimates. To this end, we establish the needed Poincaré type inequality for variable exponents related to the Neumann boundary problem. Furthermore, we show that the investigated problem possesses a unique weak solution and satisfies a stability estimate, provided some additional assumptions are fulfilled. In addition, we show under which conditions the solution is nonnegative.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we study a nonlinear parabolic system with nonstandard growth condition, where the (weak) solution satisfies a homogeneous Neumann boundary condition, which is motivated by several issues and numerous applications. While Dirichlet boundary conditions correspond to the perfectly conducting boundary, Neumann boundary conditions correspond to the perfectly isolating boundary (i.e. no-flux boundary condition). We want to highlight that one of the first existence result for a degenerate parabolic Neumann boundary value problem is available in [37]. In the following, we will prove the existence of (weak) solutions to the system we will describe below in detail. Furthermore, we will derive additional assumptions for which this system possesses a unique (weak) solution. Finally, we will establish under which condition the solution is nonnegative.
The investigation of parabolic problems like reaction–diffusion systems or evolutionary equations is motivated amongst others by several applications. For instance, such equations and systems are important for the modelling of space- and time-dependent problems, e.g. problems in physics and biology. In particular, evolutionary equations and systems can be used to model physical processes like heat conduction, diffusion processes or wave propagation, see e.g. [10, 27, 48]. The second interesting aspect here is the nonstandard growth setting. Such setting arises for instance by studying certain classes of non-Newtonian fluids such as electro–rheological fluids or fluids with viscosity depending on the temperature. In general, electro-rheological fluids are of high technological interest, because of their ability to change their mechanical properties under the influence of an exterior electro-magnetic field [18, 46]. Many electro-rheological fluids are suspensions consisting of solid particles and a carrier oil. These suspensions change their material properties dramatically if they are exposed to an electric field. Known results concern the stationary case with p(x)-growth condition, are studied e.g. in [2, 3, 17, 20, 28, 42]. Furthermore, for the restoration in image processing one also uses some diffusion models with nonstandard growth condition [1, 16, 34, 44]. In the context of parabolic problems with p(x, t)-growth, applications are models for flows in porous media [6] or parabolic obstacle problems [21, 23, 24]. Moreover, in the last years parabolic problems with nonstandard growth condition arouse more and more interest in mathematics, cf. [5, 11, 43, 47]. The third interesting aspect of this paper is the effect of a cross-diffusion term. Such a term is for example used to model the interaction between the species, which often leads to cross-diffusion effects [12, 13, 38]. The difficulty here is that such an effect may lead to unexpected behaviour, see e.g. [15]. Finally, the study of a problem with cross-diffusion is motivated by the fact that parabolic problems with cross-diffusion play a crucial role in biological applications like epidemic diseases, chemotaxis phenomena, cancer growth and population development, cf. [30, 36].
Nowadays, there is a rich literature regarding nonstandard growth problem focused on the existence of (weak) solutions and their properties. For instance, theorems of existence and uniqueness of weak solutions to the prototype problem, i.e. the parabolic p(x, t)-Laplacian
were proved in [7, 32] for a single equation and in [19] for systems of evolution p(x, t)-Laplace equations. The problem with the Cauchy–Dirichlet boundary condition was studied in [25], while in [29] the corresponding Neumann boundary problem was considered, see also [40, 49]. Furthermore, in [25] an Aubin–Lions type theorem was established, which we will also use in this paper. In addition, the author of [25] considered more general vector-fields, which are related to the parabolic p(x, t)-Laplacian, and inhomogeneities. Moreover, in [26] the existence, uniqueness and stability of a weak solution to the equation
where \(\lambda \ge 0\) and the vector-field \(a(x,t,\cdot )\) satisfies certain p(x, t)-growth and monotonicity conditions, cf. [25], was shown, see also [14] for \(p=\)constant. Additionally, in [8] it is shown that the solutions of a similar problem may vanish in finite time even if the equation combines the directions of slow and fast diffusion, and the extinction moment is estimated in terms of the data. Further, very recently the existence of weak solutions to a homogeneous Dirichlet problem of a nonlinear diffusion equation involving anisotropic variable exponents and convection was studied in [39].
1.1 Plan of the paper
The paper is organised as follows: The rest of this sections is focused on the formulations of the problem, which we are going to study. Furthermore, we will refer some known results on nonstandard Lebesgue and Sobolev spaces, before we state some preliminary results and tools, which are needed to established our existence result. In Sect. 2, we will state our main result. Then, in Sect. 3, we prove the existence of weak solutions to the considered parabolic Neumann boundary problem using Galerkin’s approximation and we derive suitable energy estimates. Moreover, in Sect. 4, we will establish under which conditions the weak solution is unique. Finally, in Sect. 5, we will prove that the solution in nonnegative, provided certain assumptions are fulfilled.
1.2 Notation and formulation of the problem
In this paper, \(\Omega \subset {\mathbb {R}}^n\) denotes a bounded Lipschitz domain of dimension \(n\ge 2\) and we write \(Q_T:=\Omega \times (0,T)\) for the space-time cylinder over \(\Omega\) of height \(T>0\). Here, \(u_t\) or \(\partial _tu\) respectively denote the partial derivative with respect to the time variable t and \(\nabla u\) denotes the one with respect to the space variable x. Moreover, we denote by \(\partial _{{\mathcal {P}}} Q_T:=({\bar{\Omega }}\times \left\{ 0\right\} )\cup (\partial \Omega \times (0,T))\) the parabolic boundary of \(Q_T\) and we write \(z=(x,t)\) for points in \({\mathbb {R}}^{n+1}\). The aim of this paper is the investigation of the following Neumann problem:
with \(u_0,~v_0\in L^2(\Omega )\), where \(S_T:=\partial \Omega \times (0,T)\), \(\nu\) denotes the exterior normal to the boundary \(\partial \Omega\) and \(d_i>0\), \(i=1,2\), \(\beta \ge 0\) with
which is the case if
Furthermore, the vector-fields \(A_i(x,t,\cdot )\) are assumed to be Carathéodory functions and satisfy the following coercivity, growth and monotonicity conditions:
where \(0<\mu _i\le L_i<\infty\), for almost every \((x,t)\in Q_T\) and for every \(\xi ,\xi ' \in {\mathbb {R}}^n\) with \(h_i\in L^{p'(x,t)}(Q_T)\), where \(i=1,2\) and \(L^{p'(x,t)}(Q_T)\) denotes the nonstandard p(x, t)-Lebesgue space for \(p'(x,t)=\frac{p(x,t)}{p(x,t)-1}\), which we will define later. In addition, the functions \(\alpha _k(\cdot )\), \(k=1,\dots ,4\) are measurable functions satisfying
Moreover, the growth exponent \(p: Q_T\rightarrow [2,\infty )\) satisfies the following conditions: There exist constants \(\gamma _1\) and \(\gamma _2\), such that
hold for any choice of \(z_1,~z_2\in Q_T\), where \(\omega : [0,\infty )\rightarrow [0,1]\) denotes a modulus of continuity. More precisely, we assume that \(\omega (\cdot )\) is a concave, non-decreasing function with \(\lim _{\rho \downarrow 0}\omega (\rho )=0=\omega (0).\) Moreover, the parabolic distance is given by \(d_{\mathcal {P}}(z_1,z_2): =\max \{|x_1-x_2|,\sqrt{|t_1-t_2|}\}\) for \(z_1=(x_1,t_1),~z_2=(x_2,t_2)\in {\mathbb {R}}^{n+1}\). In addition, for the modulus of continuity \(\omega (\cdot )\) we assume the following weak logarithmic continuity condition
Similarly, the exponent q(x, t) is assumed to fulfil the conditions:
for any choice of \(z_1,~z_2\in Q_T\).
1.3 Function spaces
The spaces \(L^p(\Omega )\), \(W^{1,p}(\Omega )\) and \(W^{1,p}_0(\Omega )\) denote the usual Lebesgue and Sobolev spaces, while the nonstandard p(z)-Lebesgue space \(L^{p(z)}( Q_T,{\mathbb {R}}^k)\) is defined as the set of those measurable functions v: \(Q_T\rightarrow {\mathbb {R}}^k\) for \(k\in {\mathbb {N}}\), which satisfy \(|v|^{p(z)}\in L^1( Q_T,{\mathbb {R}}^k)\), i.e.
The set \(L^{p(z)}( Q_T,{\mathbb {R}}^k)\) equipped with the Luxemburg norm
becomes a Banach space. This space is separable and reflexive, see [4, 19]. For elements of \(L^{p(z)}( Q_T,{\mathbb {R}}^k)\) the generalised Hölder’s inequality holds in the following form: If \(f\in L^{p(z)}( Q_T,{\mathbb {R}}^k)\) and \(g\in L^{p'(z)}( Q_T,{\mathbb {R}}^k)\), where \(p'(z)=\frac{p(z)}{p(z)-1}\), we have
see also [4]. Moreover, the norm \(\Vert \cdot \Vert _{L^{p(z)}( Q_T)}\) can be estimated as follows
Notice that we will use also the abbreviation \(p(\cdot )\) for the exponent p(z). Next, we introduce nonstandard Sobolev spaces for fixed \(t\in (0,T)\). From assumption (1.8) we know that \(p(\cdot ,t)\) satisfy \(|p(x_1,t)-p(x_2,t)|\le \omega (|x_1-x_2|)\) for any choice of \(x_1,~x_2\in \Omega\) and for every \(t\in (0,T)\). Then, we define for every fixed \(t\in (0,T)\) the Banach space \(W^{1,p(\cdot ,t)}(\Omega )\) as
equipped with the norm
In addition, we define \(W^{1,p(\cdot ,t)}_0(\Omega )\) as the closure of \(C^\infty _0(\Omega )~\text {in}~W^{1,p(\cdot ,t)}(\Omega )\) and we denote by \(W^{1,p(\cdot ,t)}(\Omega )'\) its dual. For every \(t\in (0,T)\) the inclusion \(W^{1,p(\cdot ,t)}_0(\Omega )\subset W^{1,\gamma _1}_0(\Omega )\) holds true. Furthermore, we denote by \(W_g^{p(\cdot )}( Q_T)\) the Banach space
equipped with the norm \(\Vert u\Vert _{W^{p(\cdot )}( Q_T)}:=\Vert u\Vert _{L^{p(\cdot )}( Q_T)}+\Vert \nabla u\Vert _{L^{p(\cdot )}( Q_T)}.\) If \(g=0\) we write \(W_0^{p(\cdot )}( Q_T)\) instead of \(W_g^{p(\cdot )}( Q_T)\). Here, it is worth to mention that the notion \((u-g)\in W_0^{p(\cdot )}( Q_T)\) or \(u\in g+W_0^{p(\cdot )}( Q_T)\) respectively indicate that u agrees with g on the lateral boundary of the cylinder \(Q_T\), i.e. \(u\in W_g^{p(\cdot )}( Q_T)\). In addition, we denote by \(W^{p(\cdot )}( Q_T)'\) the dual of the space \(W_0^{p(\cdot )}( Q_T)\). Note that if \(v\in W^{p(\cdot )}( Q_T)'\), then there exist functions \(v_i\in L^{p'(\cdot )}( Q_T)\), \(i=0,1,\ldots ,n\), such that
for all \(w\in W_0^{p(\cdot )}( Q_T)\). Furthermore, if \(v\in W^{p(\cdot )}( Q_T)'\), we define the norm
Notice, whenever (1.13) holds, we can write \(v=v_0-\sum _{i=1}^n\nabla _iv_i\), where \(\nabla _iv_i\) has to be interpreted as a distributional derivate. By
we mean that there exists \(w_t\in W^{p(\cdot )}( Q_T)'\), such that
see also [19]. The previous equality makes sense due to the inclusions
which allow us to identify w as an element of \(W^{p(\cdot )}( Q_T)'\). Finally, we are in the situation to give the definition of a weak solution to the parabolic problem (1.1):
Definition 1.1
A pair of function (u, v) is called a weak solution of (1.1) if and only if \((u,v)\in (L^\infty (0,T;L^2(\Omega ))\cap W^{p(\cdot )}(Q_T))^2\) and for every test function \(\phi _i\in C^\infty _0({\bar{\Omega }}\times [0,T))\), \(i=1,2\), the following equalities hold:
where (1.3) and the initial value conditions \(u(\cdot ,0)=u_0(x)\in L^2(\Omega )\), \(v(\cdot ,0)=v_0(x)\in L^2(\Omega )\) a.e. on \(\Omega\), i.e.
are fulfilled.
1.4 Preliminary results and tools
To derive our existence result, we will need the following Poincaré type estimate, which is a modification of the Poincaré type estimate from [22, Lemma 3.9].
Lemma 1.2
Let \(\Omega \subset {\mathbb {R}}^n\), \(n\ge 2\), be a bounded Lipschitz domain. Assume that \(u\in L^\infty (0,T;L^2(\Omega ))\cap W^{p(\cdot )}( Q_T)\) with \(u_\Omega =0\) and \(p(\cdot )\) satisfies the conditions (1.8) and (1.9). Then, there exists a constant \(c=c(n,\gamma _1,\gamma _2,\mathrm {diam}(\Omega ),\omega (\cdot ))\), such that the following two Poincaré type estimates are valid:
and
Proof
The proof of Lemma 1.2 is very similar to the proof of [22, Lemma 3.9]. To derive the needed Poincaré type estimate we apply the Gagliardo–Nirenberg’s inequality from [41]. Then, we have to follow the proof of [22, Lemma 3.9] to derive the following estimate:
with a constant \(c=c(n,\gamma _1,\gamma _2,\omega (\cdot ))\). Notice that up to (1.18) both proofs are identically, the only difference is that we now have to apply
due to the Neumann boundary condition, where \(c_p=c_p(n,\gamma _1,\mathrm {diam}(\cdot ))\) and we have to use (1.2). Thus, we can estimate as follows
which proves (1.16). To complete the proof we now have to combine (1.16) and (1.12), which implies (1.17). \(\square\)
Remark 1.3
Notice that Lemma 1.2 is valid for a exponent function \(p: Q_T\rightarrow (\frac{2n}{n+2},\infty )\), while the problem (1.1) requires the restriction \(p(x,t)\ge 2\) due to the cross-diffusion terms.
After proving the energy estimate for the (weak) solutions, we will derive from Lemma 1.2 the needed \(L^{p(\cdot )}(Q_T)-\)bounds for the approximate solution to (1.1). This together with the following Aubin–Lions type Theorem [25, Theorem 1.3] will guarantee the strong convergence of the approximate solution to the solution in \(L^{p(\cdot )}(Q_T)\). The Aubin–Lions type Theorem reads as follows:
Theorem 1.4
Let \(\Omega \subset {\mathbb {R}}^n\) be an open, bounded Lipschitz domain with \(n\ge 2\) and \(p(\cdot )>\frac{2n}{n+2}\) satisfying (1.8) and (1.9). Furthermore, define \({\hat{p}}(\cdot ):~=\max \left\{ 2,p(\cdot )\right\}\). Then, the inclusion \(W(Q_T)\hookrightarrow L^{{\hat{p}}(\cdot )}(Q_T)\) is compact.
Moreover, the next two lemmas, which are useful tools when dealing with p-growth problems, we will need to prove the uniqueness of the weak solution to system (1.1). Therefore, we define a function by
Moreover, we cite the following lemma from [33, Lemma 2.1], which is established for the case \({\mathfrak {p}}\ge 0\) in [31] and in the case \(0>{\mathfrak {p}}>-1\) in [33].
Lemma 1.5
There exists a positive constant, depending on \({\mathfrak {p}}>-1\), such that for all \(A,B\in {\mathbb {R}}^k\) with \(A\ne B\), we have
with \(\mu \ge 0\). \(\square\)
Since \(q(\cdot )>1\), we are able to choose \({\mathfrak {p}}=q(\cdot )-2>-1\). Choosing \(\mu =0\) and \(k=1\), then we consider \(V(A)=|A|^{q(\cdot )-2}A\). This allows to infer from Lemma 1.5 the next lemma.
Lemma 1.6
There exists a constant \(c:=c(n,\gamma _1,\gamma _2)\), such that for any \(A,B\in {\mathbb {R}}^k\) and \(1<q(\cdot )\le 2\), there holds
and
where \(A\ne B\). \(\square\)
We are using Lemma 1.6 only for \(1<q(\cdot )\le 2\). However, Lemma 1.6 holds true for all \(1<q(\cdot )\).
2 Statement of results
In this section we state the main results of this paper. The existence result reads as follows:
Theorem 2.1
Let \(\Omega \subset {\mathbb {R}}^n\) be an open, bounded Lipschitz domain with \(n\ge 2\), \(d_i>0\), \(i=1,2\), \(\beta \ge 0\) and \(u(x,0)=u_0(x)\in L^2(\Omega ),\ v(x,0)=v_0(x)\in L^2(\Omega ),\ x\in \Omega\), where the initial values are given. Furthermore, suppose that growth exponent \(p: Q_T\rightarrow [2,\infty )\) satisfies (1.8) and (1.9), while \(q: Q_T\rightarrow (1,2]\) satisfies (1.10) and (1.9). In addition, assume that the vector-fields \(A_i(x,t,\cdot )\) are Carathéodory functions and satisfy the coercivity (1.4), growth (1.5) and monotonicity (1.6) conditions. Moreover, let \(\alpha _k(\cdot )\), \(k=1,\ldots ,4\) be measurable functions satisfying (1.7). Then, there exists at least one (weak) solution \((u,v)\in (L^\infty (0,T;L^2(\Omega ))\cap W^{p(\cdot )}(Q_T))^2\) with \((u_t,v_t)\in (W^{p(\cdot )}(Q_T)')^2\) and \(u_\Omega =v_\Omega =0\), cf. (1.2) or (1.3), to the homogeneous Neumann problem (1.1), which satisfies the following energy estimate:
with a constant \(c=c(a_0,a_1,d_1,d_2,\beta ,\mu _1,\mu _2, \gamma _1,\gamma _2,\Vert u_0\Vert _{L^2(\Omega )},\Vert v_0\Vert _{L^2(\Omega )},|Q_T|)\).
Furthermore, the solution to the homogeneous Neumann problem (1.1) possesses a unique (weak) solution under certain assumption. The result reads as follows:
Theorem 2.2
Suppose that either \(q(\cdot )\equiv 2\) or \(\beta \equiv 0\). Under the assumptions of Theorem 2.1
-
i)
and the additional assumption
$$\begin{aligned} (A_i(x,t,\xi )-A_i(x,t,\xi '))(\xi -\xi ')\ge \mu _i|\xi -\xi '|^2,\quad i=1,2, \end{aligned}$$(2.2)for almost every \((x,t)\in Q_T\) and for every \(\xi ,\xi ' \in {\mathbb {R}}^n\) the (weak) solution to the homogeneous Neumann problem (1.1) is unique, provided that
$$\begin{aligned} a_0-a_1+\min \{d_1\mu _1,d_2\mu _2\}\ge 0. \end{aligned}$$(2.3) -
ii)
and in case that for \(k=1,\ldots ,4\) we have
$$\begin{aligned} \alpha _k(x,t)=a_0=\text {constant}, \end{aligned}$$(2.4)system (1.1) possesses a unique weak solution without further additional assumptions.
-
iii)
and in case that we have
$$\begin{aligned} 0<a_{k_0}\le \alpha _k(x,t)\le a_{k_1}<\infty , \ \text {with}\ a_{k_0},a_{k_1}=\text {constant} \end{aligned}$$(2.5)for all \(k=1,\ldots ,4\) and \((x,t)\in Q_T\), and additionally
$$\begin{aligned} a_{2_1}+a_{3_1}\le \min \{a_{1_0},a_{4_0}\} \end{aligned}$$(2.6)is satisfied, then system (1.1) possesses a unique weak solution.
Please compare the uniqueness result from [10], here a similar restriction occurs due to the term \(\beta |u|^{q(\cdot )-2}u\). In addition, one can conclude from the proof of the Theorem 2.2 immediately the following stability result:
Lemma 2.3
Under the assumptions of Theorem 2.2 with \(\beta =0\), two unique weak solutions (u, v) and \((u_1,v_1)\) to system (1.1) with the different initial values \((u_0,v_0)\in (L^2(\Omega ))^2\) and \((u_{1_0},v_{1_0})\in (L^2(\Omega ))^2\) satisfy the following stability estimate:
for all every \(t\in [0,T)\), i.e. the solutions are controlled by their initial values completely.
Finally, we will show under which conditions the (weak) solution to the homogeneous Neumann problem (1.1) is nonnegative. The result reads as follows
Theorem 2.4
Under the assumptions of Theorem 2.1 and the additional assumption that the initial values \(u_0(x)\in L^2(\Omega )\) and \(v_0(x)\in L^2(\Omega )\) are nonnegative, i.e. \(u_0(x)\ge 0\) and \(v_0(x)\ge 0\), then the solution itself is nonnegative, provided either condition (2.4) or condition (2.5) with (2.6) is satisfied. Furthermore, in both cases this solution is unique due to Theorem 2.2, provided \(q(\cdot)\equiv 2\) or \(\beta=0\).
3 Proof of the existence result
In this section, we prove our existence result utilising Galerkin’s approximations, cf. [9, 25, 50].
Proof of Theorem 2.1
The construction of a sequence of Galerkin’s approximations is as follows: First of all, we want to recall that \(\Omega \subseteq {\mathbb {R}}^n\) is an open, bounded Lipschitz domain and due to the dense embeddings \(W^{1,s}(\Omega )\subset L^2(\Omega )\) and \((L^2(\Omega ))'\subset W^{-1,s'}(\Omega )\) one has the inclusions
where the injections are compact. Note that \(W^{1,s}_0(\Omega )\subset W^{1,s}(\Omega )\) also holds true. Furthermore, it is known that for \(1<\gamma _1\le s\le \gamma _2<\infty\) the space \(L^s(\Omega )\) is a separable and reflexive Banach space, and similarly, \(W^{1,s}(\Omega )\) is a separable and reflexive Banach space. In the case of Dirichlet boundary values one would consider \(\{w_i(x)\}_{i=1}^\infty \subset W_0^{1,\gamma _2}(\Omega )\subset W^{1,\gamma _2}(\Omega )\), which is an orthonormal basis in \(L^2(\Omega )\), while here one can follow the approach from [13], i.e. one considers the spectral problem: Find \(f\in W^{1,2}(\Omega )\) and \(\lambda \in {\mathbb {R}}\) such that
where \({\hat{\nu }}\) is the unit outward normal. Then, problem (3.1) possesses a sequence of nondecreasing eigenvalues \(\{\lambda _i\}_{i=1}^\infty\) and a sequence of corresponding eigenfunctions \(\{w_i(x)\}_{i=1}^\infty\) forming an orthogonal basis in \(W^{1,2}(\Omega )\) and an orthonormal basis in \(L^2(\Omega )\) (\(W^{1,\gamma _2}(\Omega )\subset W^{1,\gamma _1}(\Omega )\subseteq W^{1,2}(\Omega )\subset L^2(\Omega )\)), see also [35]. Next, fix a positive integer m and define the approximate solution to problem (1.1) in the following way:
where the coefficients \(c_i^{(m)}(t)\) and \(d_i^{(m)}(t)\) are defined via the identities
and
for \(i=1,\ldots ,m\) and \(t\in (0,T)\) with the initial conditions
Then, this generates a system of 2m ordinary differential equations
By [45, Theorem 1.44, p. 25] we know that, there is for every finite system (3.4) a solution \((c^{(m)}_i(t),d^{(m)}_i(t))\), \(i=1,\dots ,m\) on the interval \((0,T_m)\subset (0,T)\) for some \(T_m>0\). Therefore, we multiply equation (3.2) by the coefficients \(c^{(m)}_i(t)\) and equation (3.3) by \(d_i^{(m)}(t)\). Then, integrating the resulting equations over \((0,\tau )\) for an arbitrarily \(\tau \in (0,T_m)\) and summing them over \(i=1,\ldots ,m\). This yields
for a.e. \(\tau \in (0,T_m)\). Furthermore, we can conclude the following estimate by applying the conditions (1.4) and (1.7):
for a.e. \(\tau \in (0,T_m)\). Please notice that in the case \(p(\cdot )\equiv 2\) we can immediately absorb the term
on the left-hand side of the previous estimate using Cauchy’s inequality, provided
which finally yields
for a.e. \(\tau \in (0,T_m)\). In case that \(p(\cdot )\ge \gamma _1>2\), we have to utilise Hölder’s inequality and Cauchy’s inequality to get the following inequality
Furthermore, by Young’s inequality with \(2/p(\cdot )+(p(\cdot )-2)/p(\cdot )=1\), we can estimate as follows
where
with \(\theta :=2/\min \{d_1\mu _1,d_2\mu _2\}\). This implies
for a.e. \(\tau \in (0,T_m)\), where
Furthermore, for all \(p(\cdot )\) satisfying (1.8) and (1.9) we have by Cauchy’s inequality the following:
provided \(2(q(\cdot )-1)\le 2\), i.e. \(1<q(\cdot )\le 2\), with constants
and
Using Gronwall’s inequality, we finally can conclude that
for a.e. \(\tau \in (0,T_m)\), cf. [7, 9]. Thus, we can extend \((0,T_m)\) to (0, T), which yields
with a constant \(c=c(a_0,a_1,d_1,d_2,\beta ,\mu _1,\mu _2, \gamma _1,\gamma _2,\Vert u_0\Vert _{L^2},\Vert v_0\Vert _{L^2},|Q_T|)\), cf. [25]. This together with Lemma 1.2, we have that \(u^{(m)}\) and \(v^{(m)}\) are uniformly bounded in \(L^\infty (0,T;L^2(\Omega ))\cap W^{p(\cdot )}(Q_T)\), provided \(u^{(m)}_\Omega =v^{(m)}_\Omega =0\), which implies the weak convergences for the sequences \(\left\{ u^{(m)}\right\}\) and \(\left\{ v^{(m)}\right\}\) up to a subsequence
To be able to prove the strong convergence
using Theorem 1.4, we first have to prove that
To this end, we define a subspace of the set of admissible test functions
since \(W^{p(\cdot )}_0(Q_T)\subset W^{p(\cdot )}(Q_T)\). Then, we choose test functions
Note that \(\partial _t\varphi\) and \(\partial _t{\tilde{\varphi }}\) exist, since the coefficients \(\psi _i(t)\) and \({\tilde{\psi }}_i(t)\) lie in \(C^1([0,T])\). Thus, we have
and
From this we can conclude that
with a constant \(c_1=c_1(a_0,a_1,d_1,d_2,\mu _1, \mu _2,\gamma _1,\gamma _2,\Vert u_0 \Vert _{L^2},\Vert v_0\Vert _{L^2},|Q_T|,L_1,\Vert h_1\Vert _{L^{p'(\cdot )}})\), where we applied the generalised Hölder’s inequality (1.11), the growth condition (1.5), the condition (1.7), (1.12), the fact \(p'(x,t)\le 2\le p(x,t)\) and the energy estimate (3.5). Similarly, we can deduce that
with a constant
where we also used the Poincaré type estimate (1.17) with \(u^{(m)}_\Omega =v^{(m)}_\Omega =0\). This shows that
with \(\Vert u_t^{(m)}\Vert _{W^{p(\cdot )}( Q_T)'}\le c_1\) and \(\Vert v_t^{(m)}\Vert _{W^{p(\cdot )}( Q_T)'}\le c_2\). Summarising, we have the weak convergences for the sequences \(\left\{ u^{(m)}\right\}\) and \(\left\{ v^{(m)}\right\}\) (up to a subsequence):
provided \(u^{(m)}_\Omega =v^{(m)}_\Omega =0\). Moreover, by Theorem 1.4 we can conclude that the sequences \(\left\{ u^{(m)}\right\}\) and \(\left\{ v^{(m)}\right\}\) (up to a subsequence) converges strongly in \(L^{p(\cdot )}( Q_T)\) to some function \(u,v\in W( Q_T)\) with \(u_\Omega =v_\Omega =0\). Thus, we have the desired convergences
In addition, the growth assumption on \(A_i(z,\cdot )\) and the estimate (3.5) imply that the sequences \(\left\{ A_1(z,\nabla u^{(m)})\right\} _{m\in {\mathbb {N}}}\) and \(\left\{ A_2(z,\nabla v^{(m)})\right\} _{m\in {\mathbb {N}}}\) are bounded in \(L^{p'(\cdot )}( Q_T,{\mathbb {R}}^n)\). Consequently, after passing to a subsequence once more, we can find limit maps \(A_{1_0},A_{2_0}\in L^{p'(\cdot )}( Q_T,{\mathbb {R}}^n)\) with
The next aim is to show that
By the method of construction [7], we have from (3.2) and (3.3) for all test function \(\phi _i\in {\mathcal {W}}_s(Q_T)\), \(i=1,2\) with \(s\le m\) for an arbitrary fixed \(m\in {\mathbb {N}}\) that
and
Then, passing to the limit \(m\rightarrow \infty\) we get
and
for every \(\phi _i\in {\mathcal {W}}_s(Q_T)\), \(i=1,2\). According to the monotonicity assumption (1.6), we also know that
for every \(\xi _i\in {\mathcal {W}}_s(Q_T)\), \(i=1,2\). Choosing \(\phi _1=(u^{(m)}-\xi _1)\) and \(\phi _2=(v^{(m)}-\xi _2)\) with \(\xi _i\in {\mathcal {W}}_s(Q_T)\), \(i=1,2\) as admissible test functions, we can conclude from (3.7), (3.8) and (3.11) that
and
which implies
and
where \(\phi _1=(u^{(m)}-\xi _1)\) and \(\phi _2=(v^{(m)}-\xi _2)\) with \(\xi _i\in {\mathcal {W}}_s(Q_T)\), \(i=1,2\). Next, testing (3.9) and (3.10) with \(\phi _1=(u^{(m)}-\xi _1)\) and \(\phi _2=(v^{(m)}-\xi _2)\) with \(\xi _i\in {\mathcal {W}}_s(Q_T)\), \(i=1,2\) we can deduce by subtracting (3.9) and (3.10) from (3.12) and (3.13), respectively, and passing to the limit \(m\rightarrow \infty\) that
for all \(\xi _i\in {\mathcal {W}}_s(Q_T)\), \(i=1,2\). Then, choosing \(\xi _1=u\pm \varepsilon \psi _1\) and \(\xi _2=v\pm \varepsilon \psi _2\) with arbitrary \(\psi _i\in W^{p(\cdot )}(Q_T)\) finally yields
Passing to the limit \(\varepsilon \downarrow 0\), then implies
The last step in our existence proof is to check if the initial value condition is satisfied, which is similar to [9, 13]. Consider functions
where \(\psi _k^i\in C^1([0,T])\). Then, choose test functions from (3.14) with \(\phi _i(\cdot ,T)=0\). Thus, we can conclude from (3.7) and (3.8), integrating by parts and passing to the limit \(m\rightarrow \infty\) the following:
where we used \(u^{(m)}(\cdot ,0)\rightarrow u_0\) as \(m\rightarrow \infty\), cf. [25], and similarly
On the other side hand we know from (3.9) and (3.10) that
and
Finally, since \(\phi _i\) are arbitrary we have that \(u(\cdot ,0)=u_0\) and \(v(\cdot ,0)=v_0\), which completes the proof. \(\square\)
Remark 3.1
There are some additional assumptions one can make to weaken the condition on the exponent q(x, t):
-
i)
For a modified version of problem (1.1), i.e.
$$\begin{aligned} {\left\{ \begin{array}{ll} \displaystyle \partial _tu=d_1{\mathrm {div}}(A_1(x,t,\nabla u))+{\mathrm {div}}(\alpha _1(x,t)\nabla u+\alpha _2(x,t)\nabla v)-|u|^{q(x,t)-2}u+|v|^{q(x,t)-2}v, \ (x,t)\in Q_T\\ \partial _t v=d_2{\mathrm {div}}(A_2(x,t,\nabla v))+ {\mathrm {div}}(\alpha _3(x,t)\nabla u+\alpha _4(x,t)\nabla v)+|u|^{q(x,t)-2}u-|v|^{q(x,t)-2}v,\ (x,t)\in Q_T\\ \displaystyle \frac{\partial u}{\partial \nu }=\frac{\partial v}{\partial \nu }=0,\quad (x,t) \in S_T\\ u(x,0)=u_0(x),\ v(x,0)=v_0(x),\quad x\in \Omega , \end{array}\right. } \end{aligned}$$we do not need Gronwall’s inequality to derive the energy estimate (3.5), since we would have
$$\begin{aligned} -\int _{Q_\tau }\left( |u^{(m)}|^{q(x,t)-2}u^{(m)} -|v^{(m)}|^{q(x,t)-2}v^{(m)}\right) (u^{(m)}-v^{(m)})\mathrm {d}z\le 0 \end{aligned}$$for any \(1<q(x,t)<\infty\), cf. Lemma 1.6, instead of
$$\begin{aligned} \int _{Q_\tau }|u^{(m)}|^{q(x,t)-2}u^{(m)} v^{(m)}\mathrm {d}z. \end{aligned}$$Thus, we don’t need the restriction \(1<q(x,t)\le 2\).
-
ii)
An other approach would be the following: Assume that there exist constants \(q^-\) and \(q^+\), such that \(1<q^-\le q(x,t)\le q^+\le p(x,t)\), then we can conclude that
$$\begin{aligned} \int _{Q_\tau }|u^{(m)}|^{q(x,t)-2}u^{(m)} v^{(m)}\mathrm {d}z&\le \left( \int _{Q_\tau }|u^{(m)}|^{\frac{q(x,t)-1}{q^+-1}q^+} \mathrm {d}z\right) ^\frac{q^+-1}{q^+}\left( \int _{Q_\tau }|v^{(m)}|^{q^+} \mathrm {d}z\right) ^\frac{1}{q^+}\\&\le \left( c_1\int _{Q_\tau }|\nabla u^{(m)}|^{q^+} +1\mathrm {d}z\right) ^\frac{q^+-1}{q^+}\left( c_2\int _{Q_\tau }|\nabla v^{(m)}|^{q^+} \mathrm {d}z\right) ^\frac{1}{q^+}\\&\le \frac{q^+-1}{q^+}c_1\int _{Q_\tau }|\nabla u^{(m)}|^{p(x,t)}\mathrm {d}z+\frac{c_2}{q^+}\int _{Q_\tau }|\nabla v^{(m)}|^{p(x,t)} \mathrm {d}z+c_3|Q_\tau | \end{aligned}$$with constants \(c_1\), \(c_2\) and \(c_3\) dependent on \((n,q^-,q^+,\mathrm {diam}(\Omega ),\gamma _1,\gamma _2)\), where we used Hölder’s, Poincaré’s and Young’s inequality to derive this estimate. To be able to absorb these terms on the left-hand side the structure constants of system (1.1) have to satisfy
$$\begin{aligned} {\left\{ \begin{array}{ll} \displaystyle {\bar{c}}_*\ge \max \left\{ \frac{q^+-1}{q^+}c_1, \frac{c_2}{q^+}\right\} ,\quad &{}\text {if}\ p(\cdot )\equiv 2\ \text {and}\ {\bar{c}}_*:=\left( a_0-a_1+\min \{d_1\mu _1,d_2\mu _2\}\right) \ge 0,\\ 1\ge \displaystyle {\bar{c}}_\ddagger \cdot \max \left\{ \frac{q^+-1}{q^+} c_1,\frac{c_2}{q^+}\right\} ,\quad &{}\text {if}\ p(\cdot )\ge \gamma _1>2, \end{array}\right. } \end{aligned}$$where
$$\begin{aligned} {\bar{c}}_\ddagger :=\frac{2\gamma _1}{\gamma _1-1} \max \left\{ 1,\frac{1}{\min \{a_0,d_1\mu _1,d_2\mu _2\}}\right\} . \end{aligned}$$Thus, we don’t need again the restriction \(1<q(x,t)\le 2\), but other restrictions on the system coefficients.
4 Proof of the uniqueness result
Now, we are in the situation to prove the uniqueness of the weak solution to problem (1.1) according to Theorem 2.2.
Proof of Theorem 2.2
For the proof of uniqueness, we assume that there exist two pairs of solutions (u, v) and \((u_1,v_1)\) with the same initial value \((u_0,v_0)\). Therefore, we choose \(\phi _1=u-u_1\) and \(\phi _2=v-v_1\) as admissible test functions.
i) Subtracting the weak formulation for \((u_1,v_1)\) from the weak formulation for (u, v), [cf. (1.14) & (1.15)] and using integration by parts, we get
where we applied the monotonicity condition (2.2) and (1.7). Similarly, we have
Combining these estimates, using Cauchy’s and Hölder’s inequality, we get
Using again Cauchy’s inequality and (1.7) we further can conclude that
For \(q(\cdot )\equiv 2\) for all \(\beta >0\) and under the assumption (2.3), we can immediately conclude that
and by means of Gronwall’s inequality (differential form) we gain
for every \(t\in (0,T)\), since \(u(x,0)-u_1(x,0)=0\) and \(v(x,0)-v_1(x,0)=0\). For \(\beta =0\) the uniqueness follows similarly.
The proof of ii) is similar to the proof of i), but we use the monotonicity condition (1.6). Thus, we derive at
which implies similarly the uniqueness (as above) due to the assumption that \(a_0=\alpha _k(x,t)=a_1=\)const. Thus, we neither need (2.2) nor (2.3).
Finally, the proof of iii) is now trivial and remains to the reader. This completes the proof. \(\square\)
The proof of the stability estimate of Lemma 2.3 is very similar to the proof of the uniqueness Theorem 2.2.
Proof of Lemma 2.3
We assume that there exist two pairs of solutions (u, v) and \((u_1,v_1)\) with the different initial values \((u_0,v_0)\in (L^2(\Omega ))^2\) and \((u_{1_0},v_{1_0})\in (L^2(\Omega ))^2\). Then, following the proof of Theorem 2.2, we can conclude for \(\beta =0\) that
which implies
for a.e. \(t\in [0,T)\). \(\square\)
5 Proof of the nonnegativity of the weak solutions
Our finally aim is to prove of the nonnegativity of the weak solutions.
Proof of Theorem 2.4
Consider \(u^-:=\min \{u,0\}\) and \(v^-:=\min \{v,0\}\) with \(u(x,0)=u_0(x)\ge 0,\ v(x,0)=v_0(x)\ge 0\), \(x\in \Omega\). Choosing \(\phi _1=u^-\) and \(\phi _2=v^-\) in (1.14) and (1.15), integrating over \(\Omega\) instead of \(\Omega_{T}\) and integration by parts yields
and
Please note that we have \(A_i(x,t,\xi )\cdot \xi ^-\ge 0\) either due to the coercivity condition (1.4), since \(A_i(x,t,\xi )\cdot \xi ^-=A_i(x,t,\xi )\cdot \xi\) or \(A_i(x,t,\xi )\cdot \xi ^-=0\), since \(\xi ^-=\min \{\xi ,0\}=0\). Furthermore, we know that
due to the fact if \(u^-=0\) or \(v^-=0\), then we also have \(\nabla u^-=0\) or \(\nabla v^-=0\), respectively and therefore, \(\nabla u\cdot \nabla u^-=0\) or \(\nabla v\cdot \nabla v^-=0\). Otherwise, i.e. if \(u^-=u\) or \(v^-=v\) we have also \(\nabla u\cdot \nabla u^-=|\nabla u|^2\) or \(\nabla v\cdot \nabla v^-=|\nabla v|^2\). Therefore, we can conclude by means of the coercivity condition (1.4), (1.7) and either (2.4) or (2.5) with (2.6) and the abbreviation \(a_0=\min \{\alpha _{1_0},\alpha _{4_0}\}\) that
where we used Hölder’s inequality, Young’s inequality, the fact that \(\nabla u^-\) is either \(\nabla u\) or 0 and \(\nabla v^-\) is either \(\nabla v\) or 0. This implies
for all \(t\in[0,T)\). Finally, by the fact that \(u^-=v^-=0\) at \(t=0\), since \(u(x,0)=u_0(x)\ge 0,\ v(x,0)=v_0(x)\ge 0\), the last inequality implies that \(\Vert u^-\Vert _{L^2(\Omega )}=\Vert v^-\Vert _{L^2(\Omega )}=0\) for all \(t>0\). Therefore, the solution (u, v) is nonnegative. \(\square\)
References
Aboulaich, R., Meskine, D., Souissi, A.: New diffusion models in image processing. Comput. Math. Appl. 56(4), 874–882 (2008)
Acerbi, E., Mingione, G.: Regularity results for electrorheological fluids: the stationary case. C. R. Math. Acad. Sci. Paris 334(9), 817–822 (2002)
Acerbi, E., Mingione, G.: Regularity results for stationary electro-rheological fluids. Arch. Ration. Mech. Anal. 164(3), 213–259 (2002)
Alkhutov, Y.A., Zhikov, V.V.: Existence theorems for solutions of parabolic equations with a variable order of nonlinearity. Tr. Mat. Inst. Steklova 270, 21–32 (2010)
Antontsev, S., Kuznetsov, I., Shmarev, S.: Global higher regularity of solutions to singular \(p(x, t)\)-parabolic equations. J. Math. Anal. Appl. 466(1), 238–263 (2018)
Antontsev, S., Shmarev, S.: A model porous medium equation with variable exponent of nonlinearity: existence, uniqueness and localization properties of solutions. Nonlinear Anal. 60(3), 515–545 (2005)
Antontsev, S., Shmarev, S.: Anisotropic parabolic equations with variable nonlinearity. Publ. Math. 53(2), 355–399 (2009)
Antontsev, S., Shmarev, S.: Vanishing solutions of anisotropic parabolic equations with variable nonlinearity. J. Math. Anal. Appl. 361(2), 371–391 (2010)
Antontsev, S., Shmarev, S.: Evolution PDEs with Nonstandard Growth Conditions. Atlantis Studies in Differential Equations, vol. 4. Atlantis Press, Paris (2015)
Antontsev, S., Shmarev, S.: On a class of fully nonlinear parabolic equations. Adv. Nonlinear Anal. 8(1), 79–100 (2019)
Antontsev, S., Zhikov, V.: Higher integrability for parabolic equations of \(p(x, t)\)-Laplacian type. Adv. Differ. Equ. 10(9), 1053–1080 (2005)
Arumugam, G., Erhardt, A.H., Eswaramoorthy, I., Krishnan, B.: Existence of weak solutions to the Keller–Segel chemotaxis system with additional cross-diffusion. Nonlinear Anal. Real World Appl. 54, 103090 (2020)
Bendahmane, M., Langlais, M.: A reaction-diffusion system with cross-diffusion modeling the spread of an epidemic disease. J. Evol. Equ. 10(4), 883–904 (2010)
Bhuvaneswari, V., Lingeshwaran, S., Balachandran, K.: Weak solutions for \(p\)-Laplacian equation. Adv. Nonlinear Anal. 1(4), 319–334 (2012)
Chen, X., Jüngel, A.: A note on the uniqueness of weak solutions to a class of cross-diffusion systems. J. Evol. Equ. 18(2), 805–820 (2018)
Chen, Y., Levine, S., Rao, M.: Variable exponent, linear growth functionals in image restoration. SIAM J. Appl. Math. 66(4), 1383–1406 (2006)
Chorfi, N., Rădulescu, V.D.: Small perturbations of elliptic problems with variable growth. Appl. Math. Lett. 74, 167–173 (2017)
Diening, L., Harjulehto, P., Peter, H., Ru̇žička, M.: Lebesgue and Sobolev Spaces with Variable Exponents. Lecture Notes in Mathematics, vol. 2017. Springer, Heidelberg (2011)
Diening, L., Nägele, P., Ru̇žička, M.: Monotone operator theory for unsteady problems in variable exponent spaces. Complex Var. Elliptic Equ. 57(11), 1209–1231 (2012)
Eleuteri, M., Harjulehto, P., Lukkari, T.: Global regularity and stability of solutions to obstacle problems with nonstandard growth. Rev. Mat. Complut. 26(1), 147–181 (2013)
Erhardt, A.: Calderón–Zygmund theory for parabolic obstacle problems with nonstandard growth. Adv. Nonlinear Anal. 3(1), 15–44 (2014)
Erhardt, A.H.: Existence and gradient estimates in parabolic obstacle problems with nonstandard growth, Ph.D. thesis, Friedrich–Alexander University Erlangen–Nuremberg, (2013)
Erhardt, A.H.: Existence of solutions to parabolic problems with nonstandard growth and irregular obstacles. Adv. Differ. Equ. 21(5–6), 463–504 (2016)
Erhardt, A.H.: Higher integrability for solutions to parabolic problems with irregular obstacles and nonstandard growth. J. Math. Anal. Appl. 435(2), 1772–1803 (2016)
Erhardt, A.H.: Compact embedding for \(p(x, t)\)-Sobolev spaces and existence theory to parabolic equations with \(p(x, t)\)-growth. Rev. Mat. Complut. 30(1), 35–61 (2017)
Erhardt, A.H.: The stability of parabolic problems with nonstandard \(p(x, t)\)-growth. Mathematics 5(4), 14 (2017)
Feireisl, E.: Mathematical analysis of fluids in motion: from well-posedness to model reduction. Rev. Mat. Complut. 26(2), 299–340 (2013)
Franzina, G., Lindqvist, P.: An eigenvalue problem with variable exponents. Nonlinear Anal. 85, 1–16 (2013)
Gao, W., Guo, B.: Existence and localization of weak solutions of nonlinear parabolic equations with variable exponent of nonlinearity. Ann. Mat. Pura Appl. (4) 191(3), 551–562 (2012)
Gerstenmayer, A., Jüngel, A.: Analysis of a degenerate parabolic cross-diffusion system for ion transport. J. Math. Anal. Appl. 461(1), 523–543 (2018)
Giaquinta, M., Modica, G.: Partial regularity of minimizers of quasiconvex integrals. Ann. Inst. H. Poincaré Anal. Non Linéaire 3(3), 185–208 (1986)
Guo, B., Gao, W.: Study of weak solutions for parabolic equations with nonstandard growth conditions. J. Math. Anal. Appl. 374(2), 374–384 (2011)
Hamburger, C.: Regularity of differential forms minimizing degenerate elliptic functionals. J. Reine Angew. Math. 431, 7–64 (1992)
Harjulehto, P., Hästö, P., Latvala, V., Toivanen, O.: Critical variable exponent functionals in image restoration. Appl. Math. Lett. 26(1), 56–60 (2013)
Hsieh, C.-Y.: Global existence of solutions for the Poisson–Nernst–Planck system with steric effects. Nonlinear Anal. Real World Appl. 50, 34–54 (2019)
Jüngel, A., Zamponi, N.: Qualitative behavior of solutions to cross-diffusion systems from population dynamics. J. Math. Anal. Appl. 440(2), 794–809 (2016)
Lair, A.V., Oxley, M.E.: A necessary and sufficient condition for global existence for a degenerate parabolic boundary value problem. J. Math. Anal. Appl. 221(1), 338–348 (1998)
Li, Y.: Global boundedness of weak solution in an attraction–repulsion chemotaxis system with \(p\)-Laplacian diffusion. Nonlinear Anal. Real World Appl. 51, 102933, 18 (2020)
Liu, B., Dong, M.: A nonlinear diffusion problem with convection and anisotropic nonstandard growth conditions. Nonlinear Anal. Real World Appl. 48, 383–409 (2019)
Liu, Y., Zhang, Z., Zhu, L.: Global existence and blowup for a quasilinear parabolic equations with nonlinear gradient absorption. Adv. Differ. Equ. 24(3–4), 229–256 (2019)
Nirenberg, L.: On elliptic partial differential equations. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) 13, 115–162 (1959)
Ok, J.: Harnack inequality for a class of functionals with non-standard growth via De Giorgi’s method. Adv. Nonlinear Anal. 7(2), 167–182 (2018)
Pan, N., Zhang, B., Cao, J.: Weak solutions for parabolic equations with \(p(x)\)-growth. Electron. J. Differ. Equ. 209, 15 (2016)
Prasath, V.B.S., Vorotnikov, D.: On time adaptive critical variable exponent vectorial diffusion flows and their applications in image processing I: analysis. Nonlinear Anal. 168, 176–197 (2018)
Roubíček, T.: Nonlinear Partial Differential Equations with Applications, 2nd edn. International Series of Numerical Mathematics, vol. 153. Birkhäuser, Basel (2013)
Ružičkȧ, M.: Modeling, mathematical and numerical analysis of electrorheological fluids. Appl. Math. 49(6), 565–609 (2004)
Shangerganesh, L., Gurusamy, A., Balachandran, K.: Weak solutions for nonlinear parabolic equations with variable exponents. Commun. Math. 25(1), 55–70 (2017)
Singer, T., Vestberg, M.: Local boundedness of weak solutions to the diffusive wave approximation of the shallow water equations. J. Differ. Equ. 266(6), 3014–3033 (2019)
Winkert, P., Zacher, R.: Global a priori bounds for weak solutions to quasilinear parabolic equations with nonstandard growth. Nonlinear Anal. 145, 1–23 (2016)
Winther, R.: Error estimates for a Galerkin approximation of a parabolic control problem. Ann. Mat. Pura Appl. (4) 117, 173–206 (1978)
Acknowledgements
Open Access funding provided by University of Oslo (incl Oslo University Hospital). G.A. is supported by DST/SERB, Grant number EMR/2015/001908. A.E. wishes to thank Erik Wahlén and the Centre of Mathematical Sciences, Lund University, Sweden for hosting him during his research stay in 2020 supported by the Kristine Bonnevie scholarship 2020. The authors wish to thank the anonymous referee for her/his careful reading of the original manuscript and their comments that eventually led to an improved presentation.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Dedicated to Professor Michel Chipot on the occasion of his 70th birthday.
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/.
About this article
Cite this article
Arumugam, G., Erhardt, A.H. Existence of weak solutions to a certain homogeneous parabolic Neumann problem involving variable exponents and cross-diffusion. J Elliptic Parabol Equ 6, 685–709 (2020). https://doi.org/10.1007/s41808-020-00078-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s41808-020-00078-6