Abstract:We study the appearance of a boundary condition along an interface between two regions, one with constant diffusivity $1$ and the other with diffusivity $\eps>0$, when $\eps\to0$. In particular, we take Fick's diffusion law in a context of reaction-diffusion equation with bistable nonlinearity and show that the limit of the reaction-diffusion equation satisfies the homogeneous Neumann boundary condition along the interface. This problem is developed as an application of heterogeneous diffusion laws to study the geometry effect of domain.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to determine the boundary conditions when the diffusivity \(\epsilon\) in one of the two regions approaches zero at the junction of the two regions with different diffusivities. Specifically, the paper studies whether the solution of the reaction - diffusion equation satisfies the homogeneous Neumann boundary condition as \(\epsilon\) approaches zero when the diffusivity in one region is a constant 1 and the diffusivity in the other region is \(\epsilon>0\) in the reaction - diffusion equation.
### Problem Background
The paper considers an initial value problem, which is described as follows:
\[
(P_\epsilon^0)
\begin{cases}
u_t=\nabla\cdot(D_\epsilon\nabla u)+f(u),&(t,x)\in(0,T)\times\Omega,\\
n\cdot\nabla u = 0,&(t,x)\in(0,T)\times\partial\Omega,\\
u(0,x)=u_0(x),&x\in\Omega,
\end{cases}
\]
where:
- \(\Omega\subset\mathbb{R}^n\) is a bounded open set with a smooth boundary \(\partial\Omega\).
- \(n\) is the outer unit normal vector on the boundary.
- \(u_0\in C(\Omega)\) is the initial value, and satisfies \(0\leq u_0(x)\leq M\), \(x\in\Omega\), \(M\geq1\).
- The reaction function \(f\) is a continuously differentiable bistable nonlinear function, and the specific assumptions are:
\[
\begin{cases}
f(0)=f(1)=f(\alpha)=0,\\
f'(0)<0,\quad f'(1)<0,\quad f'(\alpha)>0,\\
f(u)<0,&u\in(0,\alpha)\cup(1,\infty),\\
f(u)>0,&u\in(\alpha,1).
\end{cases}
\]
- The diffusivity \(D_\epsilon\) is defined as:
\[
D_\epsilon(x)=
\begin{cases}
1,&x\in\Omega_1\cup\Gamma,\\
\epsilon,&x\in\Omega_0,
\end{cases}
\]
where \(\Omega_1\) is the inner domain, \(\Omega_0 = \Omega\setminus\Omega_1\) is the outer domain, and \(\Gamma=\partial\Omega_1\) is the boundary of the inner domain.
### Research Objectives
The main objective of the paper is to prove that when \(\epsilon\rightarrow0\), the solution \(u_\epsilon\) of the reaction - diffusion equation converges to a solution \(u\) that satisfies the homogeneous Neumann boundary condition, that is:
\[
(P_0^0)
\begin{cases}
u_t=\Delta u + f(u),&(t,x)\in(0,T)\times\Omega_1,\\
n\cdot\nabla u = 0,&(t,x)\in(0,T)\times\partial\Omega_1,\\
u(0,x)=u_0(x),&x\in\Omega_1.
\end{cases}
\]
### Main Results
The main results of the paper...