Difference between revisions of "Keller function"
m (Text replacement - "\$([^\$]+)\$" to "\\(\1\\)") |
|||
Line 3: | Line 3: | ||
</ref>]] |
</ref>]] |
||
− | [[File:KellerPlotT.png|400px|thumb|Iterates of the Keller function: |
+ | [[File:KellerPlotT.png|400px|thumb|Iterates of the Keller function: \(y\!=\!\mathrm{Keller}^t(x)\)]] |
− | [[File:KellerMapT.png|400px|thumb| |
+ | [[File:KellerMapT.png|400px|thumb|\(u\!+\!\mathrm i v=\mathrm {Keller}(x\!+\!\mathrm i y)\) ]] |
− | [[File:ArcKellerMapT.png|400px|thumb| |
+ | [[File:ArcKellerMapT.png|400px|thumb|\(u\!+\!\mathrm i v=\mathrm {ArcKeller}(x\!+\!\mathrm i y)\) ]] |
[[Keller function]] ([[Функция Келлер]]) is elementary function defined with |
[[Keller function]] ([[Функция Келлер]]) is elementary function defined with |
||
− | : |
+ | :\(\!\!\!\!\!\!\!\!\!\! (1) ~ ~ ~ \mathrm{Keller}(z)=z+ \ln\!\Big(\mathrm e - \mathrm e^{-z}(\mathrm e-1) \Big)\) |
The [[Keller function]] describes the transfer of the pulse in the simple model of the laser medium with unsaturated gain unity. |
The [[Keller function]] describes the transfer of the pulse in the simple model of the laser medium with unsaturated gain unity. |
||
Line 25: | Line 25: | ||
[[Keller function]] can be expressed in the way, closer to that it appears in the literature on the [[laser science]] |
[[Keller function]] can be expressed in the way, closer to that it appears in the literature on the [[laser science]] |
||
− | : |
+ | :\(\!\!\!\!\!\!\!\!\!\! (2) ~ ~ ~ \mathrm{Keller}_0(z)=\ln\Big( 1+ \mathrm e \, (\mathrm e^z -1) \big)\) |
− | In this case, |
+ | In this case, \(z\) may have sense of normalized [[fluence]] of the optical pulse at the input of the laser amplifier; then \(\mathrm{Keller}(z)\) is the output fluence measured in the same unit. |
− | In the strip |
+ | In the strip \(|\Im(z)|<\pi\), functions Keller and Keller\(_0\) are equivalent, \(\mathrm{Keller}(z)=\mathrm{Keller}_0(z)\). |
− | However, in [[TORI]], |
+ | However, in [[TORI]], \(z\) may be considered also as just a complex variable; so, the Keller is treated as just holomorphic function of complex argument. |
Keller is analogy of the [[Doya function]] for the case of amplification of short pulses, |
Keller is analogy of the [[Doya function]] for the case of amplification of short pulses, |
||
Line 40: | Line 40: | ||
As the Keller is expressed through elementary functions, no special numerical implementation is required. |
As the Keller is expressed through elementary functions, no special numerical implementation is required. |
||
However, in order to avoid the loss of precision, at small values of the argument the expansion can be used: |
However, in order to avoid the loss of precision, at small values of the argument the expansion can be used: |
||
− | : |
+ | : \( \displaystyle |
− | \mathrm{Keller}(z)=\mathrm e z-\frac{\mathrm e\,(\mathrm e-1)}{2} z^2+O(z^3) |
+ | \mathrm{Keller}(z)=\mathrm e z-\frac{\mathrm e\,(\mathrm e-1)}{2} z^2+O(z^3)\) |
==Refular iteration for superfunction of Keller== |
==Refular iteration for superfunction of Keller== |
||
− | Treating the Keller function as [[transfer function]] the [[regular iteration]], the [[superfunction]] |
+ | Treating the Keller function as [[transfer function]] the [[regular iteration]], the [[superfunction]] \(F\) can be constructed with asymptotic behavior |
− | : |
+ | : \( F(z)=\mathrm e^z - \frac{1}{2}\mathrm e^{2z} + O(\mathrm e^{3z})\) |
− | This superfunncion corresponds to the displacement of the argument for |
+ | This superfunncion corresponds to the displacement of the argument for \(\log(\mathrm e \!-\!1)\) of the [[Shoka function]] discussed below. |
==Shoka function== |
==Shoka function== |
||
The Keller function may have sense of the [[transfer function]]. One of [[superfunction]]s of the [[Keller function]] is called [[Shoka function]], |
The Keller function may have sense of the [[transfer function]]. One of [[superfunction]]s of the [[Keller function]] is called [[Shoka function]], |
||
− | : |
+ | :\(\!\!\!\!\!\!\!\!\!\! (12) ~ ~ ~ \mathrm{Shoka}(z)=z+\ln\Big( (\mathrm e\!-\!1) + e^{-z} \big)\) |
− | In this case, |
+ | In this case, \(z\) may have sense of length of the amplifier, measured in units of inverse of unsaturated gain. |
− | However, |
+ | However, \(z\) in (12) may be considered also as just a complex variable; so, in [[TORI]], the [[Shoka function]] is treated as holomorphic function of complex argument. |
The inverse function of the Shoka can be expressed as follows: |
The inverse function of the Shoka can be expressed as follows: |
||
− | : |
+ | :\(\!\!\!\!\!\!\!\!\!\! (13) ~ ~ ~ \displaystyle |
− | \mathrm{ArcShoka}(z)= z + \ln\!\left( \frac{\mathrm 1-\mathrm e^{-z}}{\mathrm e-1} \right) |
+ | \mathrm{ArcShoka}(z)= z + \ln\!\left( \frac{\mathrm 1-\mathrm e^{-z}}{\mathrm e-1} \right)\) |
− | Specific values: |
+ | Specific values: \(\mathrm{Shoko}(0)=1\); \(\mathrm{ArcShoko}(1)=0\) |
==Shoko function== |
==Shoko function== |
||
Along the real axis and its vicinity, the [[Shoka function]] coincides with the [[Shoko function]] |
Along the real axis and its vicinity, the [[Shoka function]] coincides with the [[Shoko function]] |
||
− | : |
+ | :\(\!\!\!\!\!\!\!\!\!\! (22) ~ ~ ~ \mathrm{Shoko}(z)=\ln\Big( 1+\mathrm e^z\, (\mathrm e-1) \big)\) |
In particular, for real values of the atgument, equation (22) can be used instead of (12). |
In particular, for real values of the atgument, equation (22) can be used instead of (12). |
||
As the argument of the [[Shoko function]] is used in (2) only once, the calculation of the inverse function is straightforward: |
As the argument of the [[Shoko function]] is used in (2) only once, the calculation of the inverse function is straightforward: |
||
− | : |
+ | :\(\!\!\!\!\!\!\!\!\!\! (23) ~ ~ ~ \displaystyle |
\mathrm{ArcShoko}(z)=\ln \left( \frac{\mathrm e^z -1}{\mathrm e - 1} \right) |
\mathrm{ArcShoko}(z)=\ln \left( \frac{\mathrm e^z -1}{\mathrm e - 1} \right) |
||
+ | \) |
||
− | $ |
||
Specific values are the same as in the case of the [[Shoko function]], |
Specific values are the same as in the case of the [[Shoko function]], |
||
− | : |
+ | : \(\mathrm{Shoko}(0)=1\); \(\mathrm{ArcShoko}(1)=0\) |
==Iteration of the Keller function== |
==Iteration of the Keller function== |
||
− | Using [[Shoka function|Shoka]] and [[ArcShoka]], the |
+ | Using [[Shoka function|Shoka]] and [[ArcShoka]], the \(t\)th iterate of the [[Keller function]] can be expressed as follows: |
− | : |
+ | :\(\!\!\!\!\!\!\!\!\!\! (34) ~ ~ ~ \mathrm{Keller}^t(z)=\mathrm{Shoka}\Big(t+\mathrm{ArcShoka}(z)\Big)\) |
In vicinity of the real axis, the iterates of the [[Keller function]] can be expressed also through the [[Shoka function]] |
In vicinity of the real axis, the iterates of the [[Keller function]] can be expressed also through the [[Shoka function]] |
||
− | : |
+ | :\(\!\!\!\!\!\!\!\!\!\! (35) ~ ~ ~ \mathrm{Keller}^t(z)=\mathrm{Shoka}\Big(t+\mathrm{ArcShoka}(z)\Big)= |
\ln\!\Big(1+\mathrm e^t(\mathrm e^z\!-\!1)\Big) |
\ln\!\Big(1+\mathrm e^t(\mathrm e^z\!-\!1)\Big) |
||
+ | \) |
||
− | $ |
||
− | Parameter |
+ | Parameter \(t\) may have sense of the length of the amplifier, measured in units of the inverted insaturated gain; then, the argument and value of \(\mathrm {Keller}^t\) have sense of the input and output fluence, measured in units of the saturation. |
In particular, the inverse function of Keller can be expressed in the usual way, |
In particular, the inverse function of Keller can be expressed in the usual way, |
||
− | : |
+ | :\(\!\!\!\!\!\!\!\!\!\! (36)\displaystyle ~ ~ ~ \mathrm{ArcKeller}(z)=\mathrm{Keller}^{-1}(z)= z+\ln\!\left( \frac{1}{\mathrm e}+\frac{\mathrm e \!-\!1}{\mathrm e}\, \mathrm e^{-z} \right)\) |
The [[complex map]] of the [[ArcKeller]] function is shown in figure at right. |
The [[complex map]] of the [[ArcKeller]] function is shown in figure at right. |
Revision as of 18:25, 30 July 2019
![](/t/images/b/bc/Keller62241866.png)
Keller function (Функция Келлер) is elementary function defined with
- \(\!\!\!\!\!\!\!\!\!\! (1) ~ ~ ~ \mathrm{Keller}(z)=z+ \ln\!\Big(\mathrm e - \mathrm e^{-z}(\mathrm e-1) \Big)\)
The Keller function describes the transfer of the pulse in the simple model of the laser medium with unsaturated gain unity. The function is called after Ursula Keller [1], as she describes it in her publications.
Keller function is used as example in book Superfunctions [2].
Contents
Definition and representations
For moderate values of the imaginary part of the argument, the Keller function can be expressed in the way, closer to that it appears in the literature on the laser science
- \(\!\!\!\!\!\!\!\!\!\! (2) ~ ~ ~ \mathrm{Keller}_0(z)=\ln\Big( 1+ \mathrm e \, (\mathrm e^z -1) \big)\)
In this case, \(z\) may have sense of normalized fluence of the optical pulse at the input of the laser amplifier; then \(\mathrm{Keller}(z)\) is the output fluence measured in the same unit.
In the strip \(|\Im(z)|<\pi\), functions Keller and Keller\(_0\) are equivalent, \(\mathrm{Keller}(z)=\mathrm{Keller}_0(z)\).
However, in TORI, \(z\) may be considered also as just a complex variable; so, the Keller is treated as just holomorphic function of complex argument.
Keller is analogy of the Doya function for the case of amplification of short pulses, while Doya describes the amplification of the cw signal in the laser medium with simple kinetics. Various iterates of the Keller function are plotted in figure at right.
Numerical implementation
As the Keller is expressed through elementary functions, no special numerical implementation is required. However, in order to avoid the loss of precision, at small values of the argument the expansion can be used:
- \( \displaystyle \mathrm{Keller}(z)=\mathrm e z-\frac{\mathrm e\,(\mathrm e-1)}{2} z^2+O(z^3)\)
Refular iteration for superfunction of Keller
Treating the Keller function as transfer function the regular iteration, the superfunction \(F\) can be constructed with asymptotic behavior
- \( F(z)=\mathrm e^z - \frac{1}{2}\mathrm e^{2z} + O(\mathrm e^{3z})\)
This superfunncion corresponds to the displacement of the argument for \(\log(\mathrm e \!-\!1)\) of the Shoka function discussed below.
Shoka function
The Keller function may have sense of the transfer function. One of superfunctions of the Keller function is called Shoka function,
- \(\!\!\!\!\!\!\!\!\!\! (12) ~ ~ ~ \mathrm{Shoka}(z)=z+\ln\Big( (\mathrm e\!-\!1) + e^{-z} \big)\)
In this case, \(z\) may have sense of length of the amplifier, measured in units of inverse of unsaturated gain.
However, \(z\) in (12) may be considered also as just a complex variable; so, in TORI, the Shoka function is treated as holomorphic function of complex argument.
The inverse function of the Shoka can be expressed as follows:
- \(\!\!\!\!\!\!\!\!\!\! (13) ~ ~ ~ \displaystyle \mathrm{ArcShoka}(z)= z + \ln\!\left( \frac{\mathrm 1-\mathrm e^{-z}}{\mathrm e-1} \right)\)
Specific values: \(\mathrm{Shoko}(0)=1\); \(\mathrm{ArcShoko}(1)=0\)
Shoko function
Along the real axis and its vicinity, the Shoka function coincides with the Shoko function
- \(\!\!\!\!\!\!\!\!\!\! (22) ~ ~ ~ \mathrm{Shoko}(z)=\ln\Big( 1+\mathrm e^z\, (\mathrm e-1) \big)\)
In particular, for real values of the atgument, equation (22) can be used instead of (12). As the argument of the Shoko function is used in (2) only once, the calculation of the inverse function is straightforward:
- \(\!\!\!\!\!\!\!\!\!\! (23) ~ ~ ~ \displaystyle \mathrm{ArcShoko}(z)=\ln \left( \frac{\mathrm e^z -1}{\mathrm e - 1} \right) \)
Specific values are the same as in the case of the Shoko function,
- \(\mathrm{Shoko}(0)=1\); \(\mathrm{ArcShoko}(1)=0\)
Iteration of the Keller function
Using Shoka and ArcShoka, the \(t\)th iterate of the Keller function can be expressed as follows:
- \(\!\!\!\!\!\!\!\!\!\! (34) ~ ~ ~ \mathrm{Keller}^t(z)=\mathrm{Shoka}\Big(t+\mathrm{ArcShoka}(z)\Big)\)
In vicinity of the real axis, the iterates of the Keller function can be expressed also through the Shoka function
- \(\!\!\!\!\!\!\!\!\!\! (35) ~ ~ ~ \mathrm{Keller}^t(z)=\mathrm{Shoka}\Big(t+\mathrm{ArcShoka}(z)\Big)= \ln\!\Big(1+\mathrm e^t(\mathrm e^z\!-\!1)\Big) \)
Parameter \(t\) may have sense of the length of the amplifier, measured in units of the inverted insaturated gain; then, the argument and value of \(\mathrm {Keller}^t\) have sense of the input and output fluence, measured in units of the saturation.
In particular, the inverse function of Keller can be expressed in the usual way,
- \(\!\!\!\!\!\!\!\!\!\! (36)\displaystyle ~ ~ ~ \mathrm{ArcKeller}(z)=\mathrm{Keller}^{-1}(z)= z+\ln\!\left( \frac{1}{\mathrm e}+\frac{\mathrm e \!-\!1}{\mathrm e}\, \mathrm e^{-z} \right)\)
The complex map of the ArcKeller function is shown in figure at right.
Doya function
![](/t/images/thumb/5/52/KellerDoyaT.png/250px-KellerDoyaT.png)
The Keller function describes the amplification of the short pulses in a laser medium with unsaturated gain unity, id est, with coefficient of amplivication of small signal equal to the base of natural logarithm; the simple two–level model for the kinetics of the excitations is used. In this case, the argument of the Keller function is fluence at the input, normalized for the saturation fluence.
Similar transfer function can be obtained within the same model for the amplification of continuous waves; in TORI it is called Doya function. The argument of this function may have sense of the input intensity, measured in units of the saturation intensity; and the returned value corresponds to the output intensity in the same units.
Figure at right shows the comparison of the Keller function to the Doya function for real values of the argument. The curves look similar. At the poor experimental data available in the literature, usually it is difficult to guess, which function would better fit the data – the Doya function or the Keller function, id est, to distinguish, do the data correspond to the continuous wave operation or to amplification of the short pulses. (Perhaps the same experimental dots could be claimed to be as results of measuremens for pulses and those for the continuous-wave operation.) The precise measurements of the transfer function would allow not only to distinguish the cases with continuous-wave from those with short pulses, but also to see the limits of applicability of the model of a laser medium and choose between various models.
Etymology of names
Expression, similar to the Keller function, appears in the papers by R.Paschotta and U.Keller [3] and by M.Haiml, R.Grange and U.Keller [4]. Among the authors, the name Keller seems to be easier to pronounce.
Yulya had indicated that the Keller function may be good example of realistic transfer function, and the name for the superfunction was urgently needed. Name Yulya function is already occupied (for the dependence, that has application in the interferometric microscopy), so, the superfunction should have another name. Shoko agreed that her name will be used as name of the superfunction for the Keller function. Name Shoka function is modification of the Shoko function, such modification become necessary when it happens that the cutlines of the Shoko function go to the right hand side, which in not right in the sense that by default, in TORI all the cut lines should be directed to the left, in order to provide the holomorphizm in the right–hand side of the complex plane (if possible). Then, the Shoka function became the principal, main version of that function, and the Shoko function is the alternative, necessary for the allowance with the shape it appears in the literature about the Laser science.
If the specialists on the history of laser science find, that another name(s) are more suitable for the functions Keller and Shoko, let them describe these functions with other names, and bring to TORI the link, in order to cite those descriptions here and indicate the alternative names.
References
- ↑ 1.0 1.1 http://www.ulp.ethz.ch/people/kursula.html Head of Research: Keller, Ursula, Prof. Dr. ETH Zürich Prof. Dr. Ursula Keller Institute of Quantum Electronics HPT E 16.3 Auguste-Piccard-Hof 1 8093 Zürich
- ↑ http://mizugadro.mydns.jp/BOOK/441.pdf Dmitii Kouznetsov. Superfunctions. 2017.
- ↑ http://www.ulp.ethz.ch/publications/paper/2001/152__APB_73__653__2001_.pdf R.Paschotta, U.Keller. Passive mode locking with slow saturable absorbers. Appl. Phys. B 73, 653–662 (2001)
- ↑ http://www.ulp.ethz.ch/publications/paper/2004/200__APB_79__331__2004_.pdf M.Haiml, R.Grange, U.Keller. Optical characterization of semicondutcor saturable absorbers. Appl.Phys. B 79, 331-339 (2004)