Ich benutze hier zur Vereinfachung der Rechnung oBdA \(a>b>0\). Beide größer \(0\) da wir sonst keine echte Ellipse haben, \(a\neq b\) aus dem gleichen Grund, und \(a>b\) weil wir sonst die Kurve einfach rückwärts laufen können, das Integral wie unten errechnen und das Vorzeichen des Ergebnisses invertieren.
Du musst erst einmal überhaupt untersuchen, wie deine Ellipse geometrisch aussieht aus der Formel heraus, nur so kannst du mögliche Homotopien angeben. Wir erinnern uns, dass Ellipsen affine Bilder von Kreisen sind.
Wir rechnen mal in Real- und Imaginärteil aus:
$$\mathfrak{Re}(s(t))=a\cos(t)+b\cos(-t)=(a+b)\cos(t),\\ \mathfrak{Im}(s(t))=a\sin(t)+b\sin(-t)=(a-b)\sin(t).$$
Deine Ellipse ist also einfach nur der Einheitskreis, der an der reellen Achse um den Faktor \(a+b\) und an der Imaginären Achse um den Faktor \(a-b\) gestreckt wurde. Das sind auch die Größen der Haupt- und Nebenachse. Wenn also z.B. \(a=5,b=3\), dann hast du eine Ellipse mit Schwerpunkt im Ursprung, reeller Hauptachse mit Größe \(8\) und imaginärer Nebenachse mit Größe \(2\).
Wenn \(b=0\), sind Haupt- und Nebenachse gleich \(a\), wir hätten also einen Kreis mit Radius \(a\). Eine mögliche Homotopie wäre also \(H(t,l)=ae^{it}+ble^{-it}\). Wir haben aus obiger Überlegung, dass \(H_1\) unsere Ellipse ist und \(H_0\) der Kreis mit Radius \(a\) um den Ursprung. Rein anschaulich wird der Kreis genommen und an einer Achse auseinandergezogen und an der anderen zusammengedrückt, bis unsere Ellipse entsteht.
Diese Homotopie geht nie über den Ursprung, das ist sehr wichtig, denn das wäre die einzige Singularität, die \(f(z)=z^p\) überhaupt haben kann. Ansonsten ist unser \(f\) unabhängig von \(p\) in ganz \(\mathbb{C}\setminus\{0\}\) holomorph.
Jetzt wissen wir, dass das Integral über deine Ellipse gleich dem Integral über den Kreis mit Radius \(a\) ist. Nach dem Cauchy-Integralsatz müssen wir also das gleiche Kurvenintegral haben. Jetzt könnte man den Radius auch stetig kleiner machen (beliebig klein, was für jeden noch so kleinen Radius mit einer Homotopie zu bewerkstelligen ist), und bekommt also das gleiche Ergebnis wie ihr wahrscheinlich in der Vorlesung mit Kreisen durchgekaut habt: \(0\) für \(p\neq -1\) und \(2\pi i\) für \(p=-1\).
