next up previous
Next: Czasem można sobie poradzić Up: Rozwiązywanie równań Previous: Nierozwiązalność równań wielomianowych przez

Wzory na pierwiastki dowolnego wielomianu

To, że nie znamy ogólnej metody rozwiązywania równań wielomianowych przez pierwiastniki nie oznacza, że nie potrafimy podać innych metod ogólnych, przy pomocy których można wyrazić pierwiastki dowolnego wielomianu. Około 1858 roku Hermite, Kronecker i Brioschi rozwiązali równanie stopnia piątego przy pomocy modularnych całek eliptycznych. Nieco później, około roku 1870, Jordan udowadnia, że pierwiastki równania dowolnego stopnia daje się wyrazić poprzez funkcje modularne, a siedem lat później Felix Klein wyraża pierwiastki równania stopnia pięć przez funkcje hipergeometryczne. W latach 1884-1892 Lindemann podaje wzory na pierwiastki dowolnego wielomianu z użyciem funkcji $ \theta$, a w 1915 roku Robert Hjalmal Mellin podaje analogiczne wzory, tym razem z wykorzystaniem tzw. całek Mellina. W latach dwudziestych XX wieku podobne rezultaty z użyciem funkcji hipergeometrycznych uzyskują Bierkeland, Capelli, Belardinelli, Pincherle, Appell i Kampe de Feriet. Podamy - za książką D. Mumforda, "Tata Lectures on Theta", Birkhäuser, Boston 1983 (t. I), 1984 (t. II) - jeden z takich rezultatów, wykorzystujący funkcję $ \theta$.

Niech a0, a1,..., an będą liczbami zespolonymi, przy czym a0 jest różne od 0 i wielomian

f (x) = a0xn + a1xn-1 + ... + an-1x + an

jest nierozkładalny nad ciałem $ \mathbb {Q}$(a0, a1,..., an) oraz f (0), f (1) i (dla nieparzystego n) f (2) są wszystkie różne od 0. Niech $ \alpha_{1}^{}$,$ \alpha_{2}^{}$,...,$ \alpha_{n}^{}$ będą wszystkimi zespolonymi pierwiastkami wielomianu f (x). W zależności od parzystości n rozważmy wielomian

w(x) = $\displaystyle \left\{\vphantom{ \begin{array}{ll} x(x-1)(a_0 x^n + a_1 x^{n-1} ...
...{n-1} + ... + a_{n-1} x + a_n) & \mbox{ dla parzystego } n \end{array} }\right.$$\displaystyle \begin{array}{ll} x(x-1)(a_0 x^n + a_1 x^{n-1} + ... + a_{n-1} x ...
... + a_1 x^{n-1} + ... + a_{n-1} x + a_n) & \mbox{ dla parzystego } n \end{array}$

Niech

x1 = 0, x2 = 1, xi+2 = $\displaystyle \alpha_{i}^{}$

i, ewentualnie (dla parzystego n), xn+3 = 2. Niech C będzie (zespoloną) krzywą hipereliptyczną o równaniu

y2 = w(x).

Jako krzywą hipereliptyczną rozumiemy tu krzywą płaską, która w pewnym układzie współrzednych ma równanie y2 = w(x), gdzie w(x) jest wielomianem rozdzielczym (tzn. bez pierwiastków wielokrotnych) stopnia większego od 4. Uwaga! Krzywa zespolona topologicznie jest powierzchnią! Zespolona (rzutowa) krzywa eliptyczna jest topologicznie równoważna z torusem (obwarzankiem z jedną dziurą), a krzywa hipereliptyczna - z "obwarzankiem" o g dziurach, gdzie

g = $\displaystyle \left\{\vphantom{ \begin{array}{ll} (n-1)/2 & \mbox{ dla nieparzy...
...} n = \deg(w(x)),\\
(n-2)/2 & \mbox{ dla parzystego } n \end{array} }\right.$$\displaystyle \begin{array}{ll} (n-1)/2 & \mbox{ dla nieparzystego } n = \deg(w(x)),\\
(n-2)/2 & \mbox{ dla parzystego } n \end{array}$

Liczbę dziur g nazywamy rodzajem krzywej.

W następnej kolejności budujemy bazę grupy homologii H1(C,$ \mathbb {Z}$) krzywej zespolonej C o równaniu y2 = (x - x1) . ... . (x - x2g+1) w taki oto sposób: Odwzorowanie p(x, y) = x przekształca krzywą C w dwulistne nakrycie prostej $ \mathbb {C}$1 (czyli płaszczyzny Gaussa), rozgałęzione w punktach x = x1, x = x2,..., x = x2g+1 i w nieskończoności. Z dokładnością do równoważności topologicznej model krzywej C można zbudować, rozcinając $ \mathbb {C}$1 wzdłuż łuków łączących x1 z x2, x3 z x4, ..., x2g-1 z x2g, oraz x2g+1 z punktem w nieskończoności. Następnie dwa egzemplarze takiej porozcinaniej płaszczyzny Gaussa sklejamy, łącząc ze sobą przeciwne brzegi każdego rozcięcia - ale z różnych egzemplarzy płaszczyzny Gaussa. Bazę standardową tworzy 2g konturów A1,..., Ag, B1,..., Bg takich, że:

Baza standardowa wyznaczona jest przez kolejność pierwiastków wielomianu, wystepującego w równaniu krzywej hipereliptycznej.

Dla bazy standardowej A1,..., Ag, B1,..., Bg można utworzyć macierz okresów wybierając najpierw unormowaną bazę holomorficznych form różniczkowych

$\displaystyle \omega_{i}^{}$ = Pi(x)dx/y

spełniających warunki:

$\displaystyle \int_{{A_i}}^{}$$\displaystyle \omega_{j}^{}$ = $\displaystyle \delta_{{ij}}^{}$.

Macierz okresów

$\displaystyle \Omega$ = [$\displaystyle \Omega_{{ij}}^{}$]

ma elementy

$\displaystyle \Omega_{{ij}}^{}$ = $\displaystyle \int_{{B_i}}^{}$$\displaystyle \omega_{j}^{}$.

Niech zatem $ \Omega$ będzie macierzą okresów krzywej C względem standardowej bazy grupy H1(C,$ \mathbb {Z}$) z numeracją zgodną z numeracją pierwiastków. Niech 2g + 1 będzie stopniem wielomianu w(x). Oznaczmy

$\displaystyle \theta$(z,$\displaystyle \Omega$) = $\displaystyle \sum_{{n \in {\mathbb Z}^g}}^{}$e$\scriptstyle \pi$in$\scriptstyle \Omega$nT+2$\scriptstyle \pi$inzT

jako funkcję $ \theta$ wielu zmiennych oraz

$\displaystyle \theta$$\displaystyle \left[\vphantom{ \begin{array}{c} a   b \end{array} }\right.$$\displaystyle \begin{array}{c} a   b \end{array}$$\displaystyle \left.\vphantom{ \begin{array}{c} a   b \end{array} }\right]$(z,$\displaystyle \Omega$) = e$\scriptstyle \pi$ia$\scriptstyle \Omega$a+2$\scriptstyle \pi$ia(z+b)T$\displaystyle \theta$(z + a$\displaystyle \Omega$ + b,$\displaystyle \Omega$)

jako funkcję $ \theta$ wielu zmiennych z charakterystykami a, b.

$ \theta$-funkcja wielu zmiennych $ \theta$(z,$ \Omega$) jest uogólnieniem klasycznej $ \theta$-funkcji, funkcji analitycznej dwóch zmiennych

$\displaystyle \theta$(z,$\displaystyle \tau$) = $\displaystyle \sum_{{n \in {\mathbb Z}}}^{}$e$\scriptstyle \pi$in2$\scriptstyle \tau$+2$\scriptstyle \pi$inz

dla z $ \in$ $ \mathbb {C}$ i Im$ \tau$ > 0.

Ponadto oznaczmy:

A = $\displaystyle \theta$$\displaystyle \left[\vphantom{ \begin{array}{c} (\frac{1}{2}, 0, 0, ..., 0)   (0, 0, 0, ..., 0) \end{array} }\right.$$\displaystyle \begin{array}{c} (\frac{1}{2}, 0, 0, ..., 0)   (0, 0, 0, ..., 0) \end{array}$$\displaystyle \left.\vphantom{ \begin{array}{c} (\frac{1}{2}, 0, 0, ..., 0)   (0, 0, 0, ..., 0) \end{array} }\right]$(0,$\displaystyle \Omega$),

B = $\displaystyle \theta$$\displaystyle \left[\vphantom{ \begin{array}{c} (\frac{1}{2}, \frac{1}{2}, 0, ..., 0)   (0, 0, 0, ..., 0) \end{array} }\right.$$\displaystyle \begin{array}{c} (\frac{1}{2}, \frac{1}{2}, 0, ..., 0)   (0, 0, 0, ..., 0) \end{array}$$\displaystyle \left.\vphantom{ \begin{array}{c} (\frac{1}{2}, \frac{1}{2}, 0, ..., 0)   (0, 0, 0, ..., 0) \end{array} }\right]$(0,$\displaystyle \Omega$),

C = $\displaystyle \theta$$\displaystyle \left[\vphantom{ \begin{array}{c} (0, 0, 0, ..., 0)   (0, 0, 0, ..., 0) \end{array} }\right.$$\displaystyle \begin{array}{c} (0, 0, 0, ..., 0)   (0, 0, 0, ..., 0) \end{array}$$\displaystyle \left.\vphantom{ \begin{array}{c} (0, 0, 0, ..., 0)   (0, 0, 0, ..., 0) \end{array} }\right]$(0,$\displaystyle \Omega$),

D = $\displaystyle \theta$$\displaystyle \left[\vphantom{ \begin{array}{c} (0, \frac{1}{2}, 0, ..., 0)   (0, 0, 0, ..., 0) \end{array} }\right.$$\displaystyle \begin{array}{c} (0, \frac{1}{2}, 0, ..., 0)   (0, 0, 0, ..., 0) \end{array}$$\displaystyle \left.\vphantom{ \begin{array}{c} (0, \frac{1}{2}, 0, ..., 0)   (0, 0, 0, ..., 0) \end{array} }\right]$(0,$\displaystyle \Omega$),

E = $\displaystyle \theta$$\displaystyle \left[\vphantom{ \begin{array}{c} (0, 0, 0, ..., 0)   (\frac{1}{2}, 0, 0, ..., 0) \end{array} }\right.$$\displaystyle \begin{array}{c} (0, 0, 0, ..., 0)   (\frac{1}{2}, 0, 0, ..., 0) \end{array}$$\displaystyle \left.\vphantom{ \begin{array}{c} (0, 0, 0, ..., 0)   (\frac{1}{2}, 0, 0, ..., 0) \end{array} }\right]$(0,$\displaystyle \Omega$),

F = $\displaystyle \theta$$\displaystyle \left[\vphantom{ \begin{array}{c} (0, \frac{1}{2}, 0, ..., 0)   (\frac{1}{2}, 0, 0, ..., 0) \end{array} }\right.$$\displaystyle \begin{array}{c} (0, \frac{1}{2}, 0, ..., 0)   (\frac{1}{2}, 0, 0, ..., 0) \end{array}$$\displaystyle \left.\vphantom{ \begin{array}{c} (0, \frac{1}{2}, 0, ..., 0)   (\frac{1}{2}, 0, 0, ..., 0) \end{array} }\right]$(0,$\displaystyle \Omega$).

Wtedy zachodzi równość:

x3 = $\displaystyle \alpha_{1}^{}$ = $\displaystyle {\frac{{A^4 B^4 + C^4 D^4 - E^4 F^4}}{{2 A^4 B^4}}}$.


next up previous
Next: Czasem można sobie poradzić Up: Rozwiązywanie równań Previous: Nierozwiązalność równań wielomianowych przez
Pawel Gladki 2006-01-30