Radially unbounded function: Difference between revisions

Revision as of 12:15, 21 October 2012

Latest revision as of 23:33, 17 April 2023

(14 intermediate revisions by 11 users not shown)

Line 1:

{{nofootnotesmore footnotes|date=October 2010}}

In mathematics, a '''radially unbounded function''' is a function <math>f: \mathbb{R}^n \rightarrow \mathbb{R}</math> for which

*In mathematics, a '''radially unbounded function''' is a function <math>f: \mathbb{R}^n \rightarrow \mathbb{R}</math> for which <ref name="Terrell2009">{{Citation | last1=Terrell | first1=William J. | title=Stability and stabilization | publisher=[[Princeton University Press]] | isbn=978-0-691-13444-4 | idmr={{MathSciNet | id = 2482799}} | year=2009}}</ref>

:<math display="block">\|x\| \to \infty \Rightarrow f(x) \to \infty. \, </math>

Or equivalently,

Such functions are applied in [[control theory]].

<math display="block">\forall c > 0:\exists r > 0 : \forall x \in \mathbb{R}^n: [\Vert x \Vert > r \Rightarrow f(x) > c]</math>

Notice that the norm used in the definition can be any norm defined on <math> \mathbb{R}^n </math>, and that the behavior of the function along the axes does not necessarily reveal that it is radially unbounded or not; i.e. that to be radially unbounded the condition must be verified along any path that results in:

Such functions are applied in [[control theory]] and required in [[Mathematical optimization|optimization]] for determination of [[compact space]]s.

:<math>\|x\| \to \infty \, </math>

Notice that the norm used in the definition can be any norm defined on <math> \mathbb{R}^n </math>, and that the behavior of the function along the axes does not necessarily reveal that it is radially unbounded or not; i.e. that to be radially unbounded the condition must be verified along any path that results in:

For example the function

:<math display="block">\ f(|x)=\| (x_1-x_2)^2\to \,infty </math>

For example, the functionfunctions

is not radially unbounded since along the line <math> x_1 = x_2 </math>, the condition is not verified

<math display="block">\begin{align}

f_1(x) &= (x_1-x_2)^2 \\

f_2(x) &= (x_1^2+x_2^2)/(1+x_1^2+x_2^2)+(x_1-x_2)^2

\end{align} </math>

isare not radially unbounded since along the line <math> x_1 = x_2 </math>, the condition is not verified even though the second function is globally positive definite.

==References==

{{Reflist}}

*{{Citation | last1=Terrell | first1=William J. | title=Stability and stabilization | publisher=[[Princeton University Press]] | isbn=978-0-691-13444-4 | id={{MathSciNet | id = 2482799}} | year=2009}}

[[Category:Real analysis]]

[[Category:Types of functions]]

{{Mathanalysis-stub}}