Lorentz–Heaviside units: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Pulu
clarified e0 and mu0 explanations
en>Hmains
m copyedit, MOS value rules and AWB general fixes using AWB
Line 1: Line 1:
:''Not to be confused with [[Carleson's theorem]]''
Emilia Shryock is my title but you can contact me something you like. Body developing is 1 of the issues I adore most. His family members life in South Dakota but his spouse desires them to transfer. In her expert lifestyle she is a payroll clerk but she's usually needed her own company.<br><br>Feel free to visit my webpage ... over the counter std test ([http://www.neweracinema.com/tube/blog/181510 more tips here])
 
In [[mathematics]], in the area of [[complex analysis]], '''Carlson's theorem''' is a [[uniqueness theorem]] which was discovered by [[Fritz Carlson|Fritz David Carlson]]. Informally, it states that two different analytic functions which do not grow very fast at infinity can not coincide at the integers. The theorem may be obtained from the [[Phragmén–Lindelöf theorem]], which is itself an extension of the [[maximum-modulus theorem]].
 
Carlson's theorem is typically invoked to defend the uniqueness of a [[Newton series]] expansion. Carlson's theorem has generalized analogues for other expansions.
 
==Statement of theorem==
 
Assume that ''f'' satisfies the following three conditions: the first two conditions bound the growth of ''f'' at infinity, whereas the third one states that ''f'' vanishes on the non-negative integers.
 
* {{math|''f''(''z'')}} is an [[entire function]] of [[exponential type]], meaning that
 
::<math>|f(z)| \leq C e^{\tau|z|}, \quad z \in \mathbb{C}</math>  
 
:for some {{math|''C'', ''&tau;''&nbsp;<&nbsp;&infin;}}
 
* There exists {{math|''c''&nbsp;<}}&nbsp;{{pi}} such that
 
::<math>|f(iy)| \leq C e^{c|y|}, \quad y \in \mathbb{R} </math>
 
* {{math|''f''}}(''n'')&nbsp;=&nbsp;0 for any non-negative integer ''n''.
 
Then {{math|''f''}} is identically zero.
 
==Sharpness==
 
===First condition===
 
The first condition may be relaxed: it is enough to assume that {{math|''f''}} is analytic in {{math|Re ''z''&nbsp;>&nbsp;0}}, continuous in {{math|Re ''z''&nbsp;&ge;&nbsp;0}}, and satisfies
 
:<math>|f(z)| \leq C e^{\tau|z|}, \quad \Im z \geq 0</math>
 
for some {{math|''C'',''&tau;''&nbsp;<&nbsp;&infin;}}
 
===Second condition===
 
To see that the second condition is sharp, consider the function {{math|''f''(''z'')}}&nbsp;=&nbsp;{{math|sin}}({{pi}}{{math|''z''}}). It vanishes on the integers; however, it grows exponentially on the imaginary axis with a growth rate of {{math|''c''}}&nbsp;=&nbsp;{{pi}}, and indeed it is not identically zero.
 
===Third condition===
A result, due to {{harvtxt|Rubel|1956}}, relaxes the condition that {{math|''f''}} vanish on the integers. Namely, Rubel showed that the conclusion of the theorem remains valid if {{math|''f''}} vanishes on a subset {{math|''A''&nbsp;&sub;&nbsp;{0,1,2,...}}} of [[upper density]] 1, meaning that
 
:<math> \limsup_{n \to \infty} \frac{\# \big( A  \cap \{0,1,\cdots,n-1\} \big)}{n} = 1. </math>
 
This condition is sharp, meaning that the theorem fails for sets {{math|''A''}} of upper density smaller than 1.
 
==Applications==
Suppose ''f''(''z'') is a function that possess all finite [[forward difference]]s <math>\Delta^n f(0)</math>. Consider then the [[Newton series]]
 
:<math>g(z)=\sum_{n=0}^\infty {z \choose n} \Delta^n f(0)</math>
 
with <math>{z \choose n}</math> is the [[binomial coefficient]] and <math>\Delta^n f(0)</math> is the ''n'' 'th [[forward difference]].  By construction, one then has that ''f''(''k'')=''g''(''k'') for all non-negative integers ''k'', so that the difference ''h''(''k'')=''f''(''k'')-''g''(''k'')=0.  This is one of the conditions of Carlson's theorem; if ''h'' obeys the others,  then ''h'' is identically zero, and the finite differences for ''f'' uniquely determine its Newton series.  That is, if a Newton series for ''f'' exists, and the difference satisfies the Carlson conditions, then ''f'' is unique.
 
==See also==
*[[Newton series]]
*[[Table of Newtonian series]]
 
==References==
* F. Carlson, ''Sur une classe de séries de Taylor'', (1914) Dissertation, Uppsala, Sweden, 1914.
* [[M. Riesz]], "Sur le principe de Phragmén–Lindelöf", ''Proceedings of the Cambridge Philosophical Society'' '''20''' (1920) 205–107, cor '''21'''(1921) p.6.
* [[G.H. Hardy]], "On two theorems of F. Carlson and S. Wigert", ''Acta Mathematica'', '''42''' (1920) 327–339.
* [[E.C. Titchmarsh]], ''The Theory of Functions (2nd Ed)'' (1939) Oxford University Press ''(See section 5.81)''
* R. P. Boas, Jr., ''Entire functions'', (1954) Academic Press, New York.
* R. DeMar, "Existence of interpolating functions of exponential type", ''Trans. Amer. Math. Soc.'', '''105''' (1962) 359–371.
* R. DeMar, "Vanishing Central Differences", ''Proc. Amer. math. Soc. '''14''' (1963) 64–67.
* {{citation|mr=0081944|last=Rubel|first=L. A.|title=Necessary and sufficient conditions for Carlson's theorem on entire functions|journal=Trans. Amer. Math. Soc.|volume=83|year=1956|pages=417&ndash;429|jstor=1992882}}
 
 
[[Category:Factorial and binomial topics]]
[[Category:Finite differences]]
[[Category:Theorems in complex analysis]]

Revision as of 05:47, 22 February 2014

Emilia Shryock is my title but you can contact me something you like. Body developing is 1 of the issues I adore most. His family members life in South Dakota but his spouse desires them to transfer. In her expert lifestyle she is a payroll clerk but she's usually needed her own company.

Feel free to visit my webpage ... over the counter std test (more tips here)