Spectral properties of the gradient operator with nonconstant coefficients

Abstract In mathematical physics, the gradient operator with nonconstant coefficients encompasses various models, including Fourier’s law for heat propagation and Fick’s first law, that relates the diffusive flux to the gradient of the concentration. Specifically, consider $$n\ge 3$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>3</mml:mn> </mml:mrow> </mml:math> orthogonal unit vectors $$e_1,\ldots ,e_n\in {\mathbb {R}}^n$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>e</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>,</mml:mo> <mml:mo>…</mml:mo> <mml:mo>,</mml:mo> <mml:msub> <mml:mi>e</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:mo>∈</mml:mo> <mml:msup> <mml:mrow> <mml:mi>R</mml:mi> </mml:mrow> <mml:mi>n</mml:mi> </mml:msup> </mml:mrow> </mml:math> , and let $$\Omega \subseteq {\mathbb {R}}^n$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>Ω</mml:mi> <mml:mo>⊆</mml:mo> <mml:msup> <mml:mrow> <mml:mi>R</mml:mi> </mml:mrow> <mml:mi>n</mml:mi> </mml:msup> </mml:mrow> </mml:math> be some (in general unbounded) Lipschitz domain. This paper investigates the spectral properties of the gradient operator $$T=\sum _{i=1}^ne_ia_i(x)\frac{\partial }{\partial x_i}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>T</mml:mi> <mml:mo>=</mml:mo> <mml:msubsup> <mml:mo>∑</mml:mo> <mml:mrow> <mml:mi>i</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> <mml:mi>n</mml:mi> </mml:msubsup> <mml:msub> <mml:mi>e</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:msub> <mml:mi>a</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mfrac> <mml:mi>∂</mml:mi> <mml:mrow> <mml:mi>∂</mml:mi> <mml:msub> <mml:mi>x</mml:mi> <mml:mi>i</mml:mi> </mml:msub> </mml:mrow> </mml:mfrac> </mml:mrow> </mml:math> with nonconstant positive coefficients $$a_i:{\overline{\Omega }}\rightarrow (0,\infty )$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>a</mml:mi> <mml:mi>i</mml:mi> </mml:msub> <mml:mo>:</mml:mo> <mml:mover> <mml:mi>Ω</mml:mi> <mml:mo>¯</mml:mo> </mml:mover> <mml:mo>→</mml:mo> <mml:mrow> <mml:mo>(</mml:mo> <mml:mn>0</mml:mn> <mml:mo>,</mml:mo> <mml:mi>∞</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> </mml:mrow> </mml:math> . Under certain regularity and growth conditions on the $$a_i$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>a</mml:mi> <mml:mi>i</mml:mi> </mml:msub> </mml:math> , we identify bisectorial or strip-type regions that belong to the S -resolvent set of T . Moreover, we obtain suitable estimates of the associated resolvent operator. Our focus lies in the spectral theory on the S -spectrum, designed to study the operators acting in Clifford modules V over the Clifford algebra $${\mathbb {R}}_n$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>R</mml:mi> <mml:mi>n</mml:mi> </mml:msub> </mml:math> , with vector operators being a specific crucial subclass. The spectral properties related to the S -spectrum of T are linked to the inversion of the operator $$Q_s(T):=T^2-2s_0T+|s|^2$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mi>Q</mml:mi> <mml:mi>s</mml:mi> </mml:msub> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>T</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>:</mml:mo> <mml:mo>=</mml:mo> <mml:msup> <mml:mi>T</mml:mi> <mml:mn>2</mml:mn> </mml:msup> <mml:mo>-</mml:mo> <mml:mn>2</mml:mn> <mml:msub> <mml:mi>s</mml:mi> <mml:mn>0</mml:mn> </mml:msub> <mml:mi>T</mml:mi> <mml:mo>+</mml:mo> <mml:msup> <mml:mrow> <mml:mo>|</mml:mo> <mml:mi>s</mml:mi> <mml:mo>|</mml:mo> </mml:mrow> <mml:mn>2</mml:mn> </mml:msup> </mml:mrow> </mml:math> , where $$s\in {\mathbb {R}}^{n+1}$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>s</mml:mi> <mml:mo>∈</mml:mo> <mml:msup> <mml:mrow> <mml:mi>R</mml:mi> </mml:mrow> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:msup> </mml:mrow> </mml:math> is a paravector, i.e., it is of the form $$s=s_0+s_1e_1+\cdots +s_ne_n$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>s</mml:mi> <mml:mo>=</mml:mo> <mml:msub> <mml:mi>s</mml:mi> <mml:mn>0</mml:mn> </mml:msub> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>s</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:msub> <mml:mi>e</mml:mi> <mml:mn>1</mml:mn> </mml:msub> <mml:mo>+</mml:mo> <mml:mo>⋯</mml:mo> <mml:mo>+</mml:mo> <mml:msub> <mml:mi>s</mml:mi> <mml:mi>n</mml:mi> </mml:msub> <mml:msub> <mml:mi>e</mml:mi> <mml:mi>n</mml:mi> </mml:msub> </mml:mrow> </mml:math> . This spectral problem is substantially different from the complex one, since it allows to associate general boundary conditions to <jats:tex-