Norm inequalities for vector functions
- arXiv
- 1008.4254v3 · PDF · 15 March 2011
- Categories
- math.CA, math.CV
- Licence
- CC BY 4.0 The site shows the text.
Abstract
We study vector functions of {\mathbb R}^n into itself, which are of the form x \mapsto g(|x|)x\,, where g : (0,\infty) \to (0,\infty) is a continuous function and call these radial functions. In the case when g(t) = t^c for some c \in {\mathbb R}\,, we find upper bounds for the distance of image points under such a radial function. Some of our results refine recent results of L. Maligranda and S. Dragomir. In particular, we study quasiconformal mappings of this simple type and obtain norm inequalities for such mappings.
Items 47
Theorem 1.3
H9Y3Theorem 1.4
HNEBFor p\in(0,1) and x,y\in \mathbb{R}^n, we have
with equality for x=-y\,.
Theorem 1.6
H7ONLet 0<a\le 1\le b and
where
and
Then
Theorem 1.7
5S15For all x,y \in {\mathbb R}^n and p \in (0,1)
and furthermore, if |x|\le |y|, we have also
where z is as in Theorem 1.6.
Lemma 2.3
HST7The following functions are monotone increasing from (0,\infty) onto (1,\infty);
(1)\qquad f(x)=\displaystyle\frac{(1+x)\log(1+x)}{x}\,,\quad (2)\qquad g(x)=\displaystyle\frac{x}{\log(1+x)}\,,
(3) For a fixed t\in(0,1), the function h(K)=K(1-t^{2/K}) is monotone
increasing on (1,\infty).
Proof of Lemma 2.3
For the proof of (1) see [kmv, p. 7]. For (2), we get
and g^{'}(x)>0 by (1). Moreover, g tends to 1 and \infty when x tends 0 and \infty. Proof of (3) follows easily because x\mapsto(1-a^{x})/x is decreasing on (0,1) for each a\in (0,1) [avvb, 1.58(3)].
Corollary 2.4
DXACFor a fixed x\in(0,1), the following functions, (1) f(a)=(1+ax)^{1/a}, (2) g(a)=(\log(1+x^a))^{1/a} are decreasing and increasing on (1,\infty), respectively. (3) The following inequality holds for x\geq 0 and a\in[0,1],
Lemma 2.5
9KUXFor K>1\,,r\in(0,1),\,u={\rm arch}(1/r)/K, the following functions
f(K)=r\,{\rm arth}(1/{\rm ch(u)}) {\rm sh}(u),
g(K)=rK\,{\rm arth}(1/{\rm ch(u)}) {\rm sh}(u)
are strictly decreasing and increasing, respectively. Moreover, both functions tend to \sqrt{1-r^2}\,{\rm arth}(r) when K tends to 1.
Proof of Lemma 2.5
Differentiating f with respect to K we get
respectively. We obtain
Lemma 2.6
K5I9(1) For a fixed t>0, the following function is monotone increasing in K>1. Moreover, for t=t_0=(e-1)/(e+1), the function is increasing from (1,\infty) onto (m_1,1),
(2) The following function is monotone increasing from (1,\infty) onto (m_2,1),
Proof of Lemma 2.6
Differentiating f with respect to K we get
For t=t_0, f tends to m_1 and 1 when K tends to 1 and \infty,
respectively.
For the proof of (2), we differentiate g with respect to K and get,
by (1). We can see that g tends to m_2 and 1 when K tends to 1 and \infty, respectively. This completes the proof.
Lemma 2.7
ANJ0The following inequality holds for K\geq 1 and t\in[t_0,1),t_0=(e-1)/(e+1)
Proof of Lemma 2.7
Write h(t)=K\textrm{arth}(t)-\textrm{arth}(t^{1/K}). Differentiating h with respect to t we get,
The first inequality holds by Lemma 2.3(3) and the second one holds
when Kt\geq t^{1/K}\Leftrightarrow t\geq (1/K)^{K/(K-1)}=c_1(K). It is easy to see by
Lemma 2.3(1) that c_1(K) is decreasing in (1,\infty). We see that c_1(K)\to 1/e\approx 0.3679.. and 0 when K\to 1 and \infty respectively, hence h(t) is increasing in t\geq 1/e.
We can see that h(t_0)=K(1-2\,\textrm{arth}(t^{1/K}_0)/K)/2.
Now it is enough to prove that
f(K)=2\,\textrm{arth}(t^{1/K}_0)/K<1.
Differentiating f with respect to K we get
by Lemma \ref{2ll}(2), hence f is a monotone decreasing function from (1,K) onto (0,1/2). This implies the proof.
Lemma 2.9
KQ9SThe following inequality holds for K\geq 1 and t\in(0,t_0],t_0=(e-1)/(e+1)
Proof of Lemma 2.9
Write
For the proof of (2.9) we show that F(t) is decreasing in t and F(t_0)\geq 0. Differentiating F with respect to t we get,
Now we show that
For the proof of (\ast), it is enough to prove that t(t^{2/K}-1)\geq t^{1/K}(t^2-1). We get
this implies that F(t) is decreasing in t. Now we prove that F(t_0) is positive as a function of K. We write
Differentiating f with respect to K we get
by Lemma 2.6(2), hence f is increasing in K. This implies the proof.
Corollary 2.11
25WPThe following inequality holds for K\geq 1 and t\in [0,1)
Theorem 2.13
GQ1HThe following inequality holds for K\geq 1, |z|<1;
where \rho is the hyperbolic metric [vu1, p. 19].
Proof of Theorem 2.13
Proof follows easily from inequality (2.11) and the formula \rho(0,r)= \log((1+r)/(1-r)) \, .
Remark 2.15
M3KCThe constant K can not be replaced by K^{9/10} in (2.13), because for |z|=t_0, the inequality (2.13) is equivalent to 1-2\, \textrm{arth}(t^{1/K}_0)/K^{9/10}\geq 0. Write f(K)=1-2\, \textrm{arth}(t^{1/K}_0)/K^{9/10}, and we get
we see that f^{'}(1.005)=-0.004<0, f(K) is not increasing in K.
Lemma 2.16
ORUZFor K>1 the function
is monotone increasing in (0,t_0) and decreasing in (t_0,1).
Proof of Lemma 2.16
(1) Let u={\rm arch}(1/r)/K and
Differentiating f with respect to r we get
by Lemma 2.5(2), hence f is decreasing in r\in(0,1).
(2) Let
Differentiating g with respect to r we get
by Lemma 2.5(1), here
Hence g is increasing in r\in(0,1). We see that f(t_0)=g(t_0). Thus F(r) increases in r\in(0,t_0) and decreases in t\in(t_0,1).
Theorem 2.18
U0FFThe following inequality holds for K\geq 1, r\in(0,1),\,t_0=(e-1)/(e+1),
here p\,(r)=1/{\rm ch}({\rm arch}(1/r)/K) and c_3(K)=2\,{\rm arth} (p\,(t_0)). Moreover, c_3(K)\to 1 when K\to 1\,.
Proof of Theorem 2.18
The inequality follows easily from Lemma 2.16, because the maximum value of the function given in Lemma 2.16 is c_3(K)=1/{\rm ch}({\rm arch}(1/t_0)/K).
Lemma 3.1
TZAAThe following inequality holds for K\geq 1:
here t=1+\displaystyle\frac{|x-y|}{\min\{|x|,|y|\}}, for all x,y\in\mathbb{B}^n.
Proof of Lemma 3.1
By Theorem 1.4 and Corollary 2.4(1) we get
Taking \log both sides to (\ast) and by Corollary 2.4(3) we get
Corollary 3.3
HFJ7Let D=\mathbb{R}^n\setminus\{0\}, then we have
for all K \ge 1, x,y\in\mathbb{B}^n\cap D.
Definition 4.1
P7LVLet f:\overline{\mathbb{R}}^n\to \overline{\mathbb{R}}^n be a homeomorphism. We say that f is a radial function if there exists a homeomorphism g:(0,\infty)\to(0,\infty) such that f(x)=g(|x|)x,\, x\in\mathbb{R}^n\setminus\{0\}.
The following functions are examples of the radial functions:
h(x)=\displaystyle\frac{x}{|x|^2}\,, x \in \mathbb{R}^n\setminus\{0\}, \,h(0)=\infty, \,h(\infty)=0\,.
For a,b>0,
{\mathcal A}_{a,b}(x)=\left\{\begin{array}{ll}|x|^{a-1}x\quad if\; |x| \leq 1\\ |x|^{b-1}x\quad if\; |x|>1.\end{array}\right.
Remark 4.2
9TVIProperties of {\mathcal A}:
For |x|<1 and a,b,c,d>0
\begin{aligned} {\mathcal A}_{a,b}({\mathcal A}_{c,d}(x))&={\mathcal A}_{a,b}(|x|^{c-1}x)=||x|^{c-1}x|^{a-1}|x|^{c-1}x\\ &=|x|^{ac-c}|x|^{c-1}x=|x|^{ac-1}x. \end{aligned}For |x|>1
\begin{aligned} {\mathcal A}_{a,b}({\mathcal A}_{c,d}(x))&={\mathcal A}_{a,b}(|x|^{d-1}x)=||x|^{d-1}x|^{b-1}|x|^{d-1}x\\ &=|x|^{bd-d}|x|^{d-1}x=|x|^{bd-1}x. \end{aligned}(1) and (2) imply that {\mathcal A}_{a,b}({\mathcal A}_{c,d}(x))={\mathcal A}_{ac,bd}(x).
{\mathcal A}^{-1}_{a,b}(x)={\mathcal A}_{1/a,1/b}(x).
Lemma 4.3
5GJJ[vu1, (1.5)] An inversion in S^{n-1}(a,r) is defined as,
Moreover,
Lemma 4.5
1MDWLet h(w)=r^2w/|w|^2,\,r>0,\,w\in\mathbb{R}^n\setminus\{0\} and let x,y\in\mathbb{R}^n\setminus\{0\} with |x|\leq|y|. Then with \lambda=(|x|+|x-y|)/|x| and z=\lambda x we have
Equality holds in the upper bound for x=-y.
Proof of Lemma 4.5
For the proof of first inequality we observe that
by triangle inequality.
For the second inequality, we have
Note that here equality holds for x=-y.
Lemma 4.6
3OJJThe following inequality holds for K\geq 1:
for all x,y\in\mathbb{C}\setminus\overline{\mathbb{B}}^2.
Proof of Lemma 4.6
By [avvb, Theorem 14.18, (14.4)] we get because f:x\mapsto |x|^{K-1}x is K-quasiconformal [v, 16.2]
Finally by [avvb, Theorem 10.24] and [vu1, Remark 10.31] we have
Lemma 4.7
VCEPThe following inequality holds for K\geq 1 and for all x,y\in\mathbb{R}^n\setminus\overline{\mathbb{B}}^n:
here c(K)=2^{K-1}K^K\exp(4K(K+1)\sqrt{K-1}) and \alpha=K^{1/(1-n)}=1/\beta.
Proof of Lemma 4.7
By [avvb, Theorem 14.18] we get because f:x\mapsto |x|^{K-1}x is K-quasiconformal [v, 16.2]
and this is equivalent to
By [avvb, Theorem 14.6] we get
Corollary 4.8
GC80The following inequalities hold for K\geq 1;
for all x,y\in \mathbb{R}^n\setminus\mathbb{B}^n,
for all x,y\in\mathbb{B}^n,
for all x,y\in\mathbb{B}^2.
Proof of Corollary 4.8
For the proof of (4.8) we define
By Theorem 1.4 and (4.3) we get,
Again for the proof of (4.8) we define
By Lemma 4.7 and (4.3) we get,
Similarly, inequality (4.8) follows from Lemma 4.6 and (4.3).
Lemma 4.12
T9DJFor 0< a\le 1\le p< \infty and 0\le s\le 2\pi we have
Proof of Lemma 4.12
Let
Then
As
because
it follows that
As
it follows that
For s=0, the function f_{p,a} achieves its minimum
and for s=\pi its maximum
Lemma 4.13
FALFFor p\ge 1, and 0<d\le 1 there holds
Proof of Lemma 4.13
Let
We need to show that h(p)\le 0. First of all
Then
Since
we need to show that
but this is equivalent to
which is obviously true. Thus h'(p)\le 0, and consequently h(p)\le h(1)=0 and this inequality coincides with (4.13).
Remark 4.15
0ZS2Proof of Theorem 1.6. The case 1\le |x|\le |y|. Let us show that Q(x,y)\le 1. Without loss of generality, we can assume that x=r and z are positive real numbers, and y=R e^{it}. Then z=r + |r-Re^{it}|. Let
Then p\ge 1. Next we have:
If |x|\leq |y|\leq 1 and |z|\le 1, then by Lemmas 4.12 and 4.13 we get
If |x|\le |y|\le 1 and |z|\ge 1, then it follows from Lemmas 4.12 and 4.13 and |z|^b\ge |z|^a that
The case |x|\le 1\le |y| and r^{a-1}> R^{b-1}. Then there holds
First of all
where \alpha=\frac{r^a}{R^b} and \beta = \frac r R. Take the continuous function k(q) = \beta^q, a\le q\le 1. Since
it follows that there exists a constant c with a\le c \le 1 such that k(c)=\beta^c = \alpha. Then
the second inequality follows from Lemma 4.12 and the third inequality follows from Lemma 4.13 by taking p=1/\beta and c=d.
Finally, let us show that C(a,b)\ge 2/(3^a-1)\,. Suppose that x \in {\mathbb R}^n \setminus \{ 0 \} is such that 3 |x|<1\,, i.e. 0 < |x|<1/3\, and y=-x\,. Then z= x(|x|+|x-y|)/|x| = 3 x and
and hence C(a,b)\ge 2/(3^a-1)\,. \square
Remark 5.1
Z0J9Proof of Theorem 1.7. For |x|,|y|<1 we have
Consider the case |x|<1<|y|\,. It is obvious that
this is equivalent to
\Longleftrightarrow
\Longleftrightarrow
\Longleftrightarrow
\Longleftrightarrow
Consider now the case 1<|x|<|y|. Starting with the observation that the function t \mapsto t^{1/p}-t^p is increasing for t>1 when p \in (0,1)\,, we see that
\Longleftrightarrow
Now it is clear that
\Longleftrightarrow
\Longleftrightarrow
\Longleftrightarrow
\Longleftrightarrow
Remark 5.2
0BK6Comparison of the bounds. In what follows, we use the symbols M,D, B,K for the bounds given by Theorems 1.2, 1.3, 1.4, 1.6, respectively. In the case of the complex plane, we will show by numerical examples that each of these four bounds can occur as minimal. To this end, for each of the symbols M,D, B,K, we give a table of four x,y pairs and the corresponding upper bound values associated with the four symbols M,D, B,K, such that the bound associated with the symbol in question is the least one. For the computation of the K bound it should be observed that in Theorem 1.7 we have the constraint |x|\le|y|\,. If this is not the situation to begin with, we have swapped the points for computation. In Tables 1-4 the parameter p=0.5\,.
Source and licence
The text on this page is from arXiv:1008.4254v3 by Barkat A. Bhayo, Vladimir Božin, David Kalaj and Matti Vuorinen, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/1008/1008.4254.jsonl.