Table of Contents
Fetching ...

Weak global solvability of a doubly degenerate parabolic-elliptic nutrient taxis system

Federico Herrero-Hervás

Abstract

This work studies the following doubly degenerate parabolic-elliptic nutrient taxis system $$ \begin{cases} u_t = (uvu_x)_x -(u^2 vv_x)_x + uv, \\[1.5 ex] \hspace{0.2 cm}0 = v_{xx} - uv + f(x,t), \end{cases} $$ in a bounded interval $Ω\subset \mathbb{R}$, under no-flux boundary conditions and nonnegative initial value $u(x,0) = u_0(x) \geq 0$, where $f(x,t) \geq 0$ is known external supply of the nutrient. It is shown that for any nonnegative $u_0 \in W^{1,\infty}(Ω)$ and $f \in C^1\big(\barΩ \times [0,\infty) \big)$, $f \not \equiv 0$, a global weak solution of the problem can be constructed by means of a regularization approach. The core of the analysis lies on a Harnack-type inequality for the second that allows us to overcome the lack of uniform coercivity. Together with time regularity properties, we obtain relative compactness through a combination of the Arzelà-Ascoli theorem and the Aubin-Lions lemma.

Weak global solvability of a doubly degenerate parabolic-elliptic nutrient taxis system

Abstract

This work studies the following doubly degenerate parabolic-elliptic nutrient taxis system in a bounded interval , under no-flux boundary conditions and nonnegative initial value , where is known external supply of the nutrient. It is shown that for any nonnegative and , , a global weak solution of the problem can be constructed by means of a regularization approach. The core of the analysis lies on a Harnack-type inequality for the second that allows us to overcome the lack of uniform coercivity. Together with time regularity properties, we obtain relative compactness through a combination of the Arzelà-Ascoli theorem and the Aubin-Lions lemma.
Paper Structure (7 sections, 16 theorems, 135 equations)

This paper contains 7 sections, 16 theorems, 135 equations.

Key Result

Theorem 1.1

Assume h1 and h2 hold. Then, there exists a global weak solution $(u,v)$ to system 1.1 in the sense of Definition weak-sol below, which moreover satisfies

Theorems & Definitions (32)

  • Theorem 1.1
  • Definition 2.1
  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Lemma 2.3
  • proof
  • Lemma 3.1
  • proof
  • ...and 22 more