Phragmén–Lindelöf principle (Redirected from Phragmén–Lindelöf theorem) Jump to navigation Jump to search In complex analysis, the Phragmén–Lindelöf principle (or method), first formulated by Lars Edvard Phragmén (1863–1937) and Ernst Leonard Lindelöf (1870–1946) in 1908, is a technique which employs an auxiliary, parameterized function to prove the boundedness of a holomorphic function {stile di visualizzazione f} (cioè, {stile di visualizzazione |f(z)|0} e {stile di visualizzazione |fh_{epsilon }|leq M} on the boundary {displaystyle partial S_{matematica {bdd} }} of an appropriate bounded subregion {stile di visualizzazione S_{matematica {bdd} }subset S} ; e (ii): the asymptotic behavior of {displaystyle fh_{epsilon }} allows us to establish that {stile di visualizzazione |fh_{epsilon }|leq M} per {displaystyle zin Ssetminus {sopra {S_{matematica {bdd} }}}} (cioè., the unbounded part of {stile di visualizzazione S} outside the closure of the bounded subregion). This allows us to apply the maximum modulus principle to first conclude that {stile di visualizzazione |fh_{epsilon }|leq M} Su {stile di visualizzazione {sopra {S_{matematica {bdd} }}}} and then extend the conclusion to all {displaystyle zin S} . Infine, we let {displaystyle epsilon a 0} affinché {stile di visualizzazione f(z)h_{epsilon }(z)a F(z)} per ogni {displaystyle zin S} in order to conclude that {stile di visualizzazione |f|leq M} Su {stile di visualizzazione S} .
In the literature of complex analysis, there are many examples of the Phragmén–Lindelöf principle applied to unbounded regions of differing types, and also a version of this principle may be applied in a similar fashion to subharmonic and superharmonic functions.
Example of application To continue the example above, we can impose a growth condition on a holomorphic function {stile di visualizzazione f} that prevents it from "blowing up" and allows the Phragmén–Lindelöf principle to be applied. To this end, we now include the condition that {stile di visualizzazione |f(z)|0} the auxiliary function {stile di visualizzazione h_{epsilon }} di {textstyle h_{epsilon }(z)=e^{-epsilon (e^{bz}+e^{-bz})}} . Inoltre, for a given {displaystyle a>0} , we define {stile di visualizzazione S_{un}} to be the open rectangle in the complex plane enclosed within the vertices {stile di visualizzazione {apm ipi /2,-apm ipi /2}} . Adesso, fix {displaystyle epsilon >0} and consider the function {displaystyle fh_{epsilon }} . It can be shown that {stile di visualizzazione |f(z)h_{epsilon }(z)|a 0} come {stile di visualizzazione |Re (z)|to infty } . This allows us to find an {stile di visualizzazione x_{0}} tale che {stile di visualizzazione |f(z)h_{epsilon }(z)|leq 1} Ogni volta che {displaystyle zin {sopra {S}}} e {stile di visualizzazione |Re (z)|geq x_{0}} . Perché {stile di visualizzazione S_{X_{0}}} is a bounded region, e {stile di visualizzazione |f(z)h_{epsilon }(z)|leq 1} per tutti {displaystyle zin partial S_{X_{0}}} , the maximum modulus principle implies that {stile di visualizzazione |f(z)h_{epsilon }(z)|leq 1} per tutti {displaystyle zin {sopra {S_{X_{0}}}}} . Da {stile di visualizzazione |f(z)h_{epsilon }(z)|leq 1} Ogni volta che {displaystyle zin S} e {stile di visualizzazione |Re (z)|>x_{0}} , {stile di visualizzazione |f(z)h_{epsilon }(z)|leq 1} in fact holds for all {displaystyle zin S} . Infine, perché {displaystyle fh_{epsilon }a F} come {displaystyle epsilon a 0} , lo concludiamo {stile di visualizzazione |f(z)|leq 1} per tutti {displaystyle zin S} . QED.
Phragmén–Lindelöf principle for a sector in the complex plane A particularly useful statement proved using the Phragmén–Lindelöf principle bounds holomorphic functions on a sector of the complex plane if it is bounded on its boundary. This statement can be used to give a complex analytic proof of the Hardy's uncertainty principle, which states that a function and its Fourier transform cannot both decay faster than exponentially.[3] Proposizione. Permettere {stile di visualizzazione F} be a function that is holomorphic in a sector {displaystyle S=left{z,{grande |},alfa 0} , poi (1) holds also for all {displaystyle zin S} .
Remarks The condition (2) can be relaxed to {displaystyle liminf _{rto infty }sup _{alfa
Se vuoi conoscere altri articoli simili a Phragmén–Lindelöf principle puoi visitare la categoria Mathematical principles.
lascia un commento