Valor principal de Cauchy

Em Matemática, o valor principal de Cauchy, denominado a partir de Augustin Louis Cauchy, é um método de atribuir valores a certas integrais impróprias indeterminadas. O valor principal de Cauchy assume um papel fundamental no estudo das Transformadas de Hilbert.

Nomenclatura

O valor principal de Cauchy admite diversas notações diferente na literatura variando conforme autores:

$PV\int f(x)\mathrm{d}x,\underset{L}{\overset{*}{\int }}f(z)\mathrm{d}z,-\int f(x)\mathrm{d}x,$ $P,$ P.V. $,𝒫,$ $P_v,$ $(CPV).$

Formulação

O valor principal de Cauchy é definido conforme o tipo de singularidade do integrando f:

• Se b é uma singularidade isolada no intervalo (a,c), então define-se o valor princiapal de Cauchy em torno de b como:

$PV\underset{a}{\overset{c}{\int }}f(x)\mathrm{d}x=\underset{\epsilon \to 0+}{\lim }[\underset{a}{\overset{b-\epsilon }{\int }}f(x)\mathrm{d}x+\underset{b+\epsilon }{\overset{c}{\int }}f(x)\mathrm{d}x]$

sempre que este limite existe e é finito mesmo que a integral imprópria associada não existe, isto é, quando o limite duplo

$\underset{a}{\overset{c}{\int }}f(x)\mathrm{d}x=\underset{\epsilon ,\eta \to 0+}{\lim }[\underset{a}{\overset{b-\epsilon }{\int }}f(x)\mathrm{d}x+\underset{b+\eta }{\overset{c}{\int }}f(x)\mathrm{d}x]$ não existe.

• Se f é integrável em cada intervalo finito [-a,a], então

$PV\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}f(x)\mathrm{d}x=\underset{a\to \mathrm{\infty }}{\lim }\underset{-a}{\overset{a}{\int }}f(x)\mathrm{d}x$

sempre que este limite simétrico existe e é finito, mesmo quando a integral imprópria associada não existe, isto é, quando o limite duplo

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}f(x)\mathrm{d}x=\underset{a,b\to \mathrm{\infty }}{\lim }\underset{-a}{\overset{b}{\int }}f(x)\mathrm{d}x$ não existe.

ou

• Em termos de integrais de contorno de uma função complexa f(z); z = x + iy, com um polo no contorno. Seja L(ε) a porção do contorno L fora do cículo de centro no polo e raio ε. O valor principal de Cauchy é definido como:

$\mathrm{P}\underset{L}{\int }f(z)\mathrm{d}z=\underset{L}{\overset{*}{\int }}f(z)\mathrm{d}z=\underset{\epsilon \to 0}{\lim }\underset{L(\epsilon )}{\int }f(z)\mathrm{d}z,$

onde as duas notações comuns para o valor principal de Cauchy estão presentes no lado esquerdo desta expressão.

Exemplos

Considere o diferente comportamento dos seguintes limites:

$\underset{a\to 0+}{\lim }(\underset{-1}{\overset{-a}{\int }}\frac{\mathrm{d}x}{x}+\underset{a}{\overset{1}{\int }}\frac{\mathrm{d}x}{x})=0,$

$\underset{a\to 0+}{\lim }(\underset{-1}{\overset{-2a}{\int }}\frac{\mathrm{d}x}{x}+\underset{a}{\overset{1}{\int }}\frac{\mathrm{d}x}{x})=\ln 2.$

O primeiro é o valor principal de Cauchy de

$\underset{-1}{\overset{1}{\int }}\frac{\mathrm{d}x}{x}$ que constitui uma integral imprópria mal definida.

Similarmente, temos

$\underset{a\to \mathrm{\infty }}{\lim }\underset{-a}{\overset{a}{\int }}\frac{2x\mathrm{d}x}{x^2+1}=0,$

mas

$\underset{a\to \mathrm{\infty }}{\lim }\underset{-2a}{\overset{a}{\int }}\frac{2x\mathrm{d}x}{x^2+1}=-\ln 4.$

O primeiro é o valor principal de Cauchy de

$\underset{-\mathrm{\infty }}{\overset{\mathrm{\infty }}{\int }}\frac{2x\mathrm{d}x}{x^2+1}$ que constitui uma integral imprópria mal definida.

Teoria das distribuições

Seja $C_c^{\mathrm{\infty }}(ℝ)$ o espaço das funções suaves de suporte compacto na reta real $ℝ$. Então o funcional

$\mathrm{p}\mathrm{.}\mathrm{v}\mathrm{.}\left(\frac{1}{x}\right):C_c^{\mathrm{\infty }}(ℝ)\to ℂ$

definido via Valor Principal de Cauchy como

$[\mathrm{p}\mathrm{.}\mathrm{v}\mathrm{.}\left(\frac{1}{x}\right)](u)=\underset{\epsilon \to 0^{+}}{\lim }\underset{ℝ\setminus [-\epsilon ;\epsilon ]}{\int }\frac{u(x)}{x}\mathrm{d}x=\underset{0}{\overset{+\mathrm{\infty }}{\int }}\frac{u(x)-u(-x)}{x}\mathrm{d}x\mathrm{\forall }u\in C_c^{\mathrm{\infty }}(ℝ)$

é uma distribuição. Esta distribuição é um exemplo de distribuição que não pode ser expressa como uma função real ou medida de Radon aparece, por exemplo, na transformada de Fourier distribucional da função de Heaviside.

Este limite está bem definido não apenas para funções suaves de suporte compacto: basta que $u$ seja integrável, com suporte compacto e diferenciável na origem.

Esta distribuição é a inversa da função $x$ e é quase a única com esta propriedade, isto é:

$xf=1\Rightarrow f=\mathrm{p}\mathrm{.}\mathrm{v}\mathrm{.}\left(\frac{1}{x}\right)+K\delta ,$

onde $K$ é uma constante e $\delta$ distribuição delta de Dirac.

O conceito de valor principal de Cauchy pode ser generalizado para uma classe maior de núcleo integrais singulares, no espaço euclidiano ${ℝ}^n$. Se $K$ tem uma singularidade isolada na origem, mas é localmente integrável fora da origem, então a distribuição valor principal é definida nas funções suaves de suporte compacto como

$[\mathrm{p}\mathrm{.}\mathrm{v}\mathrm{.}(K)](f)=\underset{\epsilon \to 0}{\lim }\underset{{ℝ}^n\setminus B_{\epsilon (0)}}{\int }f(x)K(x)\mathrm{d}x.$

Este limite pode não estar bem definido e mesmo que esteja bem definido pode não representar uma distribuição Ele está, no entanto, bem definido se $K$ é uma função homogênea de grau $-n$ cuja integral sobre qualquer esfera centrada na origem é nula. Este é o caso, por exemplo, das transformadas de Riesz.

Predefinição:Referências