Abstract:This paper deals with the following parabolic-elliptic chemotaxis system with singular sensitivity and logistic source, \begin{equation} \begin{cases} u_t=\Delta u-\chi\nabla\cdot (\frac{u}{v} \nabla v)+u(a(t,x)-b(t,x) u), & x\in \Omega,\cr 0=\Delta v- \mu v+ \nu u, & x\in \Omega, \cr \frac{\partial u}{\partial n}=\frac{\partial v}{\partial n}=0, & x\in\partial\Omega, \end{cases} \end{equation} where $\Omega \subset \mathbb{R}^N$ is a smooth bounded domain, $a(t,x)$ and $b(t,x)$ are positive smooth functions, and $\chi$, $\mu$ and $\nu$ are positive constants. In the very recent paper [25], we proved that for given nonnegative initial function $0\not\equiv u_0\in C^0(\bar \Omega)$ and $s\in\mathbb{R}$, (0.1) has a unique globally defined classical solution $(u(t,x;s,u_0),v(t,x;s,u_0))$ with $u(s,x;s,u_0)=u_0(x)$, provided that $a_{\inf}=\inf_{t\in\mathbb{R},x\in\Omega}a(t,x)$ is large relative to $\chi$ and $u_0$ is not small. In this paper, we further investigate qualitative properties of globally defined positive solutions of (0.1) under the assumption that $a_{\inf}$ is large relative to $\chi$ and $u_0$ is not small. Among others, we provide some concrete estimates for $\int_\Omega u^{-p}$ and $\int_\Omega u^q$ for some $p>0$ and $q>\max\{2,N\}$ and prove that any globally defined positive solution is bounded above and below eventually by some positive constants independent of its initial functions. We prove the existence of a ``rectangular'' type bounded invariant set (in $L^q$) which eventually attracts all the globally defined positive solutions. We also prove that (0.1) has a positive entire classical solution $(u^*(t,x),v^*(t,x))$, which is periodic in $t$ if $a(t,x)$ and $b(t,x)$ are periodic in $t$ and is independent of $t$ if $a(t,x)$ and $b(t,x)$ are independent of $t$.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to explore whether in a chemotaxis system with singular sensitivity and logical sources, the logical dynamics can prevent the blow - up phenomenon within a finite time, and to study the long - time behavior of globally defined positive solutions. Specifically, the paper focuses on the following aspects of problems:
1. **The role of logical dynamics**: Whether the logical source term \(u(a(t,x)-b(t,x)u)\) can prevent the blow - up phenomenon of solutions within a finite time. If so, whether the logical source term can also prevent the blow - up phenomenon within an infinite time, that is, whether the globally defined positive solutions are bounded.
2. **Boundedness and persistence of solutions**: For globally defined positive solutions, what is their long - time behavior? In particular, whether these solutions are bounded within some ultimate upper and lower bounds, and whether these bounds are independent of the initial conditions.
3. **Existence of absorbing sets**: Whether there exists a bounded invariant set of the "rectangular" type that can attract all globally defined positive solutions.
4. **Existence of global solutions**: Whether there exists a positive global classical solution \((u^*(t,x),v^*(t,x))\) for system (1.1), and whether this solution is also periodic in the case of \(t\) - periodic, or independent in the case of \(t\) - independent.
### Main results of the paper
1. **Boundedness of solutions and integral estimates**:
- For globally defined classical solutions, the paper provides specific estimates of \(\int_\Omega u^{-p}\) and \(\int_\Omega u^q\), and proves that these integrals have ultimate upper bounds in the long - time, and these bounds are independent of the initial conditions.
- Specifically, for \(p = 1\), there exist constants \(\gamma=a_{\inf}-a_{\chi,\mu}\) and \(M_1(p)=\frac{b_{\sup}|\Omega|}{a_{\inf}-a_{\chi,\mu}}\), such that for any \(u_0\) satisfying (1.2)′ and \(s\in\mathbb{R}\), and \(\tau > s\), we have:
\[
\int_\Omega u^{-p}(t,x;s,u_0)\,dx\leq e^{-\gamma(t - \tau)}\int_\Omega u^{-p}(\tau,x;s,u_0)\,dx+M_1(p)+\tilde{M}_1(p,u_0,\tau)
\]
and
\[
\lim_{t - s\rightarrow\infty}\int_\Omega u^{-p}(t,x;s,u_0)\,dx\leq M_1(p)
\]
2. **Global absorbing rectangle**:
- There exists a set \(E\) such that for any initial condition \(u_0\) satisfying (1.2)′, the solution \(u(t,\cdot;s,u_0)\) will eventually enter and remain in this set.
- This set \(E\) is globally absorbing, which means that for any initial condition \(u_0\) satisfying (1.2)′, some integrals and norms of the solution will have ultimate upper bounds in the long - time.
3. **Point - wise persistence**:
- It is proved that the point - wise persistence of solutions in the long - time, that is, there exists a constant \(m^*>0\), such that for any initial condition \(u_0\) satisfying (1.2)′ and \(s\in\mathbb{R}\), we have:
\[
\liminf_{t - s\rightarrow\infty}\inf_{x\in\Omega}u(t,x;s,u_0)\geq m^*
\]
4. **Existence of global solutions**:
- It is proved that there exists a positive global classical solution \((u^*(t,x),v^*(t,x))\) for system (1.1), and this solution is \(t\) - periodic.