Series Solution to Quasi-Geostrophic (QG) Equation

Xiaoyun Liu

Table of Contents

QG Equation

Lu(h2+2p2)u=fxΩu=gxΩ\begin{aligned} \mathcal{L}u &\equiv \left( \nabla^2_h + \frac{\partial^2}{\partial p^2} \right) u = f \quad x \in \Omega \\ u &= g \quad x \in \partial\Omega \end{aligned}

where Laplacian in spherical coordinates (θ,ϕ)(\theta,\phi) (polar (colatitudinal), azimuthal (longitudinal)) is defined as:

h2=1r2sin2ϕ2θ2+1r2sinϕϕ ⁣(sinϕϕ)\nabla^2_h = \frac{1}{r^2 \sin^2 \phi} \frac{\partial^2}{\partial \theta^2} + \frac{1}{r^2 \sin \phi} \frac{\partial}{\partial \phi} \!\Bigl( \sin \phi \frac{\partial}{\partial \phi} \Bigr)

Note that θ=π/2Φ\theta = \pi/2 - \Phi and ϕ=λ\phi = \lambda, where (Φ,λ)(\Phi,\lambda) = (latitude, longitude).

Spherical Harmonic

The operator h2\nabla^2_h has eigenfunctions (Spherical Harmonic) satisfying:

h2Yl=λlYl\nabla^2_h Y_l = -\lambda_l Y_l

Assuming Y=Θ(θ)Φ(ϕ)Y = \Theta(\theta)\Phi(\phi) with 2π2\pi periodicity, we find λl=l(l+1)\lambda_l = l(l+1) for l=0,1,l=0,1,\cdots. For each ll:

d2Θdθ21Θ=m2,m=l,,land Φ(ϕ) satisfies the associated Legendre differential equation\begin{aligned} \frac{d^2\Theta}{d\theta^2}\frac{1}{\Theta} &= -m^2, \quad m=-l,\cdots,l \\ \text{and } \Phi(\phi) &\text{ satisfies the } \textit{associated Legendre differential equation} \end{aligned}

The normalized solutions are:

Ylm(θ,ϕ)=2l+14π(lm)!(l+m)!Plm(cosθ)eimϕY_l^m(\theta, \phi) = \sqrt{\frac{2l + 1}{4\pi} \frac{(l - m)!}{(l + m)!}} \, P_l^m(\cos \theta)\, e^{i m \phi}

with orthonormality:

Ylm,Ylmw=δm,mδl,l\langle Y_l^m,Y_{l'}^{m'} \rangle_w = \delta_{m,m'}\,\delta_{l,l'}

where the weighted inner product is:

f,gw[0,2π]×[0,π]fgˉsin(θ)dθdϕ\langle f,g \rangle_w \equiv \int_{[0,2\pi]\times[0,\pi]} f \, \bar{g} \,\sin(\theta)d\theta d\phi

Spectral Method

Expanding solutions:

u=l=0m=llAlm(p)Ylm(θ,ϕ)f=l=0m=llFlm(p)Ylm(θ,ϕ)where Flm(p)=f,YlmwYlm,Ylmw\begin{aligned} u &= \sum_{l=0}^\infty \sum_{m=-l}^l A_l^m(p)Y_l^m(\theta,\phi) \\ f &= \sum_{l=0}^\infty \sum_{m=-l}^l F_l^m(p)Y_l^m(\theta,\phi) \\ \text{where } F_l^m(p) &= \frac{\langle f,Y_l^m \rangle_w}{\langle Y_l^m,Y_l^m \rangle_w} \end{aligned}

Substituting into QG equation yields ODE system:

d2dp2Alm(p)l(l+1)Alm(p)=Flm(p)\frac{d^2}{dp^2} A_l^m(p) - l(l+1)A_l^m(p) = F_l^m(p)

with boundary conditions:

u=g=l=0m=llGlm(p)Ylm(θ,ϕ)xΩu = g = \sum_{l=0}^\infty \sum_{m=-l}^l G_l^m(p)Y_l^m(\theta,\phi) \quad x \in \partial \Omega

Remark

  1. Numerical implementation requires careful handling of inner product integrals
  2. Real-world QG equations involve scale factors in L\mathcal{L} and discrete spherical harmonic transforms
  3. This spectral approach converts PDEs into solvable ODE systems