Namespaces
Variants
Actions

Difference between revisions of "Exceptional value"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (→‎References: isbn link)
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
A concept in value-distribution theory. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e0367901.png" /> be a meromorphic function in the whole <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e0367902.png" />-plane and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e0367903.png" /> denote its number of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e0367904.png" />-points (counting multiplicities) in the disc <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e0367905.png" />. According to R. Nevanlinna's first fundamental theorem (cf. [[#References|[1]]]), as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e0367906.png" />,
+
{{TEX|done}}{{MSC|30D35}}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e0367907.png" /></td> </tr></table>
+
A concept in value-distribution theory. Let $f(z)$ be a meromorphic function in the whole $z$-plane and let $n(r,a,f)$ denote its number of $a$-points (counting multiplicities) in the disc $|z|\leq r$. According to R. Nevanlinna's first fundamental theorem (cf. [[#References|[1]]]), as $r\to\infty$,
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e0367908.png" /> is the characteristic function, which does not depend on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e0367909.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679010.png" /> is the counting function (the logarithmic average of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679011.png" />) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679012.png" /> is a function expressing the average proximity of the values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679013.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679014.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679015.png" /> (cf. [[Value-distribution theory|Value-distribution theory]]). For the majority of values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679016.png" /> the quantities <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679017.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679018.png" /> are asymptotically equivalent, as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679019.png" />. A (finite or infinite) number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679020.png" /> is called an exceptional value if this equivalence as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679021.png" /> is violated. One distinguishes several kinds of exceptional values.
+
$$N(r,a,f)+m(r,a,f)=T(r,f)+O(1),$$
  
A number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679022.png" /> is called an exceptional value of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679023.png" /> in the sense of Poincaré if the number of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679024.png" />-points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679025.png" /> in the whole plane is finite (cf. [[#References|[1]]], [[#References|[2]]]), in particular if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679026.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679027.png" />.
+
where $T(r,f)$ is the characteristic function, which does not depend on $a$, $N(r,a,f)$ is the counting function (the logarithmic average of $n(r,a,f)$) and $m(r,a,f)>0$ is a function expressing the average proximity of the values of $f$ to $a$ on $|z|=r$ (cf. [[Value-distribution theory|Value-distribution theory]]). For the majority of values $a$ the quantities $N(r,a,f)$ and $T(r,f)$ are asymptotically equivalent, as $r\to\infty$. A (finite or infinite) number $a$ is called an exceptional value if this equivalence as $r\to\infty$ is violated. One distinguishes several kinds of exceptional values.
  
A number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679028.png" /> is called an exceptional value of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679029.png" /> in the sense of Borel if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679030.png" /> grows slower, in a certain sense, than <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679031.png" />, as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679032.png" /> (cf. [[#References|[1]]], [[#References|[2]]]).
+
A number $a$ is called an exceptional value of $f$ in the sense of Poincaré if the number of $a$-points of $f$ in the whole plane is finite (cf. [[#References|[1]]], [[#References|[2]]]), in particular if $f(z)\neq a$ for any $z$.
  
A number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679033.png" /> is called an exceptional value of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679034.png" /> in the sense of Nevanlinna (cf. [[#References|[1]]]) if its defect (cf. [[Defective value|Defective value]])
+
A number $a$ is called an exceptional value of $f$ in the sense of Borel if $n(r,a,f)$ grows slower, in a certain sense, than $T(r,f)$, as $r\to\infty$ (cf. [[#References|[1]]], [[#References|[2]]]).
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679035.png" /></td> </tr></table>
+
A number $a$ is called an exceptional value of $f$ in the sense of Nevanlinna (cf. [[#References|[1]]]) if its defect (cf. [[Defective value|Defective value]])
  
A number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679036.png" /> is called an exceptional value of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679037.png" /> in the sense of Valiron if
+
$$\delta(a,f)=1-\lim_{r\to\infty}\sup\frac{N(r,a,f)}{T(r,f)}>0.$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679038.png" /></td> </tr></table>
+
A number $a$ is called an exceptional value of $f$ in the sense of Valiron if
  
A number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679039.png" /> for which
+
$$\Delta(a,f)=1-\lim_{r\to\infty}\inf\frac{N(r,a,f)}{(T(r,f)}>0.$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679040.png" /></td> </tr></table>
+
A number $a$ for which
  
is also called an exceptional value for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679041.png" />. The quantity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679042.png" /> (the positive deviation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679043.png" />) characterizes the rate of the asymptotic approximation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679044.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679045.png" /> (cf. [[#References|[3]]]).
+
$$\beta(a,f)=\lim_{r\to\infty}\inf\frac{\max\limits_{|z|=r}\ln^+1/|f(z)-a|}{T(r,f)}>0$$
 +
 
 +
is also called an exceptional value for $f$. The quantity $\beta(a,f)$ (the positive deviation of $f$) characterizes the rate of the asymptotic approximation of $f(z)$ to $a$ (cf. [[#References|[3]]]).
  
 
====References====
 
====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  R. Nevanilinna,   "Analytic functions" , Springer  (1970)  (Translated from German)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.A. Gol'dberg,  I.V. Ostrovskii,   "Value distribution of meromorphic functions" , Moscow  (1970)  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  V.P. Petrenko,  "Growth of meromorphic functions of finite lower order"  ''Math. USSR Izv.'' , '''3''' :  2  (1969)  pp. 391–432  ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''33''' :  2  (1969)  pp. 414–454</TD></TR></table>
+
<table>
 
+
<TR><TD valign="top">[1]</TD> <TD valign="top">  Rolf Nevanlinna, "Analytic functions" , Springer  (1970)  (Translated from German) {{ZBL|0199.12501}}</TD></TR>
 
+
<TR><TD valign="top">[2]</TD> <TD valign="top">  A.A. Gol'dberg,  I.V. Ostrovskii, "Value distribution of meromorphic functions" , Moscow  (1970)  (In Russian).  English translation, Amer. Math. Soc. (2008) {{ISBN|978-0-8218-4265-2}} {{ZBL|1152.30026}}</TD></TR>
 +
<TR><TD valign="top">[3]</TD> <TD valign="top">  V.P. Petrenko,  "Growth of meromorphic functions of finite lower order"  ''Math. USSR Izv.'' , '''3''' :  2  (1969)  pp. 391–432  ''Izv. Akad. Nauk SSSR Ser. Mat.'' , '''33''' :  2  (1969)  pp. 414–454 {{ZBL|0194.11001}}</TD></TR>
 +
</table>
  
 
====Comments====
 
====Comments====
An <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679046.png" />-point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679047.png" /> is a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679048.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/e/e036/e036790/e03679049.png" />.
+
An $a$-point of $f$ is a point $z$ such that $f(z)=a$.

Latest revision as of 09:04, 26 November 2023

2020 Mathematics Subject Classification: Primary: 30D35 [MSN][ZBL]

A concept in value-distribution theory. Let $f(z)$ be a meromorphic function in the whole $z$-plane and let $n(r,a,f)$ denote its number of $a$-points (counting multiplicities) in the disc $|z|\leq r$. According to R. Nevanlinna's first fundamental theorem (cf. [1]), as $r\to\infty$,

$$N(r,a,f)+m(r,a,f)=T(r,f)+O(1),$$

where $T(r,f)$ is the characteristic function, which does not depend on $a$, $N(r,a,f)$ is the counting function (the logarithmic average of $n(r,a,f)$) and $m(r,a,f)>0$ is a function expressing the average proximity of the values of $f$ to $a$ on $|z|=r$ (cf. Value-distribution theory). For the majority of values $a$ the quantities $N(r,a,f)$ and $T(r,f)$ are asymptotically equivalent, as $r\to\infty$. A (finite or infinite) number $a$ is called an exceptional value if this equivalence as $r\to\infty$ is violated. One distinguishes several kinds of exceptional values.

A number $a$ is called an exceptional value of $f$ in the sense of Poincaré if the number of $a$-points of $f$ in the whole plane is finite (cf. [1], [2]), in particular if $f(z)\neq a$ for any $z$.

A number $a$ is called an exceptional value of $f$ in the sense of Borel if $n(r,a,f)$ grows slower, in a certain sense, than $T(r,f)$, as $r\to\infty$ (cf. [1], [2]).

A number $a$ is called an exceptional value of $f$ in the sense of Nevanlinna (cf. [1]) if its defect (cf. Defective value)

$$\delta(a,f)=1-\lim_{r\to\infty}\sup\frac{N(r,a,f)}{T(r,f)}>0.$$

A number $a$ is called an exceptional value of $f$ in the sense of Valiron if

$$\Delta(a,f)=1-\lim_{r\to\infty}\inf\frac{N(r,a,f)}{(T(r,f)}>0.$$

A number $a$ for which

$$\beta(a,f)=\lim_{r\to\infty}\inf\frac{\max\limits_{|z|=r}\ln^+1/|f(z)-a|}{T(r,f)}>0$$

is also called an exceptional value for $f$. The quantity $\beta(a,f)$ (the positive deviation of $f$) characterizes the rate of the asymptotic approximation of $f(z)$ to $a$ (cf. [3]).

References

[1] Rolf Nevanlinna, "Analytic functions" , Springer (1970) (Translated from German) Zbl 0199.12501
[2] A.A. Gol'dberg, I.V. Ostrovskii, "Value distribution of meromorphic functions" , Moscow (1970) (In Russian). English translation, Amer. Math. Soc. (2008) ISBN 978-0-8218-4265-2 Zbl 1152.30026
[3] V.P. Petrenko, "Growth of meromorphic functions of finite lower order" Math. USSR Izv. , 3 : 2 (1969) pp. 391–432 Izv. Akad. Nauk SSSR Ser. Mat. , 33 : 2 (1969) pp. 414–454 Zbl 0194.11001

Comments

An $a$-point of $f$ is a point $z$ such that $f(z)=a$.

How to Cite This Entry:
Exceptional value. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Exceptional_value&oldid=18994
This article was adapted from an original article by V.P. Petrenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article