Τοπικός χρόνος (μαθηματικά)

Στη μαθηματική θεωρία των στοχαστικών διαδικασιών, ο **τοπικός χρόνος** είναι μια στοχαστική διαδικασία που σχετίζεται με ημιμαρτυρικές διαδικασίες, όπως η κίνηση Μπράουν, η οποία χαρακτηρίζει το χρονικό διάστημα που ένα σωματίδιο έχει περάσει σε ένα δεδομένο επίπεδο. Ο τοπικός χρόνος εμφανίζεται σε διάφορους τύπους στοχαστικής ολοκλήρωσης, όπως ο τύπος του Τανάκα, εάν το ολοκλήρωμα δεν είναι επαρκώς ομαλό. Μελετάται επίσης στη στατιστική μηχανική στο πλαίσιο τυχαίων πεδίων.

## Επίσημος ορισμός
Για μια συνεχή ημι-martingale με πραγματικές τιμές (B_s)_{s\ge 0}, ο τοπικός χρόνος της B στο σημείο x είναι η στοχαστική διαδικασία που ορίζεται ανεπίσημα ως εξής

:L^x(t) =\int_0^t \delta(x-B_s)\,d[B]_s,

όπου \delta είναι η συνάρτηση δέλτα του Ντιράκ και [B] είναι η τετραγωνική μεταβολή. Πρόκειται για μια έννοια που εφευρέθηκε από τον Πολ Λεβί. Η βασική ιδέα είναι ότι το L^x(t) είναι ένα (κατάλληλα αναβαθμισμένο και χρονικά παραμετροποιημένο) μέτρο του πόσο χρόνο έχει περάσει το B_s στο x έως τη χρονική στιγμή t. Πιο συγκεκριμένα, μπορεί να γραφεί ως το σχεδόν βέβαιο όριο

: L^x(t) =\lim_{\varepsilon\downarrow 0} \frac{1}{2\varepsilon} \int_0^t 1_{\{ x- \varepsilon 

η οποία μπορεί να αποδειχθεί ότι υπάρχει πάντα. Σημειώστε ότι στην ειδική περίπτωση της κίνησης Μπράουν (ή γενικότερα μιας διάχυσης πραγματικών τιμών της μορφής  dB = b(t,B)\,dt+ dW όπου  W  είναι μια κίνηση Μπράουν), ο όρος d[B]_s απλά ανάγεται σε ds, γεγονός που εξηγεί γιατί ονομάζεται τοπικός χρόνος του B στο x. Για μια διακριτή διαδικασία χώρου καταστάσεων (X_s)_{s\ge 0}, ο τοπικός χρόνος μπορεί να διατυπωθεί απλούστερα ως εξής

: L^x(t) =\int_0^t 1_{\{x\}}(X_s) \, ds.

## Τύπος του Τανάκα
Ο τύπος του Τανάκα παρέχει επίσης έναν ορισμό του τοπικού χρόνου για μια αυθαίρετη συνεχή ημιμαρτυρία (X_s)_{s\ge 0} στο  \mathbb R: 
:  L^x(t) = |X_t - x| - |X_0 - x| - \int_0^t \left( 1_{(0,\infty)}(X_s - x) - 1_{(-\infty, 0]}(X_s-x) \right) \, dX_s, \qquad t \geq 0. 

Μια πιο γενική μορφή αποδείχθηκε ανεξάρτητα από τους Μάγιερ και Γουάνγκ. Ο τύπος επεκτείνει το λήμμα του Ιτό για δύο φορές διαφορίσιμες συναρτήσεις σε μια πιο γενική κατηγορία συναρτήσεων. Αν  F:\mathbb R \rightarrow \mathbb R είναι απολύτως συνεχής με παράγωγο  F', η οποία είναι περιορισμένης μεταβολής, τότε
:  F(X_t) = F(X_0) + \int_0^t F'_{-}(X_s) \, dX_s + \frac12 \int_{-\infty}^\infty L^x(t) \, dF'_{-}(x), 
όπου  F'_{-} είναι η αριστερή παράγωγος.

Αν X είναι μια κίνηση Μπράουν, τότε για κάθε \alpha\in(0,1/2) το πεδίο των τοπικών χρόνων  L = (L^x(t))_{x \in \mathbb R, t \geq 0} έχει μια τροποποίηση που είναι α. s. Χάλντερ  συνεχής στο  x με εκθέτη \alpha, ομοιόμορφα για περιορισμένα x και t.. Γενικά, το  L  έχει μια τροποποίηση που είναι a.s. συνεχής στο t και càdlàg στο x.

Ο τύπος του Τανάκα παρέχει τη ρητή αποσύνθεση Ντουμπ-Μάγιερ για τη μονοδιάστατη ανακλαστική κίνηση Μπράουν, (|B_s|)_{s \geq 0}..

## Θεωρήματα Ρέι-Νάιτ
Το πεδίο των τοπικών χρόνων  L_t = (L^x_t)_{x \in E} που συνδέεται με μια στοχαστική διαδικασία σε ένα χώρο E είναι ένα καλά μελετημένο θέμα στην περιοχή των τυχαίων πεδίων. Τα θεωρήματα τύπου Ρέι-Νάιτ συσχετίζουν το πεδίο *L**t* με μια σχετική διαδικασία Γκάους.

Σε γενικές γραμμές, τα θεωρήματα Ρέι-Νάιτ του πρώτου τύπου εξετάζουν το πεδίο *L**t* σε μια χρονική στιγμή κρούσεως της υποκείμενης διεργασίας, ενώ τα θεωρήματα του δεύτερου τύπου αφορούν τη χρονική στιγμή στάσης κατά την οποία το πεδίο τοπικού χρόνου υπερβαίνει για πρώτη φορά μια δεδομένη τιμή.

### Πρώτο θεώρημα Ρέι-Νάιτ
Έστω (*B**t*)*t* ≥ 0 μια μονοδιάστατη κίνηση Μπράουν με αφετηρία *B*0 = *a* > 0, and (*W**t*)*t*≥0 μια τυπική δισδιάστατη κίνηση Μπράουν με αφετηρία*W*0 = 0 ∈ **R**2. Ορίζουμε το χρόνο διακοπής κατά τον οποίο η *B* προσκρούει για πρώτη φορά στην αρχή,  T = \inf\{t \geq 0 \colon B_t = 0\}. Οι Ρέι  και Νάιτ  (ανεξάρτητα) έδειξαν ότι {=} \left\{ |W_x|^2 \colon x \in [0,a] \right\} \,|}}

όπου (*L**t*)*t* ≥ 0  είναι το πεδίο των τοπικών χρόνων του (*B**t*)*t* ≥ 0, και η ισότητα είναι σε κατανομή στο *C*[0, *a*]. Η διαδικασία |*W**x*|2 είναι γνωστή ως τετραγωνική διαδικασία Μπεσέλ.

### Δεύτερο θεώρημα Ρέι-Νάιτ
Έστω (*B**t*)t ≥ 0 μια τυπική μονοδιάστατη κίνηση Μπράουν *B*0 = 0 ∈ **R**, και έστω (*L**t*)*t* ≥ 0 το σχετικό πεδίο τοπικών χρόνων. Θεωρούμε ότι *T**a* είναι ο πρώτος χρόνος κατά τον οποίο ο τοπικός χρόνος στο μηδέν υπερβαίνει το *a* > 0
:  T_a = \inf \{ t \geq 0 \colon L^0_t > a \}.
Έστω (*W**t*)*t* ≥ 0 μια ανεξάρτητη μονοδιάστατη κίνηση Brown με αφετηρία *W*0 = 0,, τότε
{=} \left\{ (W_x + \sqrt a )^2 \colon x \geq 0 \right \}. \,|}}
Αντίστοιχα, η διαδικασία (L^x_{T_a})_{x \geq 0} (η οποία είναι μια διαδικασία στη χωρική μεταβλητή x) είναι ίση ως προς την κατανομή με το τετράγωνο μιας 0-διάστατης διαδικασίας Μπεσέλ με αφετηρία το  a , και ως τέτοια είναι μαρκοβιανή.

### Γενικευμένα θεωρήματα Ρέι-Νάιτ
Αποτελέσματα τύπου Ρέι-Νάιτ για γενικότερες στοχαστικές διαδικασίες έχουν μελετηθεί εντατικά, και ανάλογες δηλώσεις τόσο της () όσο και της () είναι γνωστές για ισχυρά συμμετρικές διαδικασίες Μαρκόφ.

## Δημοσιεύσεις
*K. L. Chung and R. J. Williams, *Introduction to Stochastic Integration*, 2nd edition, 1990, Birkhäuser, ISBN 978-0-8176-3386-8.
*M. Marcus and J. Rosen, *Markov Processes, Gaussian Processes, and Local Times*, 1st edition, 2006, Cambridge University Press ISBN 978-0-521-86300-1
*P. Mörters and Y. Peres, *Brownian Motion*, 1st edition, 2010, Cambridge University Press, ISBN 978-0-521-76018-8.

## Δείτε επίσης
*Αλγόριθμος διαμαντιού τετραγώνου
*Καμπύλη που γεμίζει το χώρο
*Νιφάδα του Κοχ 
*Καμπύλη Χίλμπερτ
*Καμπύλη του δράκου
*Σπόγγος του Μένγκερ
*Σύνολο Μάντελμπροτ
*Σύνολο Julia
*Σύνολο Κάντορ
*Οικοδομήσιμο Σύμπαν
*Σύστημα-L

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

 

Κατηγορία:Φράκταλ
Κατηγορία:Στοχαστικές διαδικασίες
Κατηγορία:Στατιστική μηχανική