11 svar
147 visningar
sannakarlsson1337 590
Postad: 15 jun 2020 14:41

Analytisk funktion

Undrar, varför är sin(z)  analytisk i hela sin definitionsmängd? jämn med abs(z) ? alltså hela definitionsmängden 

Moffen 1875
Postad: 15 jun 2020 14:57 Redigerad: 15 jun 2020 16:48

Vad menar du med "jämn med abs(z) ?"? Där tappar jag bort mig.

Hur som helst, att f(z)=sinzf(z)=\sin{z}, f:Df : D \subset \mathbb{C} \to \mathbb{C} är analytisk i hela sin definitionsmängd kan ses eftersom CR-ekvationen z¯sin(z)=0\frac{\partial}{\partial \bar{z}}\left(\sin(z)\right)=0 i hela DD. Men om du med "abs(z)" menar zz¯\sqrt{\left(z\bar{z}\right)} så gäller ju att z¯zz¯0\frac{\partial}{\partial \bar{z}}\left(\sqrt{\left(z\bar{z}\right)}\right)\neq0 i hela DD beroende på vad vi väljer DD som (Ex. D={z:|z|1}D = \{z \in \mathbb{C}: \vert z \vert \leq 1\}).

 

EDIT: Ändrade DD.

sannakarlsson1337 590
Postad: 15 jun 2020 15:01
Moffen skrev:

Vad menar du med "jämn med abs(z) ?"? Där tappar jag bort mig.

Hur som helst, att f(z)=sinzf(z)=\sin{z}, f:Df : D \subset \mathbb{C} \to \mathbb{C} är analytisk i hela sin definitionsmängd kan ses eftersom CR-ekvationen z¯sin(z)=0\frac{\partial}{\partial \bar{z}}\left(\sin(z)\right)=0 i hela DD. Men om du med "abs(z)" menar zz¯\sqrt{\left(z\bar{z}\right)} så gäller ju att z¯zz¯0\frac{\partial}{\partial \bar{z}}\left(\sqrt{\left(z\bar{z}\right)}\right)\neq0 i hela DD beroende på vad vi väljer DD som (Ex. D={z:z>0}D = \{z : \Re{\left(z\right)} >0 \}).

jämförelse 

sannakarlsson1337 590
Postad: 15 jun 2020 15:05
Moffen skrev:

Vad menar du med "jämn med abs(z) ?"? Där tappar jag bort mig.

Hur som helst, att f(z)=sinzf(z)=\sin{z}, f:Df : D \subset \mathbb{C} \to \mathbb{C} är analytisk i hela sin definitionsmängd kan ses eftersom CR-ekvationen z¯sin(z)=0\frac{\partial}{\partial \bar{z}}\left(\sin(z)\right)=0 i hela DD. Men om du med "abs(z)" menar zz¯\sqrt{\left(z\bar{z}\right)} så gäller ju att z¯zz¯0\frac{\partial}{\partial \bar{z}}\left(\sqrt{\left(z\bar{z}\right)}\right)\neq0 i hela DD beroende på vad vi väljer DD som (Ex. D={z:|z|1}D = \{z : \vert z \vert \geq 1\}).

 

EDIT: Ändrade DD.

vad är det för konstigt R där du menar? med z > 0

sannakarlsson1337 590
Postad: 15 jun 2020 15:07
Moffen skrev:

Vad menar du med "jämn med abs(z) ?"? Där tappar jag bort mig.

Hur som helst, att f(z)=sinzf(z)=\sin{z}, f:Df : D \subset \mathbb{C} \to \mathbb{C} är analytisk i hela sin definitionsmängd kan ses eftersom CR-ekvationen z¯sin(z)=0\frac{\partial}{\partial \bar{z}}\left(\sin(z)\right)=0 i hela DD. Men om du med "abs(z)" menar zz¯\sqrt{\left(z\bar{z}\right)} så gäller ju att z¯zz¯0\frac{\partial}{\partial \bar{z}}\left(\sqrt{\left(z\bar{z}\right)}\right)\neq0 i hela DD beroende på vad vi väljer DD som (Ex. D={z:|z|1}D = \{z : \vert z \vert \geq 1\}).

 

EDIT: Ändrade DD.

Ja nu såg jag, men e det för att abs(z) inte blir definierad där då i origo?

Moffen 1875
Postad: 15 jun 2020 15:09 Redigerad: 15 jun 2020 15:11
sannakarlsson1337 skrev:
Moffen skrev:

Vad menar du med "jämn med abs(z) ?"? Där tappar jag bort mig.

Hur som helst, att f(z)=sinzf(z)=\sin{z}, f:Df : D \subset \mathbb{C} \to \mathbb{C} är analytisk i hela sin definitionsmängd kan ses eftersom CR-ekvationen z¯sin(z)=0\frac{\partial}{\partial \bar{z}}\left(\sin(z)\right)=0 i hela DD. Men om du med "abs(z)" menar zz¯\sqrt{\left(z\bar{z}\right)} så gäller ju att z¯zz¯0\frac{\partial}{\partial \bar{z}}\left(\sqrt{\left(z\bar{z}\right)}\right)\neq0 i hela DD beroende på vad vi väljer DD som (Ex. D={z:z>0}D = \{z : \Re{\left(z\right)} >0 \}).

jämförelse 

Annars är en komplex funktion analytisk om den är komplex deriverbar i alla punkter i sin definitionsmängd. Testa detta med båda funktionerna, notera speciellt fallet för |z|\vert z \vert i punkten 00. (Lägg in en bild här sen av dina försök!)

 

EDIT: Din andra fråga: Med \Re menas den reella delen av det komplexa talet (Ex. 3-7i=3\Re \left(3-7i\right)=3), men glöm just den mängden för exemplet, jag valde en ny.

sannakarlsson1337 590
Postad: 15 jun 2020 15:41
Moffen skrev:
sannakarlsson1337 skrev:
Moffen skrev:

Vad menar du med "jämn med abs(z) ?"? Där tappar jag bort mig.

Hur som helst, att f(z)=sinzf(z)=\sin{z}, f:Df : D \subset \mathbb{C} \to \mathbb{C} är analytisk i hela sin definitionsmängd kan ses eftersom CR-ekvationen z¯sin(z)=0\frac{\partial}{\partial \bar{z}}\left(\sin(z)\right)=0 i hela DD. Men om du med "abs(z)" menar zz¯\sqrt{\left(z\bar{z}\right)} så gäller ju att z¯zz¯0\frac{\partial}{\partial \bar{z}}\left(\sqrt{\left(z\bar{z}\right)}\right)\neq0 i hela DD beroende på vad vi väljer DD som (Ex. D={z:z>0}D = \{z : \Re{\left(z\right)} >0 \}).

jämförelse 

Annars är en komplex funktion analytisk om den är komplex deriverbar i alla punkter i sin definitionsmängd. Testa detta med båda funktionerna, notera speciellt fallet för |z|\vert z \vert i punkten 00. (Lägg in en bild här sen av dina försök!)

 

EDIT: Din andra fråga: Med \Re menas den reella delen av det komplexa talet (Ex. 3-7i=3\Re \left(3-7i\right)=3), men glöm just den mängden för exemplet, jag valde en ny.

ja, men det e u för d/dz * abs(z) blir något med ett bråk, å därför kan den finnas en noll där?

Moffen 1875
Postad: 15 jun 2020 15:50

Kolla på definitionen här och testa själv och se vad du får :)

sannakarlsson1337 590
Postad: 15 jun 2020 16:03
Moffen skrev:

Kolla på definitionen här och testa själv och se vad du får :)

fattar inte :/

Moffen 1875
Postad: 15 jun 2020 16:20 Redigerad: 15 jun 2020 16:27

Beräkna, för f(z)=sinzf(z)=\sin{z} och för f(z)=|z|f(z)=\vert z \vert följande:

f'(z0)=limzz0f(z)-f(z0)z-z0f'(z_{0})=\lim_{z \to z_{0}}\frac{f(z)-f(z_{0})}{z-z_{0}}. Vad händer för |z|\vert z \vert i punkten z0=0z_{0}=0?

Om detta gränsvärde existerar för alla zDz \in D så gäller att funktionen är holomorf/analytisk. 

EDIT: Det börjar bli lite rörigt. Vi tar om det från början. Har du koll på vad en analytisk funktion är? Komplext deriverbar funktion? Cauchy-Riemann ekvationerna?

Micimacko 4088
Postad: 16 jun 2020 10:00
Moffen skrev:

Vad menar du med "jämn med abs(z) ?"? Där tappar jag bort mig.

Hur som helst, att f(z)=sinzf(z)=\sin{z}, f:Df : D \subset \mathbb{C} \to \mathbb{C} är analytisk i hela sin definitionsmängd kan ses eftersom CR-ekvationen z¯sin(z)=0\frac{\partial}{\partial \bar{z}}\left(\sin(z)\right)=0 i hela DD. Men om du med "abs(z)" menar zz¯\sqrt{\left(z\bar{z}\right)} så gäller ju att z¯zz¯0\frac{\partial}{\partial \bar{z}}\left(\sqrt{\left(z\bar{z}\right)}\right)\neq0 i hela DD beroende på vad vi väljer DD som (Ex. D={z:|z|1}D = \{z \in \mathbb{C}: \vert z \vert \leq 1\}).

 

EDIT: Ändrade DD.

Hur deriverar man map z-konjugat? 

Moffen 1875
Postad: 16 jun 2020 10:05
Micimacko skrev:
Moffen skrev:

Vad menar du med "jämn med abs(z) ?"? Där tappar jag bort mig.

Hur som helst, att f(z)=sinzf(z)=\sin{z}, f:Df : D \subset \mathbb{C} \to \mathbb{C} är analytisk i hela sin definitionsmängd kan ses eftersom CR-ekvationen z¯sin(z)=0\frac{\partial}{\partial \bar{z}}\left(\sin(z)\right)=0 i hela DD. Men om du med "abs(z)" menar zz¯\sqrt{\left(z\bar{z}\right)} så gäller ju att z¯zz¯0\frac{\partial}{\partial \bar{z}}\left(\sqrt{\left(z\bar{z}\right)}\right)\neq0 i hela DD beroende på vad vi väljer DD som (Ex. D={z:|z|1}D = \{z \in \mathbb{C}: \vert z \vert \leq 1\}).

 

EDIT: Ändrade DD.

Hur deriverar man map z-konjugat? 

Jag la in en länk till definitionen lite längre ner där det står "här".

Svara
Close