Witam.
Mam problem z następującym zadaniem:
Udowodnić, że jeśli \(\displaystyle{ a_{j}}\) są liczbami rzeczywistymi i
\(\displaystyle{ 0< a_{0}<a_{1}<...<a_{n-1}<a_{n}}\),
to równanie
\(\displaystyle{ a_{0}+a_{1}z+a_{2}z^{2}+...+a_{n}z^{n}=0}\)
nie ma pierwiastków z, dla których \(\displaystyle{ \left| z\right| >1}\).
równanie stopnia n
-
- Użytkownik
- Posty: 12
- Rejestracja: 19 cze 2014, o 12:00
- Płeć: Mężczyzna
- Lokalizacja: Poznań
- Podziękował: 1 raz
- Pomógł: 3 razy
-
- Użytkownik
- Posty: 379
- Rejestracja: 21 sty 2012, o 01:31
- Płeć: Mężczyzna
- Lokalizacja: Lublin/Warszawa
- Pomógł: 44 razy
równanie stopnia n
A to nie jest zadanie na tw Rouche lub coś? Przepraszam, że budzę wątpliwość, ale kawał czasu temu to miałem i juz dokladnie tych twierdzonek nie pamietam
- fon_nojman
- Użytkownik
- Posty: 1599
- Rejestracja: 13 cze 2009, o 22:26
- Płeć: Mężczyzna
- Lokalizacja: Łódź
- Podziękował: 68 razy
- Pomógł: 255 razy
równanie stopnia n
Można zrobić z Rouchego, dobry trop.
Szkic:
Rozważyć równanie \(\displaystyle{ \frac{a_0}{a_n}+\frac{a_1}{a_n}z+\ldots+z^{n}=0.}\) Rozważyć funkcje \(\displaystyle{ g(z)=\frac{a_0}{a_n}+\frac{a_1}{a_n}z+\ldots+\frac{a_{n-1}}{a_n}z^{n-1}, f(z)=z^n.}\) W kole \(\displaystyle{ |z| \le 1}\) zachodzi \(\displaystyle{ |g(z)|<|f(z)|,}\) stąd \(\displaystyle{ f}\) i \(\displaystyle{ f+g}\) mają tyle samo pierwiastków (dokładnie \(\displaystyle{ n}\)) w kole \(\displaystyle{ |z| \le 1}\) czyli poza nim nie mają pierwiastków.
Szkic:
Rozważyć równanie \(\displaystyle{ \frac{a_0}{a_n}+\frac{a_1}{a_n}z+\ldots+z^{n}=0.}\) Rozważyć funkcje \(\displaystyle{ g(z)=\frac{a_0}{a_n}+\frac{a_1}{a_n}z+\ldots+\frac{a_{n-1}}{a_n}z^{n-1}, f(z)=z^n.}\) W kole \(\displaystyle{ |z| \le 1}\) zachodzi \(\displaystyle{ |g(z)|<|f(z)|,}\) stąd \(\displaystyle{ f}\) i \(\displaystyle{ f+g}\) mają tyle samo pierwiastków (dokładnie \(\displaystyle{ n}\)) w kole \(\displaystyle{ |z| \le 1}\) czyli poza nim nie mają pierwiastków.
- Dasio11
- Moderator
- Posty: 10226
- Rejestracja: 21 kwie 2009, o 19:04
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Podziękował: 40 razy
- Pomógł: 2362 razy
równanie stopnia n
W kole to raczej nie, bo przecież \(\displaystyle{ f(0) = 0.}\) Ale co gorsza nawet na okręgu \(\displaystyle{ |z|=1}\) nie, bo gdy na przykładfon_nojman pisze:Rozważyć funkcje \(\displaystyle{ g(z)=\frac{a_0}{a_n}+\frac{a_1}{a_n}z+\ldots+\frac{a_{n-1}}{a_n}z^{n-1}, f(z)=z^n.}\) W kole \(\displaystyle{ |z| \le 1}\) zachodzi \(\displaystyle{ |g(z)|<|f(z)|,}\)
\(\displaystyle{ g(z) = \frac{1}{3} + \frac{2}{3} z \\[2ex]
f(z) = z^2,}\)
to dla \(\displaystyle{ z=1}\) mamy
\(\displaystyle{ g(z) = 1 = f(z).}\)
W ten sposób nie zadziała.
- fon_nojman
- Użytkownik
- Posty: 1599
- Rejestracja: 13 cze 2009, o 22:26
- Płeć: Mężczyzna
- Lokalizacja: Łódź
- Podziękował: 68 razy
- Pomógł: 255 razy
równanie stopnia n
Trochę poczytałem na temat tego zadania jest to twierdzenie Enestroma-Kakey, podaje ono warunek dostateczny na stabilność wielomianu w sensie Schura.
Dowód można zrobić bez twierdzenia Rouche.
Nie wprost, załóżmy że \(\displaystyle{ z_0}\) jest pierwiastkiem wielomianu \(\displaystyle{ W(z)=a_n z^n+a_{n-1} z^{n-1}+\ldots+a_0}\) z zadania oraz \(\displaystyle{ |z_0|>1.}\) Wtedy \(\displaystyle{ z_0}\) jest także pierwiastkiem \(\displaystyle{ (1-z)W(z)}\) czyli
\(\displaystyle{ |a_n z_0^{n+1}|=|(a_n-a_{n-1})z_0^n+\ldots+(a_1-a_0)z_0+a_0|<(a_n-a_{n-1})|z_0|^n+\ldots+(a_1-a_0)|z_0|^n+a_0 |z_0|^n=a_n |z_0|^n<|a_n z_0^{n+1}|.}\)
Sprzeczność.
Dowód można zrobić bez twierdzenia Rouche.
Nie wprost, załóżmy że \(\displaystyle{ z_0}\) jest pierwiastkiem wielomianu \(\displaystyle{ W(z)=a_n z^n+a_{n-1} z^{n-1}+\ldots+a_0}\) z zadania oraz \(\displaystyle{ |z_0|>1.}\) Wtedy \(\displaystyle{ z_0}\) jest także pierwiastkiem \(\displaystyle{ (1-z)W(z)}\) czyli
\(\displaystyle{ -a_n z_0^{n+1}+(a_n-a_{n-1})z_0^n+\ldots+(a_1-a_0)z_0+a_0=0.}\)
Stąd\(\displaystyle{ |a_n z_0^{n+1}|=|(a_n-a_{n-1})z_0^n+\ldots+(a_1-a_0)z_0+a_0|<(a_n-a_{n-1})|z_0|^n+\ldots+(a_1-a_0)|z_0|^n+a_0 |z_0|^n=a_n |z_0|^n<|a_n z_0^{n+1}|.}\)
Sprzeczność.