Curso Especializado • Eletromagnetismo Computacional (CEM) • Altas Frequências

Métodos Numéricos para Sistemas de Altas Frequências

A transição das equações analíticas de Maxwell para o universo computacional: formulações FDTD, FEM, MoM, FIT e EME, articulando o ecossistema EPDA de Fotônica Integrada (AgentePH / Smart-PSoC) e as suítes industriais de alta frequência e RF (HFSS, CST, ADS Momentum, OpenEMS).

Docente: Prof. Marcelo Eduardo Vieira Segatto, Ph.D.
Laboratórios: LabTel / IN-FOTON • DEE / UFES
Consórcio Associado: Smart-PSoC (UFES, HIT Shenzhen, Trento, IST Lisboa)

1. O Colapso das Soluções Analíticas Fechadas

Por que a aproximação analítica pura é insuficiente no projeto moderno de RF e nanofotônica

Nos módulos anteriores, deduzimos soluções analíticas exatas para geometrias de simetria perfeita: ondas planas em meios homogêneos infinitos, reflexão em interfaces planares perfeitas, modos TEM em linhas coaxiais ideais e modos $\text{TE}/\text{TM}$ em guias retangulares e circulares ocos. Nestes cenários ideais, as equações diferenciais parciais de Maxwell são separáveis em sistemas de coordenadas cartesianas ou cilíndricas.

No entanto, no projeto contemporâneo de circuitos integrados fotônicos (PICs) e dispositivos de RF e micro-ondas (5G/6G, radares, transceptores satelitais), as estruturas violam frontalmente essas hipóteses simplificadoras:

Os Quatro Fatores de Colapso Analítico

  • Geometrias Tridimensionais Arbitrárias: Tapers adiabáticos não-lineares, transições de guias de onda, junções em T assimétricas, curvas em S e cantos chanfrados em linhas de microfita impedem a separação de variáveis.
  • Inomogeneidade de Meios e Interfaces Dieétricas: Em circuitos integrados de silício (SOI), o núcleo de silício ($n_{\text{Si}} \approx 3{,}47$) possui apenas $220\text{ nm}$ de espessura sobre uma camada de óxido de silício ($n_{\text{SiO}_2} \approx 1{,}44$), com cladding superior em ar ou polímeros, gerando confinamento óptico vetorial com forte descontinuidade normal do campo elétrico $\varepsilon_1 E_{1n} = \varepsilon_2 E_{2n}$.
  • Dispersão Cromática e Materiais Não-Ideais: Metais reais em RF e ópticos apresentam condutividade finita, efeito pelicular e respostas plasmônicas descritas por modelos dispersivos complexos no domínio da frequência (Drude, Lorentz, Debye): $\varepsilon_r(\omega) = \varepsilon_\infty + \sum_p \frac{\Delta\varepsilon_p \omega_p^2}{\omega_p^2 - \omega^2 + j\omega\gamma_p}$.
  • Dimensões na Escala do Comprimento de Onda ($\lambda$): O regime de parâmetros concentrados de Kirchhoff colapsa ($l \sim \lambda$), e o regime da óptica geométrica de traçado de raios ($l \gg \lambda$) é inválido. Torna-se imperativo resolver as Equações Vetoriais Completas de Maxwell (*Full-Wave Maxwell Equations*).

2. Taxonomia dos Métodos de Eletromagnetismo Computacional (CEM)

A matemática, o domínio de discretização e a aplicabilidade das formulações canônicas

Tempo • Diferencial Complexidade: O(N)

🌊 FDTD (Diferenças Finitas no Tempo)

Discretização direta têmporo-espacial explícita das equações de rotacional de Maxwell em malhas escalonadas cartesianas (*Yee Cell*).

  • Domínio: Tempo ($t$) e espaço cartesiano ($x,y,z$).
  • Vantagem: Uma única simulação com pulso ultracurto gera a resposta espectral contínua $S(\omega)$ por FFT.
  • Desafio: Malhas em degrau (*staircasing*) em geometrias curvas e restrição temporal CFL.
Softwares: PyMeep, CST Transient, OpenEMS, Lumerical FDTD.
Frequência • Variacional Complexidade: O(N·log N)

📐 FEM (Elementos Finitos)

Formulação variacional fraca da equação vetorial de Helmholtz com elementos não-estruturados (triângulos/tetraedros) e funções de base de aresta (Nédélec).

  • Domínio: Frequência harmônica ($\omega$).
  • Vantagem: Conformidade perfeita a interfaces curvas e cálculo de auto-modos ($n_{\text{eff}}$ e perdas).
  • Desafio: Requer solução de grandes sistemas lineares esparsos para cada frequência.
Softwares: Ansys HFSS, Femwell, COMSOL Multiphysics.
Frequência • Integral Complexidade: O(N²) / O(N·log N)

📡 MoM / BEM (Método dos Momentos)

Formulação em equações integrais de contorno (EFIE/MFIE) discretizando apenas as superfícies condutoras através de funções de base de Rao-Wilton-Glisson (RWG).

  • Domínio: Superfícies condutoras ($2\text{D}$) em espaço livre.
  • Vantagem: Não discretiza o volume de ar; ideal para antenas e espalhamento de radar (RCS).
  • Desafio: Matrizes de impedância cheias (densas), exigindo algoritmos MLFMA para grandes problemas.
Softwares: Keysight Momentum, FEKO, Sonnet Software.
Tempo/Freq • Integral Complexidade: O(N)

🔲 FIT (Integração Finita)

Discretização exata das leis integrais de Maxwell em malhas primária e dual ortogonais, gerando as Equações de Grade de Maxwell (MGE).

  • Domínio: Tempo e frequência algébrica.
  • Vantagem: Conservação analítica rigorosa de carga e energia no espaço discreto.
  • Desafio: Similar ao FDTD na geração de malhas cartesianas conformalmente adaptadas.
Softwares: CST Studio Suite (Transient Solver).
Modal • Bidirecional Complexidade: O(M³·Z)

⚡ EME (Expansão de Auto-Modos)

Decomposição modal do campo ao longo de seções longitudinais invariantes acopladas por matrizes de espalhamento bidirecionais.

  • Domínio: Espaço longitudinal ($z$) em guias ópticos.
  • Vantagem: Custo de cálculo independe do comprimento $L$; ideal para tapers longos e MMIs.
  • Desafio: Requer convergência com número de modos e é restrito a geometrias de guia.
Softwares: MEOW (Python), Fimmwave, Lumerical EME.

3. Formulação Matemática Rigorosa do FDTD & A Célula de Yee

A discretização canônica têmporo-espacial das Equações de Maxwell no domínio do tempo

Para um meio linear, isotrópico e não-dispersivo, caracterizado por permissividade elétrica $\varepsilon(\mathbf{r})$, permeabilidade magnética $\mu(\mathbf{r})$, condutividade elétrica ôhmica $\sigma(\mathbf{r})$ e condutividade magnética fictícia $\sigma^*(\mathbf{r})$, as leis rotacionais de Maxwell no domínio do tempo escrevem-se:

$$\frac{\partial \mathbf{H}}{\partial t} = -\frac{1}{\mu} \nabla \times \mathbf{E} - \frac{\sigma^*}{\mu} \mathbf{H}$$ $$\frac{\partial \mathbf{E}}{\partial t} = \frac{1}{\varepsilon} \nabla \times \mathbf{H} - \frac{\sigma}{\varepsilon} \mathbf{E}$$

Projetando em coordenadas cartesianas $(x, y, z)$, obtém-se o sistema fundamental de seis equações diferenciais parciais de primeira ordem acopladas:

$$\begin{aligned} \frac{\partial H_x}{\partial t} &= \frac{1}{\mu} \left( \frac{\partial E_y}{\partial z} - \frac{\partial E_z}{\partial y} - \sigma^* H_x \right), & \quad \frac{\partial E_x}{\partial t} &= \frac{1}{\varepsilon} \left( \frac{\partial H_z}{\partial y} - \frac{\partial H_y}{\partial z} - \sigma E_x \right) \\ \frac{\partial H_y}{\partial t} &= \frac{1}{\mu} \left( \frac{\partial E_z}{\partial x} - \frac{\partial E_x}{\partial z} - \sigma^* H_y \right), & \quad \frac{\partial E_y}{\partial t} &= \frac{1}{\varepsilon} \left( \frac{\partial H_x}{\partial z} - \frac{\partial H_z}{\partial x} - \sigma E_y \right) \\ \frac{\partial H_z}{\partial t} &= \frac{1}{\mu} \left( \frac{\partial E_x}{\partial y} - \frac{\partial E_y}{\partial x} - \sigma^* H_z \right), & \quad \frac{\partial E_z}{\partial t} &= \frac{1}{\varepsilon} \left( \frac{\partial H_y}{\partial x} - \frac{\partial H_x}{\partial y} - \sigma E_z \right) \end{aligned}$$

3.1 Expansão em Série de Taylor e Erro de Truncamento $\mathcal{O}(\Delta x^2, \Delta t^2)$

A pedra fundamental da precisão do FDTD reside na escolha das diferenças finitas centrais. Expandindo uma função contínua e suave $f(x)$ em série de Taylor em torno do ponto $x_0$ com deslocamentos simétricos $\pm \Delta x / 2$:

$$f\left(x_0 + \frac{\Delta x}{2}\right) = f(x_0) + \frac{\Delta x}{2} f'(x_0) + \frac{1}{2!} \left(\frac{\Delta x}{2}\right)^2 f''(x_0) + \frac{1}{3!} \left(\frac{\Delta x}{2}\right)^3 f'''(x_0) + \mathcal{O}(\Delta x^4)$$ $$f\left(x_0 - \frac{\Delta x}{2}\right) = f(x_0) - \frac{\Delta x}{2} f'(x_0) + \frac{1}{2!} \left(\frac{\Delta x}{2}\right)^2 f''(x_0) - \frac{1}{3!} \left(\frac{\Delta x}{2}\right)^3 f'''(x_0) + \mathcal{O}(\Delta x^4)$$

Subtraindo membro a membro a segunda equação da primeira, todas as derivadas de ordem par ($f'', f^{(4)}, \dots$) cancelam-se com rigor algébrico absoluto:

$$f\left(x_0 + \frac{\Delta x}{2}\right) - f\left(x_0 - \frac{\Delta x}{2}\right) = \Delta x \, f'(x_0) + \frac{\Delta x^3}{24} f'''(x_0) + \mathcal{O}(\Delta x^5)$$

Dividindo por $\Delta x$, isolamos o operador de derivada primeira central:

$$\left. \frac{\partial f}{\partial x} \right|_{x_0} = \frac{f\left(x_0 + \frac{\Delta x}{2}\right) - f\left(x_0 - \frac{\Delta x}{2}\right)}{\Delta x} - \frac{\Delta x^2}{24} f'''(x_0) + \mathcal{O}(\Delta x^4) = \frac{f\left(x_0 + \frac{\Delta x}{2}\right) - f\left(x_0 - \frac{\Delta x}{2}\right)}{\Delta x} + \mathcal{O}(\Delta x^2)$$
Convergência Quadrática: Em contraste com aproximações avançadas (forward) ou atrasadas (backward) que carregam erro de primeira ordem $\mathcal{O}(\Delta x)$, o operador central possui convergência de segunda ordem. Reduzir a célula de malha à metade ($\Delta x \to \Delta x / 2$) diminui o erro local de truncamento por um fator de quatro ($4\times$).

3.2 A Célula Tridimensional de Yee (1966) & O Algoritmo Explícito Leap-Frog

No artigo seminal de 1966, Kane S. Yee propôs uma estrutura geométrica de entrelaçamento mútuo que satisfaz naturalmente as leis integrais de Faraday e Ampère-Maxwell:

  • Escalonamento Espacial: Os componentes do campo elétrico ($E_x, E_y, E_z$) residem no ponto médio das arestas do paralelepípedo $\Delta x \times \Delta y \times \Delta z$. Os componentes magnéticos ($H_x, H_y, H_z$) atravessam perpendicularmente o centro das faces. Assim, toda linha de corrente de deslocamento elétrico é abraçada por quatro componentes magnéticos em anel, e toda variação de fluxo magnético é abraçada por quatro componentes elétricos circundantes.
  • Escalonamento Temporal (Leap-Frog): Os campos elétricos são computados nos instantes inteiros $t = n \Delta t$, enquanto os campos magnéticos são intercalados nos instantes semi-inteiros $t = (n + 1/2) \Delta t$.

Para meios com perdas ôhmicas ($\sigma \ne 0$), o termo dissipativo $\sigma E$ em $t = (n+1/2)\Delta t$ é aproximado pela média semi-implícita temporal:

$$\left. E \right|^{n+1/2} \approx \frac{E^{n+1} + E^n}{2}$$

Substituindo na equação rotacional unidimensional ($E_z - H_y$ propagando em $x$), obtemos as equações de atualização algébrica explícitas:

$$E_z^{n+1}(k) = C_a(k) \, E_z^n(k) + C_b(k) \left[ H_y^{n+1/2}\left(k+\frac{1}{2}\right) - H_y^{n+1/2}\left(k-\frac{1}{2}\right) \right]$$ $$H_y^{n+1/2}\left(k+\frac{1}{2}\right) = D_a\left(k+\frac{1}{2}\right) H_y^{n-1/2}\left(k+\frac{1}{2}\right) + D_b\left(k+\frac{1}{2}\right) \left[ E_z^n(k+1) - E_z^n(k) \right]$$

com coeficientes analíticos de atualização:

$$C_a(k) = \frac{1 - \frac{\sigma(k)\Delta t}{2\varepsilon(k)}}{1 + \frac{\sigma(k)\Delta t}{2\varepsilon(k)}}, \quad C_b(k) = \frac{\frac{\Delta t}{\varepsilon(k)\Delta x}}{1 + \frac{\sigma(k)\Delta t}{2\varepsilon(k)}}, \quad D_a = \frac{1 - \frac{\sigma^*\Delta t}{2\mu}}{1 + \frac{\sigma^*\Delta t}{2\mu}}, \quad D_b = \frac{\frac{\Delta t}{\mu\Delta x}}{1 + \frac{\sigma^*\Delta t}{2\mu}}$$
Custo Computacional $\mathcal{O}(N)$ e Paralelismo em GPU: Note que o avanço temporal é estritamente explícito. Cada nó espacial é atualizado acessando apenas seus vizinhos imediatos e seu próprio estado anterior. Nenhuma matriz precisa ser invertida, garantindo consumo de memória estritamente linear $\mathcal{O}(N)$ e escalabilidade quase perfeita em clusters MPI e placas aceleradoras GPU (NVIDIA CUDA / PyMeep).

3.3 Análise Formal de Estabilidade de von Neumann & Critério CFL

Por ser um esquema explícito, o FDTD é condicionalmente estável. Se o passo temporal $\Delta t$ exceder o tempo físico que a onda eletromagnética leva para transitar entre células adjacentes, os erros de arredondamento de ponto flutuante sofrem amplificação geométrica exponencial, levando a simulação a estourar para $\pm \infty$ em poucos passos.

Pela análise de estabilidade de von Neumann, expande-se o campo em uma superposição de modos de Fourier espacial:

$$E^n(i, j, k) = E_0 \, g^n \, e^{-j (k_x i \Delta x + k_y j \Delta y + k_z k \Delta z)}$$

onde $g = e^{j\omega \Delta t}$ é o fator de crescimento temporal e $\mathbf{k} = (k_x, k_y, k_z)$ é o vetor de onda espacial. A condição estrita de não-divergência exige:

$$|g| \le 1 \quad \forall \, (k_x, k_y, k_z)$$

Substituindo a expansão de autofunções nas equações de diferenças de Yee em 3D sem perdas, decorre a relação de dispersão numérica:

$$\sin^2\left(\frac{\omega \Delta t}{2}\right) = c^2 \Delta t^2 \left[ \frac{1}{\Delta x^2} \sin^2\left(\frac{k_x \Delta x}{2}\right) + \frac{1}{\Delta y^2} \sin^2\left(\frac{k_y \Delta y}{2}\right) + \frac{1}{\Delta z^2} \sin^2\left(\frac{k_z \Delta z}{2}\right) \right]$$

Para que a frequência temporal $\omega$ permaneça puramente real (impedindo raízes complexas de $g$ com módulo maior que $1$), o lado direito deve ser menor ou igual a $1$ para todas as frequências espaciais possíveis. A condição mais restritiva ocorre no limite de Nyquist espacial ($k_x \Delta x = k_y \Delta y = k_z \Delta z = \pi$), onde $\sin^2(\pi/2) = 1$:

$$c^2 \Delta t^2 \left[ \frac{1}{\Delta x^2} + \frac{1}{\Delta y^2} + \frac{1}{\Delta z^2} \right] \le 1$$

Isolando o passo de tempo máximo permissível, chegamos ao universal Critério de Estabilidade de Courant-Friedrichs-Lewy (CFL):

$$\Delta t \le \frac{1}{c_{\text{máx}} \sqrt{\frac{1}{\Delta x^2} + \frac{1}{\Delta y^2} + \frac{1}{\Delta z^2}}}$$
FDTD 1D
$$\Delta t \le \frac{\Delta x}{c}$$
$S_c \le 1{,}000$
FDTD 2D Cúbico
$$\Delta t \le \frac{\Delta}{c \sqrt{2}} \approx 0{,}707 \frac{\Delta}{c}$$
Propagação na diagonal 2D
FDTD 3D Cúbico
$$\Delta t \le \frac{\Delta}{c \sqrt{3}} \approx 0{,}577 \frac{\Delta}{c}$$
Diagonal espacial do paralelepípedo

3.4 Dispersão Numérica, Anisotropia de Grade & A Regra de Amostragem Espacial

No meio físico contínuo e sem perdas, todas as componentes espectrais propagam-se com velocidade de fase constante $v_p = \omega / k_0 = c$. Na grade discreta de Yee, a aproximação diferencial introduz uma dispersão numérica não-física: ondas de alta frequência viajam a velocidades ligeiramente inferiores a $c$, acumulando erro de fase artificial com a distância de propagação.

$$\left[ \frac{1}{c \Delta t} \sin\left(\frac{\omega \Delta t}{2}\right) \right]^2 = \left[ \frac{1}{\Delta x} \sin\left(\frac{\tilde{k}_x \Delta x}{2}\right) \right]^2 + \left[ \frac{1}{\Delta y} \sin\left(\frac{\tilde{k}_y \Delta y}{2}\right) \right]^2 + \left[ \frac{1}{\Delta z} \sin\left(\frac{\tilde{k}_z \Delta z}{2}\right) \right]^2$$

A Regra de Ouro da Discretização Espacial

Para garantir que o erro cumulativo de fase permaneça inferior a $1^\circ$ ao longo de dezenas de comprimentos de onda, a malha espacial deve resolver rigorosamente o menor comprimento de onda dielétrico do domínio de simulação:

$$\Delta x \le \frac{\lambda_{\text{mín}}}{10 \cdot n_{\text{máx}}} \quad \text{a} \quad \frac{\lambda_{\text{mín}}}{20 \cdot n_{\text{máx}}}$$

Exemplo Prático: Em circuitos fotônicos de silício SOI em $\lambda_0 = 1550\text{ nm}$ ($n_{\text{Si}} \approx 3{,}47$), o comprimento de onda no silício é $\lambda_{\text{Si}} \approx 446\text{ nm}$. Uma discretização com $20$ pontos por comprimento de onda exige $\Delta x \approx 20\text{ nm}$ (ou $10\text{ nm}$ para interfaces críticas de gap e acopladores).

4. Condições de Contorno Absorventes & Teoria Profunda da PML

A matemática da anulação de reflexões na fronteira computacional: de Mur (1981) à CFS-CPML (2000)

Em simulações de antenas, espalhamento por alvos de radar e radiação em curvas de guias ópticos, o domínio físico estende-se indefinidamente até o infinito espacial. Como a capacidade de memória do computador é finita, o espaço de cálculo precisa ser bruscamente truncado.

O Falso Truncamento por PEC

Se a grade for truncada por uma condição ingênua de Condutor Elétrico Perfeito (PEC, $\mathbf{E}_{\text{tangencial}} = 0$), o contorno atua como um espelho refletor com coeficiente de reflexão $\Gamma = -1$ ($100\%$ de energia refletida). As ondas espúrias rebatem no domínio, destruindo qualquer medição de impedância, diagrama de radiação ou espectro de transmissão.

4.1 O Operador Absorvente de Gerrit Mur (1981) & Seu Limite Angular

Em 1981, Gerrit Mur propôs uma condição de contorno absorvente analítica (ABC) baseada na fatoração da equação de onda escalar unidimensional de d'Alembert:

$$\left( \frac{\partial^2}{\partial x^2} - \frac{1}{c^2} \frac{\partial^2}{\partial t^2} \right) E = \left( \frac{\partial}{\partial x} - \frac{1}{c} \frac{\partial}{\partial t} \right) \left( \frac{\partial}{\partial x} + \frac{1}{c} \frac{\partial}{\partial t} \right) E = 0$$

O operador diferencial $\left(\frac{\partial}{\partial x} - \frac{1}{c}\frac{\partial}{\partial t}\right) E = 0$ anula perfeitamente ondas que se propagam para a esquerda em $-x$. Discretizando em diferenças finitas centrais em torno do ponto intermediário $(1/2, n+1/2)$, deduz-se o Operador Absorvente de Mur de 1ª Ordem na borda $x = 0$:

$$E_z^{n+1}(0) = E_z^n(1) + \frac{c\Delta t - \Delta x}{c\Delta t + \Delta x} \left[ E_z^{n+1}(1) - E_z^n(0) \right]$$
A Falha Crítica em Ângulos Oblíquos: Embora elegante em 1D (onde atinge absorção perfeita se $c\Delta t = \Delta x$), o operador de Mur assume incidência estritamente perpendicular ($\theta = 0^\circ$). Em problemas bidimensionais e tridimensionais, ondas que colidem com a borda em ângulos oblíquos ($\theta > 30^\circ$) ou tangenciais sofrem forte reflexão espúria (coeficiente de reflexão que salta de $-30\text{ dB}$ para mais de $-5\text{ dB}$), inviabilizando simulações de alta precisão.

4.2 A Revolução da PML de Campos Divididos de Jean-Pierre Bérenger (1994)

Em 1994, o físico francês Jean-Pierre Bérenger publicou uma descoberta seminal: a Camada Perfeitamente Casada (PML - Perfectly Matched Layer). Em vez de impor uma equação diferencial na superfície de corte, envolve-se a malha computacional com uma casca absorvente de espessura finita $d$ preenchida por um meio fictício com perdas elétricas $\sigma_x$ e magnéticas $\sigma^*_x$.

A impedância característica de onda na PML para incidência normal é dada por:

$$\eta_{\text{PML}} = \sqrt{\frac{\mu_0 \left(1 + \frac{\sigma^*_x}{j\omega \mu_0}\right)}{\varepsilon_0 \left(1 + \frac{\sigma_x}{j\omega \varepsilon_0}\right)}}$$

Para que essa impedância seja rigorosamente idêntica à do espaço livre ($\eta_{\text{PML}} \equiv \eta_0 = \sqrt{\mu_0/\varepsilon_0}$) em todas as frequências $\omega$ e impeça qualquer descontinuidade de casamento, estabelece-se a Condição Fundamental de Berenger:

$$\frac{\sigma^*_x}{\mu_0} = \frac{\sigma_x}{\varepsilon_0}$$

Para assegurar absorção não-refletiva em qualquer ângulo de incidência oblíquo $\theta$, Berenger introduziu a divisão não-física dos campos rotacionais (field-splitting). O campo elétrico $E_z$, por exemplo, é cindido em duas subcomponentes $E_z = E_{zx} + E_{zy}$:

$$\varepsilon_0 \frac{\partial E_{zx}}{\partial t} + \sigma_x E_{zx} = \frac{\partial H_y}{\partial x}, \qquad \varepsilon_0 \frac{\partial E_{zy}}{\partial t} + \sigma_y E_{zy} = -\frac{\partial H_x}{\partial y}$$
Reflexão Analítica Nula para Qualquer Ângulo: No meio contínuo de Berenger, o coeficiente de reflexão na interface vácuo-PML é matematicamente zero para qualquer ângulo de incidência: $$R(\theta) \equiv 0 \quad \forall \, \theta \in [0, \pi/2)$$ Ao penetrar na camada de espessura $d$, a onda dissipa-se exponencialmente. Ao atingir o fundo de PEC e retornar, a reflexão teórica residual de ida e volta é: $$R_{\text{teórico}}(\theta) = \exp\left( -2 \frac{\cos\theta}{\varepsilon_0 c} \int_0^d \sigma_x(x) \, dx \right)$$

4.3 PML Uniaxial (UPML) & O Estiramento Métrico no Plano Complexo

Apesar do sucesso de Berenger, a divisão de campos quebrava a estrutura vetorial padrão de Maxwell e não satisfazia as equações de Gauss ($\nabla \cdot \mathbf{D} \ne 0$). Para sanar isso, Sacks et al. (1995) e Stephen Gedney (1996) formularam a UPML (Uniaxial PML), tratando a PML como um meio anisotrópico uniaxil real que preserva o formalismo vetorial canônico:

$$\nabla \times \mathbf{E} = -j\omega \mu_0 [\mathbf{s}] \mathbf{H}, \qquad \nabla \times \mathbf{H} = j\omega \varepsilon_0 [\mathbf{s}] \mathbf{E}$$

onde $[\mathbf{s}]$ é o tensor constitutivo diagonal obtido por estiramento analítico no espaço complexo (complex coordinate stretching) $\tilde{x} = \int s_x(x') dx'$:

$$[\mathbf{s}] = \begin{bmatrix} s_x^{-1} s_y s_z & 0 & 0 \\ 0 & s_x s_y^{-1} s_z & 0 \\ 0 & 0 & s_x s_y s_z^{-1} \end{bmatrix}, \quad \text{com } s_w(w) = 1 + \frac{\sigma_w(w)}{j\omega \varepsilon_0}, \quad w \in \{x, y, z\}$$

A UPML permite programar a camada absorvente utilizando a mesma rotina de cálculo de materiais dielétricos/magnéticos anisotrópicos, preservando a elegância do algoritmo FDTD.

4.4 CFS-CPML: PML Convolucional com Deslocamento Complexo de Frequência

Tanto a PML de Berenger quanto a UPML clássica apresentam uma limitação crítica: elas falham na absorção de ondas puramente evanescentes e geram instabilidades numéricas tardias (late-time instabilities) em simulações longas de cavidades ou antenas.

Para solucionar definitivamente essa deficiência, Kuzuoglu & Mittra (1996) e Roden & Gedney (2000) propuseram o estiramento com Deslocamento Complexo de Frequência (CFS - Complex Frequency Shifted):

$$s_w(w) = \kappa_w(w) + \frac{\sigma_w(w)}{\alpha_w(w) + j\omega \varepsilon_0}$$
  • $\sigma_w(w) \ge 0$: atenua as ondas eletromagnéticas propagantes em alta frequência;
  • $\kappa_w(w) \ge 1$: fator de escala real que reduz o comprimento de onda aparente e dissipa ondas com incidência quase rasante ($\theta \to 90^\circ$);
  • $\alpha_w(w) \ge 0$: afasta o pólo do eixo imaginário, permitindo que modos evanescentes e componentes quasi-estáticas de baixa frequência sofram atenuação controlada sem reflexões artificiais.

A técnica CPML (Convolutional PML) aplica a transformada inversa de Laplace a $1/s_w(\omega)$, convertendo o produto de frequências em uma convolução recursiva temporal:

$$\frac{1}{s_w(t)} = \frac{1}{\kappa_w} \delta(t) + \zeta_w(t), \quad \zeta_w(t) = -\frac{\sigma_w}{\varepsilon_0 \kappa_w^2} \exp\left[ -\left(\frac{\sigma_w}{\varepsilon_0 \kappa_w} + \frac{\alpha_w}{\varepsilon_0}\right) t \right] u(t)$$
Eficiência de Memória da Convolução Recursiva: Como a resposta impulsiva $\zeta_w(t)$ é uma exponencial decrescente simples, o somatório da convolução é avaliado recursivamente com uma única variável auxiliar escalar por célula de aresta ($\Psi$): $$\Psi^n = b_w \Psi^{n-1} + a_w \left( \frac{\partial E}{\partial w} \right)^n$$ com $b_w = \exp\left[-\left(\frac{\sigma_w}{\varepsilon_0 \kappa_w} + \frac{\alpha_w}{\varepsilon_0}\right)\Delta t\right]$. Isso elimina completamente a necessidade de armazenar o histórico temporal passado da simulação.

4.5 Gradação Polinomial de Condutividade & Dimensionamento Ótimo

Na grade discreta FDTD, se a condutividade $\sigma$ saltasse abruptamente de zero no vácuo para um valor elevado no primeiro nó da PML, a descontinuidade numérica geraria uma reflexão espúria de passo finito de cerca de $-30\text{ dB}$.

Para garantir supressão de reflexões na faixa de $-90\text{ dB}$ a $-120\text{ dB}$, os parâmetros da CFS-PML são suavemente modulados com a profundidade espacial $x \in [0, d]$ segundo um perfil polinomial de ordem $m \in [3, 4]$:

$$\sigma_w(x) = \sigma_{\text{máx}} \left(\frac{x}{d}\right)^m, \quad \kappa_w(x) = 1 + (\kappa_{\text{máx}} - 1) \left(\frac{x}{d}\right)^m, \quad \alpha_w(x) = \alpha_{\text{máx}} \left(1 - \frac{x}{d}\right)$$

A condutividade ótima de pico $\sigma_{\text{máx}}$ é calculada em forma analítica fechada para atingir a reflexão geométrica de projeto $R_0$ (tipicamente $10^{-4}$ a $10^{-6}$):

$$\sigma_{\text{máx}} = -\frac{(m + 1) \, \varepsilon_0 c \ln(R_0)}{2 d}$$

Em simulações nanométricas de fotônica integrada (PyMeep / Lumerical), adota-se comumente uma espessura de camada entre $10$ e $16$ células Yee ($d \approx 10\Delta x$ a $16\Delta x$) com perfil quártico ($m = 4$), assegurando supressão quase total de ecos espúrios.

Laboratório Interativo Dedicado

Experimente o FDTD 1D no Navegador em Tempo Real

Acesse o simulador visual em tempo real com controle de parâmetros de Courant ($S_c$), fontes gaussianas/harmônicas, barreira dielétrica e alternância entre contornos Absorvente (Mur) e Condutor Elétrico Perfeito (PEC).

↗ Abrir Laboratório FDTD 1D →

5. O Ecossistema EPDA de Fotônica Integrada (AgentePH / Smart-PSoC)

A cadeia de automação de projeto fotônico do nível físico aos chips de silício (PICs)

O consórcio científico internacional Smart-PSoC (UFES/LabTel, Harbin Institute of Technology Shenzhen, Universidade de Trento e Instituto Superior Técnico de Lisboa) emprega uma metodologia rigorosa de automação de projeto eletro-fotônico (*Electronic-Photonic Design Automation - EPDA*). A cadeia de simulação conecta cinco níveis hierárquicos:

1. Nível Físico FDTD: PyMeep (MIT)

Motor FDTD vetorial 2D/3D em Python com paralelismo MPI. Utilizado para modelagem de guias em silício ($220\text{ nm}$ SOI), cálculo de perdas por curvatura, acoplamento óptico evanescente, espalhamento e seções de choque com materiais de Drude-Lorentz e camadas PML.

2. Bandas Fotônicas: MPB (MIT)

Solucionador em auto-estados no domínio da frequência para estruturas periódicas (ondas de Bloch-Floquet). Essencial para calcular os diagramas de dispersão $\omega(k)$ e os bandgaps de metamateriais ópticos de subcomprimento (*Subwavelength Gratings - SWG*).

3. Solução Modal FEM: Femwell

Resolvedor modal 2D por Elementos Finitos (FEM) em Python. Extrai com alta precisão o índice efetivo ($n_{\text{eff}}$), birrefringência modal ($\Delta n_{\text{eff}} = n_{\text{TE}} - n_{\text{TM}}$), fator de confinamento óptico no analito ($\Gamma$) e dispersão cromática em guias ridge e slot.

4. Expansão Modal EME: MEOW

Solucionador EME (*Mode Expansion by Open Waveguides*) em Python para tapers adiabáticos longos e conversores de modo (*spot-size converters*). Reduz o tempo de simulação de horas (no FDTD) para poucos segundos.

5. Circuital [S]: SAX & Simphony

Simulação de circuitos fotônicos complexos conectando matrizes $[S]$ individuais. Escrito em JAX (Google), o SAX oferece diferenciação automática total para otimização inversa de sensores interferométricos BiMW-DTP e anéis ressonadores.

6. Layout GDSII: gdsfactory & KLayout

Geração paramétrica em Python de layouts físicos no formato industrial OASIS/GDSII. Integração com PDKs comerciais (CUMEC, SiEPIC, ANT) e checagem de regras de design de nanofabricação (DRC).

6. Softwares Industriais de Altas Frequências e RF

A engenharia de micro-ondas em ação: comparação técnica dos líderes comerciais e soluções abertas

Ansys HFSS

FEM 3D Frequencial

O padrão de referência global para projetos de micro-ondas de precisão extrema. Opera por meio de um processo patenteado de Refinamento Adaptativo de Malha: a cada iteração, os erros locais são estimados e novos tetraedros são inseridos automaticamente nas regiões de maior gradiente de campo até que a variação do parâmetro $S$ satisfaça $\Delta S < 0{,}01$.

Aplicações Primárias: Portas de onda (*Wave Ports*) des-embutidas, acoplamento de trilhas em PCBs multicamadas de alta velocidade, antenas de microfita, filtros de cavidade coaxial e guias metálicos.

CST Studio Suite

FIT / FDTD no Tempo

Líder absoluto em simulação transitória em banda ultra-larga através de seu renomado Transient Solver (baseado na Técnica de Integração Finita). O custo computacional linear $O(N)$ permite simular estruturas fisicamente imensas contendo centenas de comprimentos de onda elétricos.

Aplicações Primárias: Antenas instaladas em aeronaves e veículos inteiros, compatibilidade eletromagnética (EMC/EMI), descargas atmosféricas (Lightning), pulsos de radar UWB e taxa de absorção biológica (SAR).

Keysight ADS & Momentum

MoM 2.5D Planar

A suíte padrão de projeto de módulos e chips de RF. O simulador eletromagnético Momentum baseia-se no Método dos Momentos para estruturas dielétricas multicamadas estratificadas. Resolve apenas as correntes de superfície nas fitas condutoras, ligando-se em co-simulação direta ao simulador de circuitos não-lineares (*Harmonic Balance*).

Aplicações Primárias: Linhas de microfita, divisores de Wilkinson planares, filtros interdigitais, amplificadores de potência (PA) e casamento de impedâncias em MMICs e RFICs.

OpenEMS & scikit-rf

FDTD • Python Open-Source

O ecossistema aberto de maior impacto na engenharia de RF moderna. O OpenEMS oferece um motor 3D FDTD completo com suporte a malhas graduadas cartesianas e cilíndricas. Já a biblioteca scikit-rf (skrf) é o instrumento padrão em Python para análise de dados experimentais de analisadores de redes vetoriais (VNA).

Aplicações Primárias: Leitura e calibração de arquivos Touchstone (`.s2p`), des-embedding TRL/SOLT, conversão entre matrizes $[ABCD] \leftrightarrow [S] \leftrightarrow [Z]$, e simulação aberta de antenas.

7. Laboratório Interativo: Seletor e Comparador de Métodos Computacionais

Determine a técnica computacional ideal, complexidade algorítmica e malha física para qualquer problema real

🧠 Seletor Inteligente de Métodos & Renderizador de Malhas Diagnóstico Assistido por IA de CEM
Selecione uma aplicação de engenharia para inspecionar a formulação recomendada, a complexidade assintótica de memória e tempo, os softwares indicados e a representação gráfica da malha discreta.
MoM / BEM Planar Complexidade: O(N²)

Método dos Momentos (MoM 2.5D)

A antena patch possui correntes concentradas exclusivamente na fina lâmina condutora do topo e no plano de terra. O MoM discretiza apenas o metal através de triângulos RWG, dispensando a discretização volumétrica do substrato e do ar circundante.

Softwares Recomendados:
Keysight Momentum, Ansys HFSS, Sonnet, OpenEMS.
Uso de Memória RAM: Baixo a Moderado (discretização 2D)
Representação visual interativa da discretização geométrica (malha de cálculo).

8. Códigos Didáticos em Python (Execução Imediata)

Implementações concisas e autocontidas em Python/NumPy compatíveis com o ambiente conda photonic

Python 3 • FDTD 1D com Célula de Yee, Fonte Gaussiana e Mur ABC Executar: conda activate photonic
import numpy as np
import matplotlib.pyplot as plt

# 1. Parâmetros Físicos e Espaço Discreto
c0 = 3e8              # Velocidade da luz no vácuo [m/s]
Nz = 250              # Número de células espaciais
dz = 1e-3             # Passo espacial dz = 1 mm
dt = 0.99 * dz / c0   # Condição CFL (Courant Sc = 0.99)
time_steps = 350      # Número de iterações temporais

# 2. Alocação de Campos e Meio Dielétrico
Ex = np.zeros(Nz)
Hy = np.zeros(Nz - 1)
eps_r = np.ones(Nz)
eps_r[140:180] = 4.0  # Lâmina dielétrica de teste (eps_r = 4.0)

# 3. Buffer de Borda para Mur ABC (1ª ordem)
mur_coef = (c0 * dt - dz) / (c0 * dt + dz)
ex_low_prev1 = ex_low_prev2 = 0.0

# 4. Loop Temporal Leap-Frog
for t in range(time_steps):
    # Atualização do Campo Magnético Hy (semi-inteiro n + 1/2)
    Hy -= (dt / (4e-7 * np.pi * dz)) * (Ex[1:] - Ex[:-1])
    
    # Atualização do Campo Elétrico Ex (inteiro n + 1)
    Ex[1:-1] -= (dt / (8.854e-12 * eps_r[1:-1] * dz)) * (Hy[1:] - Hy[:-1])
    
    # Injeção de Fonte Gaussiana suave no nó z = 40
    pulse = np.exp(-((t - 40) / 12.0) ** 2)
    Ex[40] += pulse
    
    # Condição Absorvente de Mur ABC na borda esquerda (z = 0)
    Ex[0] = ex_low_prev2 + mur_coef * (Ex[1] - ex_low_prev1)
    ex_low_prev1 = Ex[0]
    ex_low_prev2 = Ex[1]

print(f"Simulação FDTD 1D concluída com sucesso ({time_steps} passos).")
Python 3 • Leitura e Conversão de Parâmetros [S] com scikit-rf Biblioteca: skrf
import skrf as rf

# Criação de uma rede sintética de 2 portas (Linha de Transmissão de 50 Ohms)
freq = rf.Frequency(start=1.0, stop=10.0, npoints=201, unit='ghz')
tline = rf.media.DefinedGammaZ0(frequency=freq, z0=50)

# Geração de uma linha de microfita de comprimento elétrico 90 graus em 5 GHz
line_net = tline.line(d=15, unit='mm')

# Extração e exibição das matrizes S em 5 GHz
s11_db = line_net.s_db[:, 0, 0]
s21_db = line_net.s_db[:, 1, 0]

print(f"Rede RF criada: {line_net}")
print(f"Perda de retorno S11 em 5.0 GHz: {s11_db[100]:.2f} dB")
print(f"Transmissão S21 em 5.0 GHz: {s21_db[100]:.2f} dB")
# line_net.plot_s_db() # Gera o gráfico com 1 comando

9. Questões de Fixação e Autoavaliação

Teste seus conhecimentos com problemas analíticos e de projeto conceitual

Questão 1: Por que o número de Courant em FDTD 3D é mais restritivo que em 1D?

Analise a desigualdade CFL $\Delta t \le \frac{1}{c\sqrt{(1/\Delta x^2) + (1/\Delta y^2) + (1/\Delta z^2)}}$ considerando uma malha cúbica uniforme $\Delta x = \Delta y = \Delta z = \Delta$. Qual a razão entre os passos de tempo máximos em 3D e em 1D?

Ver Resolução Analítica →
Para uma malha cúbica, o termo sob a raiz em 3D torna-se $\sqrt{3 / \Delta^2} = \frac{\sqrt{3}}{\Delta}$. Portanto, $\Delta t_{3\text{D}} \le \frac{\Delta}{c \sqrt{3}} \approx 0{,}577 \frac{\Delta}{c}$. Em contrapartida, em 1D temos $\Delta t_{1\text{D}} \le \frac{\Delta}{c}$. A razão é exatamente $\Delta t_{3\text{D}} / \Delta t_{1\text{D}} = 1/\sqrt{3} \approx 0{,}577$. Isso ocorre porque em 3D a onda numérica pode propagar-se ao longo da diagonal do cubo espacial, exigindo um passo temporal menor para não ultrapassar a informação causal física.

Questão 2: Por que elementos finitos nodais falham em eletromagnetismo vetorial?

Em mecânica estrutural e transferência de calor, os elementos finitos com variáveis escalares nos nós são o padrão. Por que a aplicação ingênua de elementos nodais para as três componentes $(E_x, E_y, E_z)$ resulta no surgimento de "modos espúrios"?

Ver Resolução Analítica →
As equações de Maxwell impõem duas condições distintas: continuidade de componentes tangenciais ($\hat{n} \times (\vec{E}_1 - \vec{E}_2) = 0$) e salto de componentes normais ($\hat{n} \cdot (\varepsilon_1 \vec{E}_1 - \varepsilon_2 \vec{E}_2) = \rho_s$). Elementos nodais forçam a continuidade de todas as componentes nos nós, incluindo a normal, violando as condições de contorno de Gauss e introduzindo modos numéricos não-físicos com rotacional nulo ou divergência errônea. Os elementos de aresta de Nédélec resolvem isso ao associar os graus de liberdade à circulação tangencial ao longo das arestas do tetraedro.

Questão 3: Em qual situação o método EME supera o FDTD por ordens de grandeza?

Considere o projeto de um taper adiabático de silício em guia SOI que faz a transição de largura de $w = 500\text{ nm}$ para $w = 12\text{ µm}$ ao longo de um comprimento $L = 200\text{ µm}$. Por que o FDTD torna-se quase proibitivo e o EME é a escolha ideal?

Ver Resolução Analítica →
Em $L = 200\text{ µm}$, para uma malha FDTD com resolução de $10\text{ nm}$, o número de células espaciais no eixo de propagação ultrapassa $20.000$ pontos, exigindo dezenas de milhares de iterações temporais para que o pulso atravesse toda a estrutura, consumindo gigabytes de RAM e horas de CPU. No EME (como implementado no MEOW), o guia é fatiado em seções bidimensionais invariantes; o custo da matriz de espalhamento bidirecional depende do número de modos expandidos ($M \sim 10$ a $30$), e a propagação ao longo de $z$ é calculada analiticamente por multiplicação de matrizes de espalhamento em fração de segundos.

Questão 4: Por que a condição de Berenger $\sigma^*_x/\mu_0 = \sigma_x/\varepsilon_0$ anula a reflexão e por que a CFS-CPML é indispensável para modos evanescentes?

Demonstre o casamento da impedância intrínseca da PML com o espaço livre sob a condição de Berenger. Em seguida, explique por que a adição do parâmetro $\alpha_w > 0$ na formulação CFS-CPML é fundamental para evitar instabilidades tardias causadas por campos evanescentes.

Ver Resolução Analítica →
A impedância da camada absorvente é $\eta_{\text{PML}} = \sqrt{\frac{\mu_0(1 + \sigma^*_x/(j\omega\mu_0))}{\varepsilon_0(1 + \sigma_x/(j\omega\varepsilon_0))}}$. Sob a condição $\sigma^*_x/\mu_0 = \sigma_x/\varepsilon_0$, os fatores entre parênteses são idênticos para qualquer frequência $\omega$, cancelando-se rigorosamente: $\eta_{\text{PML}} = \sqrt{\mu_0/\varepsilon_0} \equiv \eta_0$. Logo, a reflexão de Fresnel na interface plana é identicamente nula em qualquer ângulo de incidência ($R(\theta) \equiv 0$). No caso de ondas puramente evanescentes, o número de onda espacial é imaginário; na PML convencional, o pólo em $\omega = 0$ introduz derivas quasi-estáticas e instabilidades numéricas em tempos longos de simulação. A formulação CFS introduz o fator de deslocamento complexo $\alpha_w > 0$ no denominador do fator métrico $s_w = \kappa_w + \sigma_w/(\alpha_w + j\omega\varepsilon_0)$, empurrando o pólo para o semiplano complexo estável e amortecendo os campos evanescentes sem reflexões espúrias.

10. Referências Bibliográficas Canônicas Verificadas

A literatura seminal que fundou os métodos de simulação eletromagnética contemporâneos

  1. YEE, K. S. Numerical solution of initial boundary-value problems involving Maxwell's equations in isotropic media. IEEE Transactions on Antennas and Propagation, v. 14, n. 3, p. 302–307, 1966. DOI: 10.1109/TAP.1966.1138693.
  2. TAFLOVE, A.; HAGNESS, S. C. Computational Electrodynamics: The Finite-Difference Time-Domain Method. 3. ed. Norwood: Artech House, 2005.
  3. BÉRENGER, J.-P. A perfectly matched layer for the absorption of electromagnetic waves. Journal of Computational Physics, v. 114, n. 2, p. 185–200, 1994. DOI: 10.1006/jcph.1994.1159.
  4. GEDNEY, S. D. An anisotropic perfectly matched layer-absorbing medium for the truncation of FDTD lattices. IEEE Transactions on Antennas and Propagation, v. 44, n. 12, p. 1630–1639, 1996. DOI: 10.1109/8.546249.
  5. RODEN, J. A.; GEDNEY, S. D. Convolution PML (CPML): An efficient FDTD implementation of the CFS-PML for arbitrary media. Microwave and Optical Technology Letters, v. 27, n. 5, p. 334–339, 2000. DOI: 10.1002/1098-2760(20001205)27:5<334::AID-MOP14>3.0.CO;2-A.
  6. MUR, G. Absorbing boundary conditions for the finite-difference approximation of the time-domain electromagnetic-field equations. IEEE Transactions on Electromagnetic Compatibility, v. EMC-23, n. 4, p. 377–382, 1981.
  7. SULLIVAN, D. M. Electromagnetic Simulation Using the FDTD Method with Python. 3. ed. Hoboken: IEEE Press / Wiley, 2020.
  8. JIN, J.-M. The Finite Element Method in Electromagnetics. 3. ed. Hoboken: John Wiley & Sons, 2014.
  9. HARRINGTON, R. F. Field Computation by Moment Methods. New York: Macmillan, 1968.
  10. WEILAND, T. A discretization method for the solution of Maxwell's equations for six-component fields. Electronics and Communications (AEÜ), v. 31, p. 116–120, 1977.
  11. NÉDÉLEC, J.-C. Mixed finite elements in $\mathbb{R}^3$. Numerische Mathematik, v. 35, n. 3, p. 315–341, 1980.
  12. POZAR, D. M. Microwave Engineering. 4. ed. Hoboken: John Wiley & Sons, 2012.
Material Didático Especializado • Métodos Numéricos • CEM

Acervo de Apresentações Acadêmicas (Beamer / LaTeX)

Slides abertos preparados no padrão institucional LabTel • IN-FOTON para aprofundamento em Eletromagnetismo Computacional

Apresentação Tema e Escopo Metodológico Extensão Formato Acesso
Deck CEM-01 Diferenças Finitas no Tempo (FDTD) e Simulação com Python
Discretização de Yee escalonada 1D e 2D, estabilidade CFL de Courant, operadores absorventes e código em Python
6 slides PDF (Beamer) Baixar PDF ⬇
Deck CEM-02 Camadas Perfeitamente Casadas (PML: Bérenger, UPML e CFS-CPML)
Fronteiras absorventes não-físicas, anisotropia constitutiva uniaxial e convolução recursiva temporal
Em breve LaTeX / Beamer Em diagramação
Deck CEM-03 Elementos Finitos (FEM) e Expansão de Auto-Modos (EME) para Fotônica
Elementos de aresta de Nédélec, fatiamento longitudinal EME e articulação com ecossistema AgentePH (PyMeep/Femwell/MEOW)
Em breve LaTeX / Beamer Em diagramação
← Portal Principal Laboratório Virtual FDTD 1D ⚡ Trilha de Eletromagnetismo →