3 votos

¿Dónde se utiliza la holomorficidad en la demostración del teorema de Goursat?

Teorema de Goursat: Sea $f : U \to \mathbb{C}$ sea una función holomorfa en el conjunto abierto $U$ . Si $T$ es un triángulo en $U$ y $\gamma$ es alguna parametrización suave de ese triángulo, entonces $\int_{\gamma} f = 0$ .

Mi pregunta: ¿Esto deja de ser cierto si sustituyo holomorfo por diferenciable?

La prueba que estoy leyendo procede dividiendo $T$ en cuartos de triángulo, y argumentando que la integral sobre $T$ debe estar limitada por encima por 4 veces la integral de uno de los cuartos de triángulo. El argumento procede por inducción para demostrar que este límite obliga a la integral sobre $T$ desaparecer.

Sólo parece haber un lugar en el que la suposición de que $f$ es holomorfo, es decir, lo utilizamos para escribir $f(z) = f(z_0) + f'(z_0)h + h \phi(h)$ con $h = (z - z_0)$ $\phi(h)$ que converge a cero a medida que $h \to 0$ . Sea $T^n$ sea el $nth$ triángulo elegido en el método típico de prueba. $p^n$ denota su perímetro, y $d^n$ el diámetro.

Suponiendo que $f$ era simplemente $R^2$ diferenciable, puedo crear una expresión similar: $f(z) = f(z_0) + f'(z_0)(h) + |h| \phi(h)$ y concluye que $\int_{T^n} f(z) = \int_{T^n} (f(z_0) + f'(z_0)(h)) + \int_{T^n} (|h| \phi(h))$ .

Quiero afirmar que $(f(z_0) + f'(z_0)(h))$ tiene una primitiva ya que es la suma de una función constante y una función lineal (sin embargo, creo que la parte constante no tiene primitiva, ya que es un vector y no escalar, por lo que no es la derivada de $"f(z_0) x"$ - esto es erróneo, véase más adelante), de modo que nos quedamos con $\int_{T^n} f(z) = \int_{T^n} (|h| \phi(h)) \leq \sup (|h| \phi(h)) p^{(n)}$ ( $p^n$ es el perímetro de $T^n$ ).

Desde $\sup |h| \phi(h) \leq d^n \sup \phi(h)$ parece que se cumple la misma prueba exacta que en el caso holomorfo.

¿Puede alguien ayudarme a encontrar mi error?

4voto

YequalsX Puntos 320

Cuando tienes una afirmación que sabes que es incorrecta, pero crees que tienes una prueba, siempre es buena idea ver qué ocurre cuando aplicas tu prueba a un contraejemplo explícito. De este modo, deberías ser capaz de encontrar el error o el concepto erróneo.

En este caso, uno de los contraejemplos más fáciles es $f(z) = \overline{z}$ (el conjugado complejo). Tomemos el triángulo como eje real de $0$ a $1$ la línea diagonal de $1$ a $i$ y luego el eje imaginario de $i$ a $0$ . La integral debe tener un valor igual a $i$ (si no he calculado mal), en lugar de $0$ . Ahora intenta ver dónde se equivoca tu argumento.


Añadido: para este tipo de preguntas, es útil pensar en la copia de dominio de $\mathbb C$ como $\mathbb R^2$ (por lo que depende de dos parámetros), pero el copia de destino de $\mathbb C$ como simplemente ser $\mathbb C$ un campo de escalares.

En otras palabras, pensamos en funciones de valor complejo de dos variables reales.

Ahora solemos trabajar en términos de $\partial_x$ y $\partial_y$ al estudiar funciones en $\mathbb R^2$ pero cuando las funciones son de valor complejo, podemos trabajar en términos de $\partial_z := \dfrac{1}{2}(\partial_x - i \partial_y)$ y $\partial_{\overline{z}} := \dfrac{1}{2}(\partial_x + i \partial_y).$

Si $F$ es cualquier función (suficientemente diferenciable), y $\gamma$ es un camino entre dos números complejos $a$ y $b$ encontramos entonces que $$\int_{\gamma} \partial_z F(z) d z + \int_{\gamma} \partial_{\overline{z}} F(z) d\overline{z} = F(b) - F(a).$$ Puede comprobarlo usted mismo; se trata simplemente de una reescritura del (probablemente) más familiar conocida $$ \int_{\gamma} \partial_x F(z) dx + \int_{\gamma} \partial_y F(z) dy = F(b) - F(a).$$

Cuando se busca una "primitiva" para calcular una integral de línea $\int_{\gamma} f(z) dz,$ entonces, lo que usted está tratando de hacer es escribir $f(z)$ como $\partial_z F(z)$ para algunos $F(z)$ que satisface $\partial_{\overline{z}} F = 0$ idénticamente, y luego aplicar la fórmula anterior.

Esto no siempre es posible, como tampoco lo es escribir siempre una función de dos variables como $\partial_x$ de alguna función cuyo $\partial_y$ desaparece.

De hecho, las ecuaciones de Cauchy--Riemann pueden expresarse diciendo que $\partial_{\overline{z}} F = 0$ en cada punto. Puede comprobar además que, para una función holomorfa, $\partial_z$ no es más que la derivada compleja habitual.

Así que si usted puede encontrar un "primitivo" $F$ para $f$ como arriba, entonces $F$ es holomorfa y, por tanto, también lo es $f$ (siendo la derivada de una función holomorfa). Así que se puede encontrar una primitiva, y por lo tanto obtener integral cero, precisamente en el caso holomorfo.


La discusión es quizá más fácil si se expresa en términos de formas diferenciales, si conoces ese lenguaje. Entonces tenemos la fórmula, para funciones suaves sobre $\mathbb R^2$ :
$$\int_{\gamma} dF = F(b) - F(a)$$ (la forma unidimensional del teorema de Stokes, que supongo que clásicamente no es más que el teorema fundamental del cálculo), y podemos escribir $dF$ ya sea como $\partial_x F dx + \partial_y F dy,$ o en su lugar como $\partial_z F dz + \partial_{\overline{z}}F d\overline{z}$ . (Sólo es cuestión de elegir $dz$ y $d\overline{z}$ como base para las formas únicas complejizadas, en lugar de $dx$ y $dy$ .)

También tenemos la fórmula, para una curva cerrada $\gamma$ delimitación de una región $\Delta$ , que $$\int_{\gamma} f dz = \int_{\Delta} d(f dz) = \int_{\Delta} \partial_{\overline{z}} f d\overline{z} \wedge dz$$ (la forma bidimensional del teorema de Stokes, supongo que conocido clásicamente como teorema de Green en el plano). Ahora se calcula $d \overline{z} \wedge dz = 2i dx \wedge dy,$ por lo que encontramos que $$\int_{\gamma} f dz = 2i \int_{\Delta} \partial_{\overline{z}} f dx \wedge dy,$$ donde $dx \wedge dy$ es la forma de área habitual.

Si $f$ es holomorfa, entonces $\partial_{\overline{z}} f = 0,$ y así esta integral desaparece. Pero si por ejemplo $f = \overline{z}$ entonces derivada parcial es igual a $1$ así que sólo estamos computando $2i$ veces el superficie de $\Delta$ . (Esta es una forma de obtener la respuesta de $i$ para la integral de línea alrededor de un triángulo que describí anteriormente).

3voto

lhf Puntos 83572

Podemos escribir $f(z) = f(z_0) + f'(z_0)h + h \phi(h)$ con $h = (z - z_0)$ y $\phi(h) \to 0$ como $h \to 0$ exactamente cuando $f$ es holomorfa (es decir, diferenciable en el complejo).

En $f$ es sólo $\mathbb R^2$ diferenciable se obtiene $f(z) = f(z_0) + \nabla f(z_0) \cdot (h_x,h_y) + \cdots$ que no es lo mismo.

3voto

Ted Shifrin Puntos 33487

Recuerde que $f=u+iv$ es un $\Bbb C$ -y estamos considerando la integral de línea $$\int_\gamma f(z)\,dz = \int_\gamma (u+iv)(dx+i\,dy)= \int_\gamma (u\,dx - v\,dy)+i(v\,dx+u\,dy).$$ Cuando se llega a la aproximación lineal de una función diferenciable $(u,v)\colon\Bbb R^2\to\Bbb R^2$ tendrás algo parecido a $$\int_\gamma \big((Ax + By) + i(Cx+Dy)\big)\, dx + i\big((Ax + By) + i(Cx+Dy)\big)\, dy\,,$$ que no tendrá primitiva (y por tanto no tendrá integral $0$ ) a menos que $B+iD=iA-C$ . Esto se parece mucho a las ecuaciones de Cauchy-Riemann.

AÑADIDO : ¿Dónde $B+iD=iA-C$ ¿De dónde viene? $\displaystyle\int_\gamma ax\,dx + by\,dy = 0$ para todos $a,b$ y curvas cerradas $\gamma$ . Esto se deduce del Teorema de Green o de observar que $F(x,y)=\frac12(ax^2+by^2)$ es una primitiva. Pero ¿qué pasa con $\displaystyle\int_\gamma ay\,dx + bx\,dy$ ? De nuevo, el Teorema de Green nos dice que cuando $\gamma$ delimita una región $R$ esta integral es $\displaystyle\iint_R (b-a)\,dxdy$ . Por lo tanto, si queremos que esta integral sea $0$ para todos los $\gamma$ necesitamos $a=b$ . Alternativamente, podemos ver que $a=b$ es necesario y suficiente para que tengamos una función (suave) $F$ con $\displaystyle\frac{\partial F}{\partial x} = ay$ y $\displaystyle\frac{\partial F}{\partial y} = by$ en la medida en que $b=\displaystyle\frac{\partial^2 F}{\partial x\partial y} = \displaystyle\frac{\partial^2 F}{\partial y\partial x}=a$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X