Mathieu equation

Mathieu equation#

Strong form#

\[\begin{split} \begin{align*} &\text{Find}~u(\textbf{x}): \Omega \to \mathbb{R}~\text{such that} \\ &(\mathbb{EVP} | \mathbb{BVP})_u\begin{cases} -\nabla^2u + 2q\cos(\textbf{k}\cdot\textbf{x}) u = \lambda u & \forall\textbf{x}\in\Omega \\ u=u_{\text{D}} & \forall \textbf{x}\in\partial\Omega_{\text{D}} \\ \textbf{n}\cdot\nabla{u} = u_{\text{N}} & \forall\textbf{x}\in\partial\Omega_{\text{N}}=\partial\Omega/\partial\Omega_{\text{D}} \end{cases} \\ &\text{given} \\ &\mathbb{S}_u \begin{cases} \Omega\subset\mathbb{R}^d & \text{domain} \\ u_{\text{D}}(\textbf{x})~,~\partial\Omega_{\text{D}} & \text{Dirichlet boundary condition}\\ u_{\text{N}}(\textbf{x})~,~\partial\Omega_{\text{N}} & \text{Neumann boundary condition}\\ q(\textbf{x}) & \text{perturbation parameter}\\ \lambda\in\mathbb{C} & \text{eigenvalue parameter}\\ \end{cases} \end{align*} \end{split}\]

Weak form#

\[\begin{split} \begin{aligned} &\partial\Omega_{\text{N}}=\varnothing \implies \begin{array}{ll} \text{Find}~u\in V~\text{and}~\lambda\in\mathbb{C}~\text{such that}\\ a(u, v)=\lambda b(u,v) \quad\forall v\in V \\ \text{where }\\ a(u, v) = \int_\Omega\text{d}\Omega~\nabla v\cdot\nabla u + 2q\cos(\textbf{k}\cdot\textbf{x}) vu\\ b(u,v) = \int_\Omega\text{d}\Omega~vu \\ \end{array} \\ \\ &\partial\Omega_{\text{N}}\neq\varnothing \implies \begin{array}{ll} \text{Find}~u\in V~\text{such that}\\ F(u, v) = \dots \\ \forall v\in V \\ \end{array} \end{aligned} \end{split}\]