Γινόμενο Κωσύ

Στα μαθηματικά, και πιο συγκεκριμένα στη μαθηματική ανάλυση, το γινόμενο Κωσύ είναι η διακριτή συνέλιξη δύο άπειρων σειρών. Πήρε το όνομά του από τον Γάλλο μαθηματικό Ωγκυστέν-Λουί Κωσύ.

Ορισμοί

Το γινόμενο Κωσύ μπορεί να εφαρμοστεί σε άπειρες σειρές.. ή δυναμοσειρές...Όταν εφαρμόζεται σε πεπερασμένες ακολουθίες. ή πεπερασμένες σειρές, αυτό μπορεί να θεωρηθεί απλώς ως μια ειδική περίπτωση ενός γινομένου σειρών με πεπερασμένο αριθμό μη μηδενικών συντελεστών (βλ. διακριτή συνέλιξη).

Τα ζητήματα σύγκλισης εξετάζονται στην επόμενη ενότητα.

Γινόμενο Κωσύ δύο άπειρων σειρών

Έστω  και  δύο άπειρες σειρές με σύνθετους όρους. Το γινόμενο Κωσύ αυτών των δύο άπειρων σειρών ορίζεται από μια διακριτή συνέλιξη ως εξής:

     όπου     .

Γινόμενο Κωσύ δύο δυναμοσειρών

Θεωρήστε τις ακόλουθες δύο δυναμοσειρές

     και     

με μιγαδικούς συντελεστές  και . Το γινόμενο Κωσύ αυτών των δύο δυναμοσειρών ορίζεται από μια διακριτή συνέλιξη ως εξής:

     όπου     .

Σύγκλιση και θεώρημα Μέρτενς

Έστω  και  πραγματικές ή μιγαδικές ακολουθίες. αποδείχθηκε από τον Φραντς Μέρτενς ότι, αν οι σειρές  συγκλίνουν στο  και  συγκλίνουν στο , και τουλάχιστον μία από αυτές συγκλίνει απόλυτα, τότε το γινόμενο Κωσύ τους συγκλίνει στο . Το θεώρημα εξακολουθεί να ισχύει σε μια άλγεβρα Μπάναχ (βλέπε πρώτη γραμμή της ακόλουθης απόδειξης). 

Δεν αρκεί και οι δύο σειρές να είναι συγκλίνουσες- αν και οι δύο σειρές είναι υπό συνθήκη συγκλίνουσες, το γινόμενο Κωσύ δεν χρειάζεται να συγκλίνει προς το γινόμενο των δύο σειρών, όπως δείχνει το ακόλουθο παράδειγμα:

Παράδειγμα
Εξετάστε τις δύο εναλλασσόμενες σειρές με

οι οποίες συγκλίνουν μόνο υπό όρους (η απόκλιση της σειράς των απόλυτων τιμών προκύπτει από το τεστ άμεσης σύγκρισης και την απόκλιση της αρμονικής σειράς). Οι όροι του γινομένου Κωσύ τους δίνονται ως εξής

για κάθε ακέραιο . Αφού για κάθε  έχουμε τις ανισότητες  και , προκύπτει για την τετραγωνική ρίζα στον παρονομαστή ότι , επομένως, επειδή υπάρχουν  αθροίσματα,

για κάθε ακέραιο . Επομένως, το  δεν συγκλίνει στο μηδέν καθώς  επομένως η σειρά του  αποκλίνει με τον όρο test.

Απόδειξη του θεωρήματος Μέρτενς

Για απλοποίηση, θα το αποδείξουμε για μιγαδικούς αριθμούς. Ωστόσο, η απόδειξη που πρόκειται να δώσουμε είναι τυπικά πανομοιότυπη για μια αυθαίρετη άλγεβρα Μπάναχ (δεν απαιτείται καν αντιμεταθετικότητα ή συσχετιστικότητα). 

Υποθέστε χωρίς απώλεια γενικότητας ότι η σειρά  συγκλίνει απόλυτα. Ορίζουμε τα μερικά αθροίσματα 

με

τότε

με αναδιάταξη, επομένως

Δεδομένου .  ότι το  συγκλίνει απόλυτα και ότι το  συγκλίνει στο   καθώς το  υπάρχει ένας ακέραιος  τέτοιος ώστε, για όλους τους ακέραιους ,

(αυτό είναι το μόνο σημείο όπου χρησιμοποιείται η απόλυτη σύγκλιση). Εφόσον η σειρά του  συγκλίνει, το μεμονωμένο  πρέπει να συγκλίνει στο 0 με τον έλεγχο του όρου. Συνεπώς, υπάρχει ένας ακέραιος M τέτοιος ώστε, για όλους τους ακέραιους ,

Επίσης, δεδομένου ότι η  συγκλίνει στην  καθώς , υπάρχει ένας ακέραιος  τέτοιος ώστε, για όλους τους ακέραιους ,

Στη συνέχεια, για όλους τους ακέραιους , χρησιμοποιήστε την αναπαράσταση () για , χωρίστε το άθροισμα σε δύο μέρη, χρησιμοποιήστε την τριγωνική ανισότητα για την απόλυτη τιμή, και τέλος χρησιμοποιήστε τις τρεις εκτιμήσεις (), () και () για να δείξετε ότι

Σύμφωνα με τον ορισμό της συγκλίνουσας σειράς,  όπως απαιτείται.

Θεώρημα του Σεζάρο

Σε περιπτώσεις όπου οι δύο ακολουθίες είναι συγκλίνουσες αλλά όχι απόλυτα συγκλίνουσες, το γινόμενο Κωσύ εξακολουθεί να είναι αθροιστικό του Σεζάρο: Ειδικότερα:

Αν ,  είναι πραγματικές ακολουθίες με  and  τότε

Αυτό μπορεί να γενικευτεί στην περίπτωση που οι δύο ακολουθίες δεν είναι συγκλίνουσες αλλά απλώς αθροιστικές του Σεζάρο:

Θεώρημα

Για  και , ας υποθέσουμε ότι η ακολουθία  είναι  αθροιζόμενη με άθροισμα A και   είναι  αθροιζόμενη με άθροισμα B. Τότε το γινόμενό τους Κωσύ είναι  αθροιζόμενο με άθροισμα AB.

Παραδείγματα

 Για ορισμένα , let  και . Τότε 

από τον ορισμό και τον διωνυμικό τύπο. Δεδομένου ότι, τυπικά  και  δείξαμε ότι . Δεδομένου ότι το όριο του γινομένου Κωσύ δύο απολύτως συγκλίνουσας σειράς είναι ίσο με το γινόμενο των ορίων αυτών των σειρών, έχουμε αποδείξει τον τύπο  for all .
 Ως δεύτερο παράδειγμα,  έστω  για όλα τα . Τότε  για όλα τα  οπότε το γινόμενο Κωσύ  δεν συγκλίνει.

Γενικεύσεις

Όλα τα παραπάνω ισχύουν για ακολουθίες στο  (μιγαδικοί αριθμοί).  Το γινόμενο Κωσύ μπορεί να οριστεί για σειρές στους χώρους  (Ευκλείδειοι χώροι) όπου ο πολλαπλασιασμός είναι το εσωτερικό γινόμενο.  Σε αυτή την περίπτωση, έχουμε το αποτέλεσμα ότι αν δύο σειρές συγκλίνουν απόλυτα, τότε το γινόμενο Κωσύ τους συγκλίνει απόλυτα στο εσωτερικό γινόμενο των ορίων.

 Γινόµενο πεπερασµένου αριθµού άπειρων σειρών 

Έστω  τέτοιο ώστε  (στην πραγματικότητα τα παρακάτω ισχύουν και για  αλλά η δήλωση γίνεται τετριμμένη σε αυτή την περίπτωση) και έστω  άπειρες σειρές με μιγαδικούς συντελεστές, από τις οποίες όλες εκτός από την th συγκλίνουν απόλυτα, και η th συγκλίνει. Τότε το όριο

υπάρχει και έχουμε:

 Απόδειξη 
Επειδή

η δήλωση μπορεί να αποδειχθεί με επαγωγή επί του : Η περίπτωση για  είναι πανομοιότυπη με τον ισχυρισμό για το γινόμενο Κωσύ. Αυτή είναι η επαγωγική μας βάση.

Το βήμα επαγωγής έχει ως εξής: Έστω ότι ο ισχυρισμός είναι αληθής για ένα  τέτοιο ώστε, και έστω   να είναι άπειρες σειρές με μιγαδικούς συντελεστές, από τις οποίες όλες εκτός από την -th συγκλίνουν απόλυτα και η -οστή συγκλίνει. Εφαρμόζουμε πρώτα την υπόθεση επαγωγής στη σειρά . Λαμβάνουμε ότι η σειρά

συγκλίνει, και επομένως, σύμφωνα με την τριγωνική ανισότητα και το κριτήριο του σάντουιτς, η σειρά

συγκλίνει, και ως εκ τούτου η σειρά

συγκλίνει απόλυτα. Επομένως, με την υπόθεση της επαγωγής, με αυτό που απέδειξε ο Mertens και με τη μετονομασία των μεταβλητών, έχουμε:

Επομένως, ο τύπος ισχύει και για το .

 Σχέση με τη συνέλιξη συναρτήσεων 

Μια πεπερασμένη ακολουθία μπορεί να θεωρηθεί ως μια άπειρη ακολουθία με μόνο πεπερασμένους μη μηδενικούς όρους, ή με άλλα λόγια ως μια συνάρτηση  με πεπερασμένη υποστήριξη. Για οποιεσδήποτε μιγαδικής αξίας συναρτήσεις f, g στο  με πεπερασμένη υποστήριξη, μπορούμε να πάρουμε τη συνέλιξή τους:

Τότε  είναι το ίδιο πράγμα με το γινόμενο Κωσύ του  και .

Γενικότερα, δεδομένου ενός μονοειδούς S, μπορεί κανείς να σχηματίσει την άλγεβρα ημι-ομάδων  του S, με τον πολλαπλασιασμό να δίνεται από τη συνέλιξη. Αν πάρουμε, επί παραδείγματι, , τότε ο πολλαπλασιασμός στο  είναι μια γενίκευση του γινομένου Κωσύ σε υψηλότερη διάσταση.

 Δείτε επίσης 
 Απαγορευτική αρχή του Πάουλι
 Συγκλίνουσα σειρά
 Κανονική κατανομή
 Αλγεβρική θεωρία αριθμών
 Διαφορική γεωμετρία
 Άρθουρ Στάνλεϋ Έντινγκτον
 Θεωρία αναπαραστάσεων
 Σουμπραμανιάν Τσαντρασεκάρ
 Ευκλείδειος χώρος
 Ένα προς ένα
 Σουμπραμανιάν Τσαντρασεκάρ
 Εφαρμοσμένα μαθηματικά
 Προβολικός χώρος
 Ωγκυστέν-Λουί Κωσύ
 Θεμελιώδες θεώρημα αριθμητικής
 Αλγεβρική γεωμετρία
 Μιγαδικός αριθμός
 Τυχαία μεταβλητή
 Ακέραιος αριθμός

 Βιβλιογραφία













 Παραπομπές 

.

.

.

.

.

.

.

.

.

.

.

.

.


 Stevens, S. S. (1951). Mathematics, measurement and psychophysics. In S. S. Stevens (Ed.), Handbook of experimental psychology  (pp. 1–49). New York: Wiley.

 Ch. 1–6 of 2013 edition

Κατηγορία:Θεωρία ομάδων
Κατηγορία:Μιγαδική ανάλυση
Κατηγορία:Στατιστικοί Έλεγχοι
Κατηγορία:Μέθοδοι επιστημονικής έρευνας
Κατηγορία:Εφαρμοσμένα μαθηματικά
Κατηγορία:Περιοχές των μαθηματικών
Κατηγορία:Επιστημονική μέθοδος
Κατηγορία:Μαθηματική ανάλυση
Κατηγορία:Θεωρία αριθμών