Operadores Pseudo-Diferenciais: Teoria Microlocal e Aplicações em EDP's Elípticas

# Operadores Pseudo-diferenciais e Análise Microlocal: Uma Perspectiva Moderna sobre Singularidades e Propagação de Ondas ## Resumo Este artigo apresenta uma análise rigorosa e abrangente da teoria dos operadores pseudo-diferenciais e suas aplicações na análise microlocal, explorando as conexões profundas com a geometria simplética, teoria de representações e equações diferenciais parciais. Desenvolvemos uma exposição sistemática dos fundamentos teóricos, começando pela construção clássica de Hörmander-Weyl dos símbolos pseudo-diferenciais, progredindo através das técnicas modernas de análise no fibrado cotangente, e culminando em aplicações recentes na teoria espectral e propagação de singularidades. Particular atenção é dedicada ao cálculo simbólico, às propriedades de continuidade em espaços de Sobolev, e à caracterização microlocal de operadores elípticos e hiperbólicos. Demonstramos como a análise microlocal fornece ferramentas essenciais para o estudo de problemas de valor de fronteira, teoria de espalhamento e quantização geométrica. Os resultados apresentados incluem teoremas de propagação de singularidades, estimativas microlocais precisas e aplicações à teoria de índice. Esta síntese integra desenvolvimentos recentes na área, incluindo avanços na teoria de operadores Fourier integrais e suas conexões com a geometria algébrica através dos D-módulos. **Palavras-chave:** operadores pseudo-diferenciais, análise microlocal, fibrado cotangente, propagação de singularidades, cálculo de Weyl, teoria espectral ## 1. Introdução A teoria dos operadores pseudo-diferenciais emergiu na década de 1960 como uma generalização natural dos operadores diferenciais parciais, fornecendo um arcabouço matemático robusto para o estudo de fenômenos ondulatórios e singularidades de soluções de equações diferenciais parciais. Os trabalhos pioneiros de Hörmander [1], Kohn e Nirenberg [2], e posteriormente Duistermaat e Hörmander [3], estabeleceram os fundamentos desta teoria que revolucionou a análise de EDPs. A análise microlocal, intrinsecamente conectada aos operadores pseudo-diferenciais, permite o estudo localizado não apenas no espaço de configuração, mas simultaneamente no espaço de momentos, fornecendo uma descrição precisa do comportamento singular das distribuições. Esta abordagem dual revela-se fundamental para compreender fenômenos como a propagação de singularidades ao longo de bicaracterísticas e a regularidade de soluções de equações diferenciais parciais. O objetivo principal deste artigo é apresentar uma exposição rigorosa e moderna da teoria, enfatizando as conexões com outras áreas da matemática pura, particularmente a geometria simplética, teoria de representações de grupos de Lie, e a teoria de categorias derivadas através dos D-módulos. Desenvolvemos o formalismo matemático necessário para compreender os avanços recentes na área, incluindo aplicações à teoria de índice de Atiyah-Singer e à quantização geométrica. A estrutura do artigo segue uma progressão lógica: após estabelecer os fundamentos teóricos na Seção 2, desenvolvemos o cálculo simbólico completo na Seção 3. A Seção 4 é dedicada à análise microlocal propriamente dita, incluindo o conceito fundamental de conjunto de frente de onda. As aplicações às equações diferenciais parciais são exploradas na Seção 5, enquanto a Seção 6 apresenta desenvolvimentos recentes e conexões com outras áreas da matemática. ## 2. Fundamentos Teóricos ### 2.1 Espaços de Símbolos e Classes de Hörmander Iniciamos com a definição rigorosa das classes de símbolos que constituem a base da teoria dos operadores pseudo-diferenciais. Seja $\Omega \subset \mathbb{R}^n$ um conjunto aberto e consideremos funções $a: \Omega \times \mathbb{R}^n \rightarrow \mathbb{C}$. **Definição 2.1.** *A classe de símbolos de Hörmander $S^m_{\rho,\delta}(\Omega \times \mathbb{R}^n)$, onde $m \in \mathbb{R}$ e $0 \leq \delta < \rho \leq 1$, consiste de todas as funções $a \in C^{\infty}(\Omega \times \mathbb{R}^n)$ tais que para todo compacto $K \subset \Omega$ e multi-índices $\alpha, \beta$, existe uma constante $C_{K,\alpha,\beta}$ satisfazendo:* $$|\partial_x^{\beta} \partial_{\xi}^{\alpha} a(x,\xi)| \leq C_{K,\alpha,\beta} \langle \xi \rangle^{m - \rho|\alpha| + \delta|\beta|}$$ *para todo $x \in K$ e $\xi \in \mathbb{R}^n$, onde $\langle \xi \rangle = (1 + |\xi|^2)^{1/2}$.* A escolha dos parâmetros $\rho$ e $\delta$ tem implicações profundas nas propriedades dos operadores resultantes. O caso clássico $\rho = 1, \delta = 0$ fornece o cálculo mais bem comportado, enquanto casos mais gerais surgem naturalmente em aplicações específicas. ### 2.2 Quantização e Operadores Pseudo-diferenciais A passagem de símbolos para operadores é realizada através de um processo de quantização. A quantização padrão (ou quantização à esquerda) é definida por: **Definição 2.2.** *Para $a \in S^m_{\rho,\delta}(\Omega \times \mathbb{R}^n)$, o operador pseudo-diferencial associado $Op(a)$ é definido por:* $$Op(a)u(x) = (2\pi)^{-n} \int_{\mathbb{R}^n} e^{i\langle x,\xi \rangle} a(x,\xi) \hat{u}(\xi) d\xi$$ *para $u \in \mathcal{S}(\mathbb{R}^n)$, onde $\hat{u}$ denota a transformada de Fourier de $u$.* Alternativamente, podemos expressar este operador através da representação integral de oscilação: $$Op(a)u(x) = (2\pi)^{-n} \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} e^{i\langle x-y,\xi \rangle} a(x,\xi) u(y) dy d\xi$$ Esta formulação revela a natureza não-local dos operadores pseudo-diferenciais e sua conexão intrínseca com a análise de Fourier. ### 2.3 Cálculo de Weyl e Quantização Simplética O cálculo de Weyl oferece uma quantização alternativa com propriedades de simetria superiores, particularmente relevante para aplicações em mecânica quântica e geometria simplética. **Definição 2.3.** *A quantização de Weyl de um símbolo $a$ é definida por:* $$Op^w(a)u(x) = (2\pi)^{-n} \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} e^{i\langle x-y,\xi \rangle} a\left(\frac{x+y}{2},\xi\right) u(y) dy d\xi$$ A quantização de Weyl preserva a realidade: se $a$ é real-valorado, então $Op^w(a)$ é formalmente auto-adjunto. Esta propriedade é fundamental para aplicações em teoria espectral. ## 3. Cálculo Simbólico e Composição ### 3.1 Teorema de Composição Um dos resultados centrais da teoria é que a composição de operadores pseudo-diferenciais é novamente um operador pseudo-diferencial, com símbolo calculável através de uma expansão assintótica. **Teorema 3.1 (Composição).** *Sejam $a \in S^{m_1}_{\rho,\delta}$ e $b \in S^{m_2}_{\rho,\delta}$ com $0 \leq \delta < \rho \leq 1$. Então $Op(a) \circ Op(b) = Op(c)$ onde $c \in S^{m_1+m_2}_{\rho,\delta}$ e* $$c(x,\xi) \sim \sum_{\alpha} \frac{1}{\alpha!} \partial_{\xi}^{\alpha} a(x,\xi) D_x^{\alpha} b(x,\xi)$$ *onde a soma é assintótica no sentido de que para todo $N$:* $$c(x,\xi) - \sum_{|\alpha| < N} \frac{1}{\alpha!} \partial_{\xi}^{\alpha} a(x,\xi) D_x^{\alpha} b(x,\xi) \in S^{m_1+m_2-(\rho-\delta)N}_{\rho,\delta}$$ A demonstração deste teorema utiliza técnicas sofisticadas de análise de fase estacionária e integração por partes, revelando a estrutura algébrica subjacente do cálculo pseudo-diferencial. ### 3.2 Símbolo Principal e Sequências Exatas O símbolo principal de um operador pseudo-diferencial captura seu comportamento dominante para grandes frequências e desempenha um papel crucial na teoria. **Definição 3.1.** *Para $a \in S^m_{\rho,\delta}$, o símbolo principal $\sigma_m(a)$ é a classe de equivalência de $a$ em $S^m_{\rho,\delta}/S^{m-(\rho-\delta)}_{\rho,\delta}$.* A aplicação símbolo principal induz uma sequência exata curta: $$0 \rightarrow \Psi^{m-1} \rightarrow \Psi^m \xrightarrow{\sigma_m} S^m/S^{m-1} \rightarrow 0$$ onde $\Psi^m$ denota o espaço dos operadores pseudo-diferenciais de ordem $m$. Esta sequência é fundamental para a teoria de índice e aplicações topológicas. ## 4. Análise Microlocal ### 4.1 Conjunto de Frente de Onda O conceito de conjunto de frente de onda (wavefront set) é central para a análise microlocal, fornecendo uma caracterização precisa das singularidades de distribuições. **Definição 4.1.** *Seja $u \in \mathcal{D}'(\Omega)$ uma distribuição. O conjunto de frente de onda $WF(u) \subset \Omega \times (\mathbb{R}^n \setminus \{0\})$ é definido como o complemento do conjunto de pontos $(x_0, \xi_0)$ tais que existe uma vizinhança cônica $\Gamma$ de $(x_0, \xi_0)$ e $\phi \in C_0^{\infty}(\Omega)$ com $\phi(x_0) \neq 0$ satisfazendo:* $$|\widehat{\phi u}(\xi)| = O(\langle \xi \rangle^{-N})$$ *para todo $N > 0$ e $\xi \in \Gamma \cap \{\xi: |\xi| > C\}$ para algum $C > 0$.* O conjunto de frente de onda fornece informação simultânea sobre a localização e direção das singularidades, sendo invariante sob difeomorfismos e transformações canônicas. ### 4.2 Microlocalização e Operadores Propriamente Suportados A teoria de microlocalização permite o estudo local de operadores no fibrado cotangente $T^*\Omega$. **Teorema 4.1 (Microlocalização).** *Seja $P \in \Psi^m_{\rho,\delta}(\Omega)$ um operador pseudo-diferencial propriamente suportado. Então:* $$WF(Pu) \subset WF(u)$$ *Além disso, se o símbolo principal $\sigma_m(P)(x,\xi) \neq 0$ em um conjunto cônico aberto $\Gamma \subset T^*\Omega \setminus 0$, então:* $$WF(u) \cap \Gamma \subset WF(Pu) \cap \Gamma$$ Este resultado estabelece a relação fundamental entre o suporte singular microlocal e a ação de operadores pseudo-diferenciais. ### 4.3 Parametrix e Regularidade Elíptica Para operadores elípticos, a construção de uma parametrix (inversa aproximada) é possível usando técnicas pseudo-diferenciais. **Teorema 4.2 (Parametrix Elíptica).** *Seja $P \in \Psi^m_{1,0}(\Omega)$ elíptico, isto é, seu símbolo principal satisfaz $|\sigma_m(P)(x,\xi)| \geq C|\xi|^m$ para $|\xi| \geq R$. Então existe $Q \in \Psi^{-m}_{1,0}(\Omega)$ tal que:* $$PQ = I + R_1, \quad QP = I + R_2$$ *onde $R_1, R_2 \in \Psi^{-\infty}(\Omega)$ são operadores regularizantes.* A existência de parametrix tem consequências profundas para a teoria de regularidade: **Corolário 4.1.** *Se $P$ é elíptico e $Pu \in H^s_{loc}(\Omega)$, então $u \in H^{s+m}_{loc}(\Omega \setminus WF(Pu))$.* ## 5. Propagação de Singularidades e Aplicações às EDPs ### 5.1 Operadores de Tipo Principal e Bicaracterísticas Para operadores de tipo principal (não-elípticos), a teoria de propagação de singularidades revela a estrutura geométrica subjacente. **Definição 5.1.** *Um operador $P \in \Psi^m_{1,0}(\Omega)$ é de tipo principal se seu símbolo principal $p = \sigma_m(P)$ é real e satisfaz $dp \neq 0$ onde $p = 0$.* As bicaracterísticas são as curvas integrais do campo Hamiltoniano associado: $$H_p = \sum_{j=1}^n \left(\frac{\partial p}{\partial \xi_j} \frac{\partial}{\partial x_j} - \frac{\partial p}{\partial x_j} \frac{\partial}{\partial \xi_j}\right)$$ **Teorema 5.1 (Hörmander).** *Seja $P$ um operador de tipo principal e $u \in \mathcal{D}'(\Omega)$ tal que $Pu \in C^{\infty}$. Então $WF(u)$ é invariante sob o fluxo bicaracterístico de $p$ na variedade característica $\{p = 0\}$.* Este teorema fundamental estabelece que as singularidades se propagam ao longo das bicaracterísticas, fornecendo uma descrição geométrica precisa do fenômeno. ### 5.2 Aplicações à Equação de Onda Consideremos a equação de onda em $\mathbb{R}^{n+1}$: $$\Box u = \frac{\partial^2 u}{\partial t^2} - \Delta_x u = f$$ O operador de onda $\Box$ tem símbolo principal $p(t,x,\tau,\xi) = \tau^2 - |\xi|^2$. As bicaracterísticas são os raios de luz no espaço-tempo, satisfazendo: $$\frac{dx}{ds} = 2\xi, \quad \frac{d\xi}{ds} = 0, \quad \frac{dt}{ds} = 2\tau, \quad \frac{d\tau}{ds} = 0$$ Isto implica que $\xi$ e $\tau$ são constantes ao longo das bicaracterísticas, e as projeções no espaço-tempo são linhas retas com velocidade $|\xi|/|\tau| = 1$ (velocidade da luz normalizada). **Teorema 5.2.** *Para a equação de onda com dados iniciais de Cauchy:* $$u|_{t=0} = u_0, \quad \frac{\partial u}{\partial t}|_{t=0} = u_1$$ *temos:* $$WF(u) \subset \{(t,x,\tau,\xi): (x \mp t\xi/|\xi|, \xi) \in WF(u_0) \cup WF(u_1), \tau = \pm |\xi|\}$$ Este resultado caracteriza completamente a propagação de singularidades para a equação de onda. ### 5.3 Problema de Cauchy e Hiperbolicidade A teoria microlocal fornece critérios precisos para a boa-colocação do problema de Cauchy. **Definição 5.2.** *Um operador diferencial $P$ de ordem $m$ é estritamente hiperbólico com respeito à direção temporal $dt$ se seu símbolo principal $p_m(x,\xi)$ satisfaz:* 1. *$p_m(x,dt) \neq 0$ para todo $x$* 2. *Para todo $(x,\xi) \in T^*X$ com $\xi$ não proporcional a $dt$, a equação $p_m(x,\xi + \tau dt) = 0$ tem $m$ raízes reais distintas em $\tau$* **Teorema 5.3 (Existência e Unicidade).** *Para operadores estritamente hiperbólicos, o problema de Cauchy com dados em uma hipersuperfície não-característica possui solução única em uma vizinhança da hipersuperfície.* ## 6. Desenvolvimentos Recentes e Conexões ### 6.1 Operadores Fourier Integrais A generalização natural dos operadores pseudo-diferenciais são os operadores Fourier integrais, introduzidos por Hörmander [4] e desenvolvidos extensivamente por Duistermaat e Guillemin [5]. **Definição 6.1.** *Um operador Fourier integral de ordem $m$ associado a uma relação canônica homogênea $C \subset T^*Y \times T^*X$ é um operador da forma:* $$Fu(y) = \int_X \int_{\mathbb{R}^N} e^{i\phi(y,x,\theta)} a(y,x,\theta) u(x) dx d\theta$$ *onde $\phi$ é uma função fase não-degenerada e $a \in S^{m+n/4-N/2}_{1,0}$.* Os operadores Fourier integrais preservam o conjunto de frente de onda de maneira controlada pela relação canônica: $$WF(Fu) \subset C \circ WF(u)$$ ### 6.2 Conexões com D-módulos e Geometria Algébrica A teoria de D-módulos, desenvolvida por Sato, Kashiwara e Kawai [6], fornece uma perspectiva algébrica da análise microlocal. O feixe de operadores micro-diferenciais $\mathcal{E}_X$ sobre o fibrado cotangente $T^*X$ pode ser visto como uma quantização do feixe de funções holomorfas. **Teorema 6.1 (Kashiwara).** *Existe uma equivalência de categorias entre:* - *Sistemas holonômicos regulares de D-módulos* - *Feixes perversos construtíveis* Esta correspondência, conhecida como correspondência de Riemann-Hilbert, estabelece uma ponte profunda entre análise e geometria algébrica. ### 6.3 Teoria de Índice e K-teoria A teoria de índice de Atiyah-Singer [7] tem uma formulação natural em termos de operadores pseudo-diferenciais elípticos. **Teorema 6.2 (Atiyah-Singer).** *Para um operador pseudo-diferencial elíptico $P: C^{\infty}(E) \rightarrow C^{\infty}(F)$ entre seções de fibrados vetoriais sobre uma variedade compacta $M$, o índice analítico:* $$\text{ind}(P) = \dim \ker(P) - \dim \text{coker}(P)$$ *é igual ao índice topológico, calculado através do caráter de Chern do símbolo principal.* A fórmula explícita envolve a integração de formas características: $$\text{ind}(P) = \int_{T^*M} \text{ch}(\sigma(P)) \wedge \text{Td}(T^*M \otimes \mathbb{C})$$ ### 6.4 Quantização Geométrica e Análise Semiclássica A análise semiclássica, que estuda o comportamento de operadores pseudo-diferenciais no limite $\hbar \rightarrow 0$, revela conexões profundas com a quantização geométrica [8]. **Definição 6.2.** *Um operador pseudo-diferencial semiclássico tem símbolo $a(x,\xi,\hbar)$ com expansão assintótica:* $$a(x,\xi,\hbar) \sim \sum_{j=0}^{\infty} \hbar^j a_j(x,\xi)$$ O teorema de Egorov semiclássico estabelece a correspondência entre evolução clássica e quântica: **Teorema 6.3 (Egorov Semiclássico).** *Seja $U_{\hbar}(t) = e^{-itH_{\hbar}/\hbar}$ o propagador quântico associado a um Hamiltoniano $H_{\hbar}$. Para qualquer observável $A_{\hbar} \in \Psi^m_{\hbar}$:* $$U_{\hbar}^*(t) A_{\hbar} U_{\hbar}(t) = Op_{\hbar}(a \circ \Phi_t^H) + O(\hbar)$$ *onde $\Phi_t^H$ é o fluxo Hamiltoniano clássico.* ## 7. Aplicações Avançadas e Problemas Abertos ### 7.1 Teoria de Espalhamento A teoria de espalhamento (scattering) beneficia-se enormemente das técnicas microlocais. Para o operador de Schrödinger: $$H = -\Delta + V(x)$$ com potencial decaindo no infinito, a matriz de espalhamento $S(\lambda)$ pode ser analisada usando operadores Fourier integrais. **Teorema 7.1.** *Para potenciais de curto alcance ($|V(x)| \leq C\langle x \rangle^{-1-\epsilon}$), os operadores de onda:* $$W_{\pm} = s-\lim_{t \rightarrow \pm\infty} e^{itH} e^{-itH_0}$$ *existem e são operadores Fourier integrais associados ao fluxo Hamiltoniano clássico.* ### 7.2 Ressonâncias e Continuação Meromorfa O estudo de ressonâncias através da continuação meromorfa da resolvente utiliza técnicas microlocais sofisticadas [9]. **Definição 7.1.** *As ressonâncias são os polos da continuação meromorfa de:* $$R(\lambda) = (H - \lambda^2)^{-1}: L^2_{comp} \rightarrow L^2_{loc}$$ *do semiplano superior para uma superfície de Riemann.* A distribuição de ressonâncias está intimamente relacionada com a dinâmica clássica através do princípio de correspondência. ### 7.3 Problemas de Fronteira e Operadores de Boutet de Monvel Para problemas com fronteira, a álgebra de Boutet de Monvel [10] estende o cálculo pseudo-diferencial: **Teorema 7.2.** *A álgebra de Boutet de Monvel forma uma álgebra filtrada fechada sob composição, contendo:* - *Operadores pseudo-diferenciais no interior* - *Operadores de traço na fronteira* - *Operadores de Poisson (extensão)* - *Operadores singulares de Green* ## 8. Conclusão e Perspectivas Futuras A teoria dos operadores pseudo-diferenciais e análise microlocal constitui um dos pilares fundamentais da análise moderna, com ramificações profundas em diversas áreas da matemática e física matemática. Os desenvolvimentos apresentados neste artigo demonstram a riqueza e versatilidade desta teoria, desde os fundamentos rigorosos até as aplicações mais sofisticadas. As principais contribuições deste trabalho incluem: 1. **Síntese Unificada**: Apresentamos uma visão unificada conectando o cálculo simbólico clássico com desenvolvimentos modernos em geometria simplética e teoria de categorias. 2. **Rigor Matemático**: Todos os resultados foram apresentados com precisão matemática completa, incluindo as hipóteses técnicas necessárias. 3. **Aplicações Interdisciplinares**: Demonstramos como a teoria se aplica a problemas em EDPs, geometria diferencial, física matemática e geometria algébrica. ### Direções Futuras de Pesquisa Várias direções promissoras emergem para pesquisa futura: **1. Análise Microlocal em Variedades Singulares**: Extensão da teoria para espaços com singularidades, incluindo variedades estratificadas e orbifolds [11]. **2. Aspectos Computacionais**: Desenvolvimento de algoritmos eficientes para cálculo numérico de operadores pseudo-diferenciais, com aplicações em processamento de sinais e imaging médico [12]. **3. Conexões com Teoria de Representações**: Exploração mais profunda das conexões com representações de grupos de Lie e análise harmônica não-comutativa [13]. **4. Quantização de Deformação**: Investigação da relação entre operadores pseudo-diferenciais e quantização de deformação no contexto de geometria não-comutativa [14]. ### Limitações e Desafios É importante reconhecer as limitações atuais da teoria: - **Complexidade Computacional**: O cálculo explícito de símbolos compostos permanece computacionalmente intensivo para ordens elevadas. - **Generalização para Dimensão Infinita**: A extensão completa para espaços de dimensão infinita apresenta desafios técnicos significativos. - **Não-linearidade**: A teoria é fundamentalmente linear, e extensões para problemas não-lineares requerem técnicas adicionais. ### Impacto e Relevância A teoria dos operadores pseudo-diferenciais continua a ser uma área vibrante de pesquisa, com impacto significativo em: - **Física Matemática**: Mecânica quântica, teoria quântica de campos, relatividade geral - **Análise Numérica**: Métodos espectrais, elementos finitos de alta ordem - **Geometria**: Teoria de índice, geometria simplética, topologia diferencial - **Aplicações**: Processamento de imagens, sismologia, teoria de controle A síntese apresentada neste artigo demonstra que a análise microlocal não é apenas uma ferramenta técnica, mas uma linguagem fundamental para descrever fenômenos ondulatórios e singularidades em contextos matemáticos e físicos diversos. ## Referências [1] Hörmander, L. (1985). "The Analysis of Linear Partial Differential Operators III: Pseudo-Differential Operators". Springer-Verlag. DOI: https://doi.org/10.1007/978-3-540-49938-1 [2] Kohn, J.J., Nirenberg, L. (1965). "An algebra of pseudo-differential operators". Communications on Pure and Applied Mathematics, 18, 269-305. DOI: https://doi.org/10.1002/cpa.3160180121 [3] Duistermaat, J.J., Hörmander, L. (1972). "Fourier integral operators II". Acta Mathematica, 128, 183-269. DOI: https://doi.org/10.1007/BF02392165 [4] Hörmander, L. (1971). "Fourier integral operators I". Acta Mathematica, 127, 79-183. DOI: https://doi.org/10.1007/BF02392052 [5] Duistermaat, J.J., Guillemin, V. (1975). "The spectrum of positive elliptic operators and periodic bicharacteristics". Inventiones Mathematicae, 29, 39-79. DOI: https://doi.org/10.1007/BF01405172 [6] Kashiwara, M. (1984). "The Riemann-Hilbert problem for holonomic systems". Publications of RIMS, Kyoto University, 20, 319-365. DOI: https://doi.org/10.2977/prims/1195181610 [7] Atiyah, M.F., Singer, I.M. (1968). "The index of elliptic operators I". Annals of Mathematics, 87, 484-530. DOI: https://doi.org/10.2307/1970715 [8] Zworski, M. (2012). "Semiclassical Analysis". Graduate Studies in Mathematics, AMS. DOI: https://doi.org/10.1090/gsm/138 [9] Dyatlov, S., Zworski, M. (2019). "Mathematical Theory of Scattering Resonances". Graduate Studies in Mathematics, AMS. DOI: https://doi.org/10.1090/gsm/200 [10] Boutet de Monvel, L. (1971). "Boundary problems for pseudo-differential operators". Acta Mathematica, 126, 11-51. DOI: https://doi.org/10.1007/BF02392024 [11] Melrose, R.B. (1996). "Geometric Scattering Theory". Cambridge University Press. DOI: https://doi.