Με την πρώτη ματιά, το ολοκλήρωμα
\[ \boxed{\displaystyle\int_0^1(-1)^x\,dx} \]
μοιάζει με μια συνηθισμένη άσκηση ολοκληρωτικού λογισμού.
Αρκεί όμως να αναρωτηθούμε:
Είναι η παράσταση ορισμένη ως πραγματικός αριθμός για κάθε \[ x\in[0,1]; \] Και αν όχι, με ποια έννοια μπορεί να υπολογιστεί το ολοκλήρωμα;
Για θετική βάση \(a\), η πραγματική εκθετική συνάρτηση
\[ a^x=e^{x\ln a} \]
ορίζεται χωρίς πρόβλημα για κάθε πραγματικό \(x\).
Για βάση \(-1\), όμως, δεν υπάρχει πραγματικός αριθμός \(\ln(-1)\). Επιπλέον, για πολλές πραγματικές τιμές του \(x\), η ποσότητα \((-1)^x\) δεν είναι καν πραγματικός αριθμός.
💡 Εμφάνιση υπόδειξης
Αν εργαστούμε στους μιγαδικούς αριθμούς, μπορούμε να γράψουμε
\[ -1=e^{\,i(\pi+2\pi k)},\qquad k\in\mathbb Z. \]
Επομένως, η μιγαδική δύναμη εξαρτάται από την επιλογή κλάδου του λογαρίθμου.
Αν, για παράδειγμα, επιλέξουμε τον κύριο κλάδο, τότε
\[ \Log(-1)=i\pi \]
και συνεπώς
\[ (-1)^x=e^{i\pi x}. \]
Από αυτό το σημείο το ολοκλήρωμα μπορεί να υπολογιστεί ως μιγαδικό ολοκλήρωμα.
Το δύσκολο σημείο δεν είναι η ολοκλήρωση.
Είναι να αποφασίσουμε πρώτα σε ποιο σύνολο αριθμών εργαζόμαστε και τι ακριβώς εννοούμε με το \[ (-1)^x. \]
Άραγε το ολοκλήρωμα έχει μία μοναδική τιμή;

Δεν υπάρχουν σχόλια:
Δημοσίευση σχολίου