Πρωτεύουσα τιμή Κωσύ

[μικρογραφία|300x300εσ|Διάγραμμα 1: Απεικόνιση  του [Καταχρηστικό ολοκλήρωμα|καταχρηστικού ολοκληρώματος της συνάρτησης x\mapsto x^{-3}.]]
Στα μαθηματικά, η **πρωτεύουσα τιμή Κωσύ**, η οποία πήρε το όνομά της από τον Ωγκυστέν-Λουί Κωσύ, είναι μια μέθοδος για την απόδοση τιμών σε ορισμένα καταχρηστικά ολοκληρώματα που διαφορετικά θα ήταν απροσδιόριστα. Στη μέθοδο αυτή, μια ιδιομορφία σε ένα ολοκληρωτικό διάστημα αποφεύγεται με τον περιορισμό του ολοκληρωτικού διαστήματος στη μη ιδιομορφική περιοχή.

## Ορισμός

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

Για μια ιδιομορφία σε έναν πεπερασμένο αριθμό 

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

:\lim_{\;\eta \to 0^+}\, \lim_{\;\varepsilon \to 0^+} \,\left[\,\int_{b - \frac{1}{\eta}}^{b - \varepsilon} f(x)\,\mathrm{d}x \,~ + ~ \int_{b+\varepsilon}^{b + \frac{1}{\eta}} f(x)\,\mathrm{d}x \,\right].

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

:\lim_{\; \varepsilon\to 0^+\;} \, \left|\,\int_a^{b-\varepsilon} f(x)\,\mathrm{d}x \,\right|\; 

:και

: \lim_{\;\eta\to 0^+}\;\left|\,\int_{b+\eta}^c f(x)\,\mathrm{d}x \,\right| \; 

:τότε η συνάρτηση είναι ολοκληρώσιμη με τη συνήθη έννοια.Το αποτέλεσμα της διαδικασίας για την κύρια τιμή είναι το ίδιο με το συνηθισμένο ολοκλήρωμα- εφόσον δεν ταιριάζει πλέον με τον ορισμό, τεχνικά δεν είναι «κύρια τιμή». Η πρωτεύουσα τιμή Κωσύ μπορεί επίσης να οριστεί ως Μέθοδος των ολοκληρωμάτων περιγράμματος μιας μιγαδικής αξίας συνάρτησης : f(z) : z = x + i\, y \;, με  x , y \in \mathbb{R} \;, με πόλο σε ένα περίγραμμα . Ορίζουμε ως :C(\varepsilon) το ίδιο περίγραμμα, όπου το τμήμα εντός του δίσκου ακτίνας  γύρω από τον πόλο έχει αφαιρεθεί. Εφόσον η συνάρτηση f(z) είναι ολοκληρώσιμη πάνω στο C(\varepsilon) όσο μικρό κι αν γίνεται το , τότε η πρωτεύουσα τιμή Κωσύ είναι το όριο:

:\operatorname{p.\!v.} \int_{C} f(z) \,\mathrm{d}z = \lim_{\varepsilon \to 0^+} \int_{C( \varepsilon)} f(z)\, \mathrm{d}z  .

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

Αν η συνάρτηση f(z) είναι «μερομορφική», το θεώρημα Σοκότσκι-Πλέμελ συσχετίζει την κύρια τιμή του ολοκληρώματος πάνω στο  με τη μέση τιμή των ολοκληρωμάτων με το περίγραμμα μετατοπισμένο ελαφρώς πάνω και κάτω, έτσι ώστε το θεώρημα υπολοίπων να μπορεί να εφαρμοστεί σε αυτά τα ολοκληρώματα.

## Θεωρία κατανομής

Έστω  {C_{c}^{\infty}}(\mathbb{R})  το σύνολο των συναρτήσεων εξομάλυνσης, δηλαδή ο χώρος των λείων συναρτήσεων με συμπαγή υποστήριξη στην πραγματική γραμμή  \mathbb{R} . Τότε ο χάρτης

: \operatorname{p.\!v.} \left( \frac{1}{x} \right) \,:\, {C_{c}^{\infty}}(\mathbb{R}) \to \mathbb{C} 

που ορίζεται μέσω της πρωτεύουσας τιμής Κωσύ ως

: \left[ \operatorname{p.\!v.} \left( \frac{1}{x} \right) \right](u) = \lim_{\varepsilon \to 0^{+}} \int_{\mathbb{R} \setminus [- \varepsilon,\varepsilon]} \frac{u(x)}{x} \, \mathrm{d} x = \lim_{\varepsilon \to 0^{+}} \int_{\varepsilon}^{+ \infty} \frac{u(x) - u(- x)}{x} \, \mathrm{d} x \quad \text{for } u \in {C_{c}^{\infty}}(\mathbb{R}) 

είναι μια κατανομή. Ο ίδιος ο χάρτης μπορεί μερικές φορές να ονομάζεται **κύρια τιμή** (εξ ου και ο συμβολισμός **p.v.**). Αυτή η κατανομή εμφανίζεται, για παράδειγμα, στο μετασχηματισμό Φουριέ της συνάρτησης προσήμου και της συνάρτησης βήματος Χεβιζίδη.

## Καλά ορισμένη κατανομή

Για την απόδειξη της ύπαρξης του ορίου 

: \lim_{\varepsilon \to 0^{+}} \int_{\varepsilon}^{+ \infty} \frac{u(x) - u(- x)}{x} \, \mathrm{d}x 

για μια συνάρτηση Σβαρτς u(x), παρατηρήστε πρώτα ότι \frac{u(x) - u(-x)}{x} είναι συνεχής στο [0, \infty), καθώς

: \lim_{\,x \searrow 0\,} \; \Bigl[ u(x) - u(-x) \Bigr] ~= ~0 ~

και ως εκ τούτου 
: \lim_{x\searrow 0} \, \frac{u(x) - u(-x)}{x} ~=~ \lim_{\,x\searrow 0\,} \, \frac{u'(x) + u'(-x)}{1} ~=~ 2u'(0)~, 

αφού η u'(x) είναι συνεχής και ισχύει ο κανόνας του L'Hopital.

Επομένως, \int_0^1 \, \frac{u(x) - u(-x)}{x} \, \mathrm{d}x υπάρχει και εφαρμόζοντας το θεώρημα της μέσης τιμής στο u(x) - u(-x) , έχουμε:

: \left|\, \int_0^1\,\frac{u(x) - u(-x)}{x} \,\mathrm{d}x \,\right|
\;\leq\; \int_0^1 \frac{\bigl|u(x)-u(-x)\bigr|}{x} \,\mathrm{d}x
\;\leq\; \int_0^1\,\frac{\,2x\,}{x}\,\sup_{x \in \mathbb{R} }\,\Bigl|u'(x)\Bigr| \,\mathrm{d}x
\;\leq\; 2\,\sup_{x \in \mathbb{R} }\,\Bigl|u'(x)\Bigr| ~. 

Και επιπλέον:
: \left| \,\int_1^\infty \frac {\;u(x) - u(-x)\;}{x} \,\mathrm{d}x \,\right| \;\leq\; 2 \,\sup_{x\in\mathbb{R}} \,\Bigl|x\cdot u(x)\Bigr|~\cdot\;\int_1^\infty \frac{\mathrm{d}x}{\,x^2\,} \;=\; 2 \,\sup_{x\in\mathbb{R}}\, \Bigl|x \cdot u(x)\Bigr| ~, 

παρατηρούμε ότι ο χάρτης
: \operatorname{p.v.}\;\left( \frac{1}{\,x\,} \right) \,:\, {C_{c}^{\infty}}(\mathbb{R}) \to \mathbb{C} 

περιορίζεται από τις συνήθεις ημιμορφές για τις συναρτήσεις Σβαρτς  u. Επομένως, αυτός ο χάρτης ορίζει, καθώς είναι προφανώς γραμμικός, μια συνεχή συνάρτηση στο χώρο Σβαρτς και επομένως μια μετριασμένη κατανομή.

Να σημειωθεί ότι η απόδειξη χρειάζεται απλώς το u να είναι συνεχώς διαφορίσιμο σε μια γειτονιά του 0 και το  x\,u  να είναι περιορισμένο προς το άπειρο. Η πρωτεύουσα τιμή επομένως ορίζεται με ακόμη πιο αδύναμες υποθέσεις όπως u ολοκληρώσιμη με συμπαγή υποστήριξη και διαφορίσιμη στο 0.

### Πιο γενικοί ορισμοί

Η πρωτεύουσα τιμή είναι η αντίστροφη κατανομή της συνάρτησης  x  και είναι σχεδόν η μόνη κατανομή με αυτή την ιδιότητα:

: x f = 1 \quad \Leftrightarrow \quad \exists K: \; \; f = \operatorname{p.\!v.} \left( \frac{1}{x} \right) + K \delta, 

όπου  K  είναι μια σταθερά και  \delta  η κατανομή Ντιράκ.

Με μια ευρύτερη έννοια, η πρωτεύουσα τιμή μπορεί να οριστεί για μια ευρεία κατηγορία μοναδιαίων ολοκληρωτικών πυρήνων στον ευκλείδειο χώρο  \mathbb{R}^{n} . Αν ο  K  έχει μια απομονωμένη ιδιομορφία στην αρχή, αλλά είναι κατά τα άλλα μια «ωραία» συνάρτηση, τότε η κατανομή της κύριας τιμής ορίζεται σε συμπαγώς υποστηριζόμενες ομαλές συναρτήσεις ως εξής

: [\operatorname{p.\!v.} (K)](f) = \lim_{\varepsilon \to 0} \int_{\mathbb{R}^{n} \setminus B_{\varepsilon}(0)} f(x) K(x) \, \mathrm{d} x. 
Ένα τέτοιο όριο μπορεί να μην είναι καλά ορισμένο ή, αν είναι καλά ορισμένο, μπορεί να μην ορίζει απαραίτητα μια κατανομή. Είναι, ωστόσο, καλά ορισμένο αν  K  είναι μια συνεχής ομογενής συνάρτηση βαθμού  -n  της οποίας το ολοκλήρωμα πάνω σε οποιαδήποτε σφαίρα με κέντρο την αρχή εξαφανίζεται. Αυτό συμβαίνει, παραδείγματος χάριν, με τους μετασχηματισμούς του Ρις.

## Παραδείγματα
Ας εξετάσουμε τις τιμές δύο ορίων:

:\lim_{a \to 0+}\left(\int_{-1}^{-a}\frac{\mathrm{d}x}{x} + \int_a^1\frac{\mathrm{d}x}{x}\right)=0,

Αυτή είναι η πρωτεύουσα τιμή Κωσύ της κατά τα άλλα κακώς ορισμένης έκφρασης

:\int_{-1}^1\frac{\mathrm{d}x}{x}, \text{ (which gives } {-\infty}+\infty \text{)}.

Επίσης:
:\lim_{a \to 0+}\left(\int_{-1}^{-2 a}\frac{\mathrm{d}x}{x}+\int_{a}^1\frac{\mathrm{d}x}{x}\right)=\ln 2.

Ομοίως, έχουμε

:\lim_{a \to \infty}\int_{-a}^a\frac{2x\,\mathrm{d}x}{x^2+1}=0,

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

:\int_{-\infty}^\infty\frac{2x\,\mathrm{d}x}{x^2+1} \text{ (which gives } {-\infty}+\infty \text{)}.
αλλά

:\lim_{a\to\infty}\int_{-2a}^a\frac{2x\,\mathrm{d}x}{x^2+1}=-\ln 4.

## Σήμανση

Διαφορετικοί συγγραφείς χρησιμοποιούν διαφορετικούς συμβολισμούς για την κύρια τιμή Cauchy μιας συνάρτησης f, μεταξύ άλλων:

:PV \int f(x)\,\mathrm{d}x,
:\mathrm{p.v.} \int f(x)\,\mathrm{d}x,
:\int_L^*  f(z)\, \mathrm{d}z,
: -\!\!\!\!\!\!\int f(x)\,\mathrm{d}x,

καθώς και P, P.V., \mathcal{P}, P_v, (CPV), \mathcal{C}, και&nbsp;V.P.

## Εξωτερικοί σύνδεσμοι
*English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
*Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
* Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
* Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
* Θεωρία Αριθμών και Εφαρμογές
* Υπολογιστική Θεωρία Αριθμών
* Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες Εθνικό Αρχείο Διδακτορικών Διατριβών
* Μέθοδοι μηχανικής μάθησης βασισμένες σε έλεγχο μονοτροπικότητας Εθνικό Αρχείο Διδακτορικών Διατριβών
*  Παράμετροι και Στατιστικά. Διωνυμική και Κανονική Κατανομή

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

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

## Παραπομπές

*.

*.

*.

*.

*.

*.

*.

*.

*.

*.

*.

*.

*.
* 
* 
* Stevens, S. S. (1951). Mathematics, measurement and psychophysics. In S. S. Stevens (Ed.), *Handbook of experimental psychology * (pp.&nbsp;1–49). New York: Wiley.
*
* Ch. 1–6 of 2013 edition

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