4 svar
141 visningar
naytte behöver inte mer hjälp
naytte 7419 – Moderator
Postad: 2 okt 12:56 Redigerad: 2 okt 12:57

Komplex analys - är problem av denna typ helt enkelt flervariabla problem?

Halloj!

Jag studerar uppgiften nedan

Som vi ser dyker det inte upp något zz eller ii någonstans i funktionsuttrycket i HL i funktionsdefinitionen. Innebär detta att problemet egentligen bara är ett flervariabelt gränsvärde i förklädnad, det vill säga vi hade lika gärna kunnat skriva funktionen som

fx,y=x2yx4+y2  där  x,y0,0\displaystyle f\left(x,y\right)=\frac{x^2y}{x^4+y^2}\;\; \text{där}\;\; \left(x,y\right)\ne \left(0,0\right)

och sedan gränsvärdet som

limx,y0,0fx,y\displaystyle \lim_{\left(x,y\right)\to \left(0,0\right)}f\left(x,y\right)

?

D4NIEL 3345
Postad: 2 okt 13:29 Redigerad: 2 okt 13:31

Javisst, om f(x,y)f(x,y) är en helt reell funktion så måste ju lim(x,y)(a,b)fx,y\lim_{(x,y)\to(a,b)}f\left(x,y\right) existera eller inte existera på precis samma vis, oavsett om vi tänker oss att det är en "komplex funktion" eller en "flervariabel"-funktion eftersom 2\mathbb{C} \cong \mathbb{R}^2.

Det är först när vi går till derivatan i komplex mening (dvs. som ett gränsvärde av en  differenskvot) som begreppen skiljer sig. Ett exempel på det är funktionen f(x,y)=x2+y2f(x,y)=x^2+y^2 som kan få vara f(z)=|z|2f(z)=|z|^2. Den är kontinuerlig och deriverbar överallt i 2\mathbb{R}^2, men i det komplexa fallet endast deriverbar i en enda punkt.

Gustor 782
Postad: 2 okt 13:29

Ja, det är riktigt. Man kan säga att det beror på att R^2 och C är isometriska (isomorfa metriska rum) och gränsvärden inte i sig beror av någon annan struktur.


Tillägg: 2 okt 2025 13:31

Missade att frågan redan besvarats

naytte 7419 – Moderator
Postad: 2 okt 21:19 Redigerad: 2 okt 21:48

Tack för svar!

@D4NIEL, när du säger att f(x,y)=x2+y2f(x,y)=x^2+y^2 är deriverbar överallt i 2\mathbb{R}^2, vad menar du då? Syftar du på riktningsderivata / partiell derivata?

D4NIEL 3345
Postad: 3 okt 08:01 Redigerad: 3 okt 08:25

Ja, jag syftade på det lite hårdare kravet differentierbar för att göra en "rättvis" jämförelse med deriverbar i komplex bemärkelse.

Om en funktions partiella derivator existerar och är kontinuerliga i en omgivning av en punkt, så kan vi dra slutsatsen att funktionen är differentierbar i punkten. Eftersom f(x,y)=x2+y2f(x,y)=x^2+y^2 har kontinuerliga partiella derivator är den som reell funktion betraktad, dvs f:2f:\, \mathbb{R}^2 \to \mathbb{R}, differentierbar (deriverbar) i hela 2\mathbb{R}^2. Med det menar vi mer exakt att för varje x0x_0 (i varje punkt) gäller att

limΔx0f(x0+Δx)-f(x0)-f(x0)·ΔxΔx=0\displaystyle \lim_{\Delta x\to 0}\frac{f(x_0+\Delta x)-f(x_0)-\nabla f(x_0) \cdot \Delta x}{\|\Delta x\|}=0

Om vi nu jämför med "motsvarande" gränsvärdeskrav för deriverbarhet i det komplexa fallet f:f:\, \mathbb{C} \to \mathbb{C}

limΔz0f(z0+Δz)-f(z0)-f'(z0)ΔzΔz=0\displaystyle \lim_{\Delta z\to 0}\frac{f(z_0+\Delta z)-f(z_0)-f^\prime(z_0)\Delta z}{\Delta z}=0

ser det ganska likt ut. Men det finns viktiga skillnader som leder till att många reellt differentierbara (deriverbara) funktioner 2\mathbb{R}^2\to \mathbb{R} saknar motsvarighet i det komplexa fallet, trots att funktionerna består av "samma reella uttryck"*{}^*, t.ex. f(x,y)=x2+y2f(x,y)=x^2+y^2 och f(z)=|z|2f(z)=|z|^2 (som bara är deriverbar i en enda punkt). 

*  f:*\quad f:\, \mathbb{C}\to \mathbb{C} via \mathbb{C}\cong \mathbb{R} i betydelsen f:22f:\, \mathbb{R}^2\to \mathbb{R}^2 

Svara
Close