arXiv reader

Norm inequalities for vector functions

Barkat A. Bhayo, Vladimir Božin, David Kalaj and Matti Vuorinen

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

Theorem 1.2

0UBH
\alpha_p(x,y)\leq \left\{\begin{array}{lll} (2-p)\displaystyle\frac{|x-y| \max\{|x|^{p},|y|^{p}\}} {(\max\{|x|,|y|\})} \quad {\rm if}\, \, p\in (-\infty,0) \, \, {\rm and}\, x,y\neq 0; \\ \\(2-p)\displaystyle\frac{|x-y|} {(\max\{|x|,|y|\})^{1-p}} \quad {\rm if}\,\, p\in[0,1] \, \, {\rm and}\,\, x,y\neq 0;\\ \\ p \,(\max\{|x|,|y|\})^{p-1}|x-y| \quad {\rm if} \,p \, \in(1,\infty) .\end{array}\right.
Used by Remark 5.2
Theorem

Theorem 1.3

H9Y3
\alpha_p(x,y)\leq \left\{\begin{array}{llllll} |x-y|(\max\{|x|,|y|\})^{p-1}+ \left||x|^{p-1}-|y|^{p-1}\right|\min\{|x|,|y|\}\quad {\rm if} \, \, p\in(1,\infty)\,;\\ \\ \displaystyle\frac{|x-y|}{(\min\{|x|,|y|\})^{1-p}}+ \left||x|^{1-p}-|y|^{1-p}\right| \min\left\{\frac{|x|^p}{|y|^{1-p}},\frac{|y|^p}{|x|^{1-p}}\right\} \quad {\rm if} \, \, p\in[0,1]\,; \\ \\ \displaystyle\frac{|x-y|}{(\min\{|x|,|y|\})^{1-p}} + \displaystyle\frac{||x|^{1-p}-|y|^{1-p}|}{(\max\{|x|^{-p}|y|^{1-p},|y|^{-p} |x|^{1-p}\})} \quad {\rm if} \, \, p \in (-\infty,0)\,. \end{array}\right.
Used by Remark 5.2
Theorem

Theorem 1.6

H7ON

Let 0<a\le 1\le b and

C(a,b) = \sup_{|x|\le|y|}Q(x,y),

where

Q(x,y)=\frac{|{\mathcal A}(x)-{\mathcal A}(y)|} {|{\mathcal A}(x)-{\mathcal A}(z)|}\,,\quad x,y \in {\mathbb R}^n \setminus \{ 0 \}\, \text{ with }\; x\neq y\,,

and

z=\frac{x}{|x|}(|x|+|x-y|).

Then

C(a,b)=\frac{2}{3^a-1}\text{ and }\lim_{a\to 1} C(a,b)=1.
Used by Remark 5.2
Theorem

Theorem 1.7

5S15

For all x,y \in {\mathbb R}^n and p \in (0,1)

\alpha_p(x,y) \le |{\mathcal A}_{p, 1/p}(x) - {\mathcal A}_{p, 1/p}(y) | \,,

and furthermore, if |x|\le |y|, we have also

\alpha_p(x,y) \le |{\mathcal A}_{p, 1/p}(x) - {\mathcal A}_{p, 1/p}(y) | \le \frac{2}{3^{p}-1} |{\mathcal A}_{p, 1/p}(x) - {\mathcal A}_{p, 1/p}(z) |

where z is as in Theorem 1.6.

Lemma

Lemma 2.3

HST7

The 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).

Used by Proof
Proof of Lemma 2.3

For the proof of (1) see [kmv, p. 7]. For (2), we get

g^{'}(x)=\frac{1}{\log(1+x)}-\frac{x}{(1+x)(\log(1+x))^2} =\frac{(1+x)\log(1+x)-x}{(1+x)(\log(1+x))^2},

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

Corollary 2.4

DXAC

For 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],

\log(1+x^a)\leq \max\{\log(1+x),\log^a(1+x)\}.
Used by Proof
Lemma

Lemma 2.5

9KUX

For K>1\,,r\in(0,1),\,u={\rm arch}(1/r)/K, the following functions

  1. f(K)=r\,{\rm arth}(1/{\rm ch(u)}) {\rm sh}(u),

  2. 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.

Used by Proof
Proof of Lemma 2.5

Differentiating f with respect to K we get

f^{'}(K)=-\frac{r\,\textrm{arth}(1/r)}{K^2}\left(\textrm{arth} \left(\frac{1}{\textrm{ch}(u}\right) {\rm ch}(u)-1\right)\leq 0,
g^{'}(K)=r\left(\textrm{ch}\left(\frac{1}{r}\right) \left(1-\textrm{arth}\left(\frac{1}{\textrm{ch}(u)}\right) +K\,\textrm {arth}\left(\frac{1}{\textrm{ch}(u)}\right) \textrm{sh}(u)\right)\right)\geq 0,

respectively. We obtain

f(1)=g(1)=r\,\textrm{arth}(r)\sqrt{({\rm ch}({\rm arch}(1/r)))^2-1}=\sqrt{1-r^2}\,\textrm{arth}(r).
Lemma

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),

f(K)=\frac{K-\log(1/t)}{t^{2/K}(K+\log(1/t))} ,\; m_1=\frac{1+\log t_0}{t^2_0(1-\log t_0)}\approx 0.6027..

(2) The following function is monotone increasing from (1,\infty) onto (m_2,1),

g(K)=\frac{t^{1/K}_0\log(1/t^2_0)}{K(1-t^{2/K}_0)}, \; m_2=\frac{2t_0\log t_0}{t^2_0-1}\approx 0.9072..\;.
Used by Proof, Proof
Proof of Lemma 2.6

Differentiating f with respect to K we get

\begin{aligned} f^{'}(K)&=\frac{t^{-2/K}}{K+\log(1/t)}-\frac{t^{-2/K}(K-\log(1/t))}{(K+\log(1/t))^2} +\frac{2t^{-2/K}(K-\log(1/t))\log t}{K^2(K+\log(1/t))^2}\\ &=\frac{2t^{-2/K}(K^2\log(1/t)+K^2\log t-(\log(1/t))^2\log t)}{K^2(K+\log(1/t))^2}\\ &=\frac{2t^{-2/K}(\log(1/t))^3}{K^2(K+\log(1/t))^2}>0. \end{aligned}

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,

\begin{aligned} g^{'}(K)&=-\frac{t^{1/K}_0\log(1/t^2_0)}{K^2(1-t^{2/K}_0)} -\frac{2t^{3/K}_0\log(1/t^2_0)\log t_0}{K^3(1-t^{2/K}_0)^2} -\frac{t^{1/K}_0\log(1/t^2_0)\log t_0}{K^3(1-t^{2/K}_0)}\\ &=t^{1/K}_0\log(1/t^2_0)(-K(1-t^{2/K}_0)-(1+t^{2/K}_0)\log t_0)/(K^3(1-t^{2/K}_0)^2)\\ &=t^{1/K}_0\log(1/t^2_0)(t^{2/K}_0(1+\log(1/t_0))-(K-\log (1/t_0)))/(K^3(1-t^{2/K}_0)^2)\\ &=\frac{t^{3/K}_0\log(1/t^2_0)(1+\log(1/t_0))}{K^3(1-t^{2/K}_0)^2}\left(1- \frac{K-\log (1/t_0)}{t^{2/K}_0(1+\log(1/t_0))}\right)>0 \end{aligned}

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

Lemma 2.7

ANJ0

The following inequality holds for K\geq 1 and t\in[t_0,1),t_0=(e-1)/(e+1)

\log\left(\frac{1+t^{1/K}}{1-t^{1/K}}\right)\leq K \log\left(\frac{1+t}{1-t}\right).
Used by Proof
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,

\begin{aligned} h^{'}(t)&=\frac{K}{1-t^2}-\frac{t^{1/K-1}}{K(1-t^{2/K})} =\frac{K^2t(1-t^{2/K})-t^{1/K}(1-t^2)}{tK(1-t^2)(1-t^{2/K})}\\ &\geq&\frac{Kt(1-t^2)-t^{1/K}(1-t^2)}{tK(1-t^2)(1-t^{2/K})} =\frac{Kt-t^{1/K}}{Kt(1-t^{2/K})}\geq 0.\\ \end{aligned}

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

\begin{aligned} f^{'}(K)&=\frac{-2\,\textrm{arth}(t^{1/K}_0)}{K^2}- \frac{2t^{1/K}_0\log(t_0)}{K^3(1-t^{2/K}_0)}\\ &=2(-K(1-t^{2/K}_0)\,\textrm{arth}(t^{1/K}_0)- t^{1/K}_0\log(t_0))/(K^3(1-t^{2/K}_0))\\ &\leq&2(-K(1-t^{2/K}_0)\,\textrm{arth}(t_0)+t^{1/K}_0\log(1/t_0))/ (K^3(1-t^{2/K}_0))\\ &=2(-(K(1-t^{2/K}_0)/2)\log\left(\frac{1+t_0}{1-t_0}\right) +t^{1/K}_0\log(1/t_0))/(K^3(1-t^{2/K}_0))\\ &=(t^{1/K}_0\log(1/t^2_0)-K(1-t^{2/K}_0)) /(K^3(1-t^{2/K}_0))\\ &=\frac{1}{K^2}\left(\frac{t^{1/K}_0\log(1/t^{2}_0)}{K(1-t^{2/K}_0)}-1\right)<0 \end{aligned}

by Lemma \ref{2ll}(2), hence f is a monotone decreasing function from (1,K) onto (0,1/2). This implies the proof.

Lemma

Lemma 2.9

KQ9S

The following inequality holds for K\geq 1 and t\in(0,t_0],t_0=(e-1)/(e+1)

\log\left(\frac{1+t^{1/K}}{1-t^{1/K}}\right)\leq K \left(\log\left(\frac{1+t}{1-t}\right)\right)^{1/K}.
Used by Proof
Proof of Lemma 2.9

Write

F(t)=K-\displaystyle\frac{\log((1+t^{1/K})/(1-t^{1/K}))} {\left(\log(1+t)/(1-t)\right)^{1/K}}\;.

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,

F^{'}(t)=\frac{\log\left(\frac{1+t}{1-t}\right)^{(K-1)/K}\left(2t^{1/K}(t^2-1)\log\left(\frac{1+t}{1-t}\right)-2t(t^{2/K}-1)\log\left(\frac{1+t^{1/K}}{1-t^{1/K}}\right)\right)}{Kt(t^2-1)(t^{2/K}-1)}\;.

Now we show that

t(t^{2/K}-1)\log\left(\frac{1+t^{1/K}}{1-t^{1/K}}\right)\geq t^{1/K}(t^2-1) \log\left(\frac{1+t}{1-t}\right).\qquad (\ast)

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

\begin{aligned} t(t^{2/K}-1)-t^{1/K}(t^2-1)&=(t^{1/K+1}+t)(t^{1/K}-1)-(t^{1/K+1}+t^{1/K})(t-1)\\ &=t^{1/K+1/K+1}+t^{1/K}-t-t^{1/K+1+1}\\ &=t^{1/K}(t^{1/K+1}+1)-t(t^{1/K+1}+1)\\ &=(t^{1/K+1}+1)(t^{1/K}-t)\geq 0, \end{aligned}

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

f(K)=K-\log\left(\frac{1+t^{1/K}_0}{1-t^{1/K}_0}\right) =K-2\, \textrm{arth} (t^{1/K}_0)=F(t_0)\;.

Differentiating f with respect to K we get

f^{'}(K)=1+\frac{2t^{1/K}_0\log(t_0)}{K^2(1-t^{2/K}_0)} \geq 1-\frac{t^{1/K}_0\log(1/t^2_0)}{K^2(1-t^{2/K}_0)}>0

by Lemma 2.6(2), hence f is increasing in K. This implies the proof.

Corollary

Corollary 2.11

25WP

The following inequality holds for K\geq 1 and t\in [0,1)

\log \left( \frac{1+t^{1/K}}{1-t^{1/K}} \right) \leq K \max \left\{ \left( \log \left(\frac{1+t}{1-t}\right) \right)^{1/K}, \, \, \log \left(\frac{1+t}{1-t}\right) \right\} .
Used by Proof
Proof of Corollary 2.11

The proof follows easily from inequalities (2.7) and (2.9).

Theorem

Theorem 2.13

GQ1H

The following inequality holds for K\geq 1, |z|<1;

\rho(0,{\mathcal A}_{1/K,K}(z))\leq K\max\{\rho(0,|z|),\rho^{1/K}(0,|z|)\}

where \rho is the hyperbolic metric [vu1, p. 19].

Used by Remark 2.15
Proof of Theorem 2.13

Proof follows easily from inequality (2.11) and the formula \rho(0,r)= \log((1+r)/(1-r)) \, .

Remark

Remark 2.15

M3KC

The 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

f^{'}(K)=\frac{9\,\textrm{arth}(t^{1/K}_0)}{5K^{19/10}} +\frac{2t^{1/K}\log(t_0)}{K^{29/10}(1-t^{2/K}_0)},

we see that f^{'}(1.005)=-0.004<0, f(K) is not increasing in K.

Lemma

Lemma 2.16

ORUZ

For K>1 the function

F(r)=\frac{2{\rm arth}(1/{\rm ch}({\rm arch}(1/r)/K))}{\max\{2{\rm arth}(r), (2{\rm arth}(r))^{1/K}\}}

is monotone increasing in (0,t_0) and decreasing in (t_0,1).

Used by Proof
Proof of Lemma 2.16

(1) Let u={\rm arch}(1/r)/K and

f(r)=\frac{{\rm arth}(1/{\rm ch}(u))}{{\rm arth}(r)}\,.

Differentiating f with respect to r we get

\begin{aligned} f^{'}(r)&=-\frac{{\rm arth}(1/{\rm ch}(u))}{(1-r^2)({\rm arth}(r))^2} +\frac{(1/{\rm ch}(u)){\rm th}(u)}{K\sqrt{1/r-1}\sqrt{1+1/r}\,r^2\,{\rm arth}(r)(1-(1/{\rm ch}(u))^2)}\\ &=-\frac{Kr\,{\rm arth}(1/{\rm ch}(u)){\rm sh}(u)-\sqrt{1-r^2}\,{\rm arth}(r)} {Kr(1-r^2)({\rm arth}(r))^2{\rm sh}(u)}\leq 0, \end{aligned}

by Lemma 2.5(2), hence f is decreasing in r\in(0,1).
(2) Let

g(r)=\frac{2^{1-1/K}{\rm arth}(1/{\rm ch}(u))}{({\rm arth}(r))^{1/K}}\,.

Differentiating g with respect to r we get

g^{'}(r)=\xi\left((1-r^2){\rm arth}(r)- r\sqrt{1-r^2}\,{\rm arth}(1/{\rm ch}(u)){\rm sh}(u)\right)\geq 0

by Lemma 2.5(1), here

\xi=\frac{{2^{1-1/K}({\rm arth}(r))^{-(1+K)/K}}}{Kr(1-r^2)^{3/2}\,{\rm sh}(u)}\,.

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

Theorem 2.18

U0FF

The following inequality holds for K\geq 1, r\in(0,1),\,t_0=(e-1)/(e+1),

\log\left(\frac{1+p\,(r)}{1-p\,(r)} \right)\leq c_3(K)\max\left\{\log\left(\frac{1+r}{1-r}\right), \left(\log\left(\frac{1+r}{1-r}\right)\right)^{1/K}\right\}

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

Lemma 3.1

TZAA

The following inequality holds for K\geq 1:

\log\left(1+\frac{|{\mathcal A}_{1/K,K}(x)-{\mathcal A}_{1/K,K}(y)|} {\min\{|{\mathcal A}_{1/K,K}(x)|,|{\mathcal A}_{1/K,K}(y)|\}}\right) \leq 2^{1-1/K}\max\{\log^{1/K}(t),\log(t)\}

here t=1+\displaystyle\frac{|x-y|}{\min\{|x|,|y|\}}, for all x,y\in\mathbb{B}^n.

Used by Proof
Proof of Lemma 3.1

By Theorem 1.4 and Corollary 2.4(1) we get

1+\frac{|{\mathcal A}_{1/K,K}(x)-{\mathcal A}_{1/K,K}(y)|}{\min\{|{\mathcal A}_{1/K,K}(x)|,|{\mathcal A}_{1/K,K}(y)|\}}\leq 1+2^{1-1/K}\frac{|x-y|^{1/K}}{\min\{|x|^{1/K},|y|^{1/K}\}}
\leq \left(1+\left(\frac{|x-y|} {\min\{|x|,|y|\}}\right)^{1/K}\right)^{2^{1-1/K}}.\qquad (\ast)

Taking \log both sides to (\ast) and by Corollary 2.4(3) we get

\log\left(1+\frac{|{\mathcal A}_{1/K,K}(x)-{\mathcal A}_{1/K,K}(y)|}{\min\{|{\mathcal A}_{1/K,K}(x)|,|{\mathcal A}_{1/K,K}(y)|\}}\right) \leq \log\left(\left(1+\left(\frac{|x-y|} {\min\{|x|,|y|\}}\right)^{1/K}\right)^{2^{1-1/K}}\right)
\leq2^{1-1/K}\max\left\{\log \left(1+\frac{|x-y|}{\min\{|x|,|y|\}}\right), \left(\log\left(1+\frac{|x-y|}{\min\{|x|,|y|\}}\right)\right)^{1/K}\right\}.
Corollary

Corollary 3.3

HFJ7

Let D=\mathbb{R}^n\setminus\{0\}, then we have

j_{D}({\mathcal A}_{1/K,K}(x),{\mathcal A}_{1/K,K}(y))\leq 2^{1-1/K}\max\{j_{D}(x,y),j^{1/K}_{D}(x,y)\}

for all K \ge 1, x,y\in\mathbb{B}^n\cap D.

Proof of Corollary 3.3

Follows from inequality (3.1).

Definition

Definition 4.1

P7LV

Let 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:

  1. h(x)=\displaystyle\frac{x}{|x|^2}\,, x \in \mathbb{R}^n\setminus\{0\}, \,h(0)=\infty, \,h(\infty)=0\,.

  2. 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

Remark 4.2

9TVI

Properties of {\mathcal A}:

  1. 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}
  2. 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).

  3. {\mathcal A}^{-1}_{a,b}(x)={\mathcal A}_{1/a,1/b}(x).

Lemma

Lemma 4.3

5GJJ

[vu1, (1.5)] An inversion in S^{n-1}(a,r) is defined as,

h(x)=a+\frac{r^2(x-a)}{|x-a|^2},\; h(a)=\infty, \; h(\infty)=a.

Moreover,

|h(x)-h(y)|=\frac{r^2|x-y|}{|x-a||y-a|}.
Used by Proof
Lemma

Lemma 4.5

1MDW

Let 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

\quad|h(x)-h(z)|\leq |h(x)-h(y)| \leq 3|h(x)-h(z)|.

Equality holds in the upper bound for x=-y.

Proof of Lemma 4.5

For the proof of first inequality we observe that

\begin{aligned} |h(x)-h(z)|&=|h(x)-\frac{\lambda}{|\lambda|^2} h( x)|=\frac{|\lambda-1|}{\lambda}\frac{r^2}{|x|}\\ &=\frac{r^2|x-y|}{|x|(|x|+|x-y|)}\\ &\leq&\frac{r^2|x-y|}{|x||y|}=|h(x)-h(y)| \end{aligned}

by triangle inequality.
For the second inequality, we have

\begin{aligned} \frac{|h(x)-h(y)|}{|h(x)-h(z)|}&=\frac{|x-y|}{|x||y|}\frac{|x|(|x|+|x-y|)}{|x-y|}\\ &=\frac{|x|}{|y|}+\frac{|x-y|}{|y|}\leq 1+\frac{|x|+|y|}{|y|}\leq 3. \end{aligned}

Note that here equality holds for x=-y.

Lemma

Lemma 4.6

3OJJ

The following inequality holds for K\geq 1:

||x|^{K-1}x-|y|^{K-1}y|\leq e^{\pi(K-1/K)}|x|^{K-1/K}\max\{|x-y|^{1/K},|x-y|^K\}

for all x,y\in\mathbb{C}\setminus\overline{\mathbb{B}}^2.

Used by Proof
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]

||x|^{K-1}x,f(0),|y|^{K-1}y,f(\infty)|\leq \eta^{*}_{K,2}(|x,0,y,\infty|)=\eta_{K,2}\left(\frac{|x-y|}{|x|}\right).

Finally by [avvb, Theorem 10.24] and [vu1, Remark 10.31] we have

\begin{aligned} ||x|^{K-1}x-|y|^{K-1}y|&\leq& |x|^K\eta_{K,2}\left(\frac{|x-y|}{|x|}\right)\\ &\leq &\lambda(K)|x|^K\max\{\left(\frac{|x-y|}{x}\right)^{1/K}, \left(\frac{|x-y|}{x}\right)^K\}\\ &\leq &e^{\pi(K-1/K)}|x|^{K-1/K}\max\{|x-y|^{1/K},|x-y|^K\}. \end{aligned}
Lemma

Lemma 4.7

VCEP

The following inequality holds for K\geq 1 and for all x,y\in\mathbb{R}^n\setminus\overline{\mathbb{B}}^n:

||x|^{\beta-1}x-|y|^{\beta-1}y|\leq c(K)|x|^{\beta-\alpha}\max\{|x-y|^\alpha,|x-y|^\beta\}

here c(K)=2^{K-1}K^K\exp(4K(K+1)\sqrt{K-1}) and \alpha=K^{1/(1-n)}=1/\beta.

Used by Proof
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]

||x|^{\beta-1}x,f(0),|y|^{\beta-1}y,f(\infty)|\leq \eta^{*}_{K,n}(|x,0,y,\infty|),

and this is equivalent to

||x|^{\beta-1}x-|y|^{\beta-1}y|\leq |x|^\beta\eta^{*}_{K,n}\left(\frac{|x-y|}{|x|}\right).

By [avvb, Theorem 14.6] we get

\begin{aligned} ||x|^{\beta-1}x-|y|^{\beta-1}y|&\leq &c(K) |x|^\beta\max\left\{\left(\frac{|x-y|}{x}\right)^\alpha, \left(\frac{|x-y|}{x}\right)^\beta\right\}\\ &\leq &c(K)|x|^{\beta-\alpha}\max\{|x-y|^\alpha,|x-y|^\beta\}. \end{aligned}
Corollary

Corollary 4.8

GC80

The following inequalities hold for K\geq 1;

\left|\frac{x}{|x|^{1+1/K}}-\frac{y}{|y|^{1+1/K}}\right|\leq 2^{1-1/K}\frac{|x-y|^{1/K}}{(|x||y|)^{1/K}}

for all x,y\in \mathbb{R}^n\setminus\mathbb{B}^n,

\left|\frac{x}{|x|^{1+\beta}}-\frac{y}{|y|^{1+\beta}}\right|\leq \frac{c(K)}{{|x|^{\beta-\alpha}}} \max\left\{\left(\frac{|x-y|}{|x||y|}\right)^\alpha,\left(\frac{|x-y|}{|x||y|}\right)^\beta\right\}

for all x,y\in\mathbb{B}^n,

\left|\frac{x}{|x|^{1+K}}-\frac{y}{|y|^{1+K}}\right|\leq \frac{e^{\pi(K-1/K)}}{|x|^{K-1/K}} \max\left\{\left(\frac{|x-y|}{|x||y|}\right)^{1/K}, \left(\frac{|x-y|}{|x||y|}\right)^K\right\}

for all x,y\in\mathbb{B}^2.

Proof of Corollary 4.8

For the proof of (4.8) we define

g(z)={\mathcal A}_{1/K,K}(h(z))=\frac{z}{|z|^{1+1/K}}, \; h(z)=\frac{z}{|z|^2},\;z\in\mathbb{R}^n\setminus\mathbb{B}^n.

By Theorem 1.4 and (4.3) we get,

|g(x)-g(y)|=\left|\frac{x}{|x|^{1+1/K}}-\frac{y}{|y|^{1+1/K}}\right|\\ \leq 2^{1-1/K}|h(x)-h(y)|^{1/K} \leq 2^{1-1/K}\frac{|x-y|^{1/K}}{(|x||y|)^{1/K}}.

Again for the proof of (4.8) we define

g(z)={\mathcal A}_{\alpha,\beta}(h(z))=\frac{z}{|z|^{1+\beta}}, \; h(z)=\frac{z}{|z|^2},\;z\in\mathbb{B}^n.

By Lemma 4.7 and (4.3) we get,

\begin{aligned} |g(x)-g(y)|&\leq& c(K)|h(x)|^{\beta-\alpha}\max\{|h(x)-h(y)|^\alpha,|h(x)-h(y)|^\beta\}\\ &= \frac{c(K)}{|x|^{\beta-\alpha}} \max\left \{\left(\frac{|x-y|}{|x||y|}\right)^\alpha, \left(\frac{|x-y|}{|x||y|}\right)^\beta\right\}. \end{aligned}

Similarly, inequality (4.8) follows from Lemma 4.6 and (4.3).

Lemma

Lemma 4.12

T9DJ

For 0< a\le 1\le p< \infty and 0\le s\le 2\pi we have

\frac{(1 + p^{2 a} - 2 p^a \cos s)^{1/2}}{(-1 + (1 + X)^a)} \le \frac{1 + p^a}{(-1 + (2 + p)^a)}\,, \quad X = \sqrt{1 + p^2 - 2 p \cos s}\, .
Used by Remark 4.15
Proof of Lemma 4.12

Let

f_{p,a}(s)=\frac{(1 + p^{2 a} - 2 p^a \cos s)}{ (-1 + (1 + X)^a)^2}.

Then

f_{p,a}'(s)=2\frac{(-a (p^{1 - a} + p^{a + 1} - 2 p \cos s)/X + (1+X-(1+X)^{1-a})) \sin s}{ p^{-a} (1 + X)^{1 - a} (-1 + (1 + X)^a)^3}

As

p^{1 - a} + p^{a + 1}\le 1+p^2

because

p^{1+a}(1-p^{1-a})\le 1-p^{1-a}

it follows that

f'_{p,a}(s) / \sin s\ge 2\frac{(-a X + (1 + X - (1 + X)^{1 - a}))}{ p^{-a} (1 + X)^{1 - a} (-1 + (1 + X)^a)^3}.

As

(1+X)^{1-a}< 1+(1-a)X,

it follows that

f'_{p,a}(s)=0\text{ if and only $s=0$ or $s=\pi$.}

For s=0, the function f_{p,a} achieves its minimum

f_{p,a}(0)=\left(\frac{-1 + p^ a}{-1 + {p}^a}\right)^2=1

and for s=\pi its maximum

f_{p,a}(\pi)=\left(\frac{1 +p^ a}{(-1 + (2 + p)^a)}\right)^2.
Lemma

Lemma 4.13

FALF

For p\ge 1, and 0<d\le 1 there holds

\frac{1+p^d}{(2+p)^d-1}\le \frac{2}{3^d-1}.
Used by Remark 4.15
Proof of Lemma 4.13

Let

h(p)=(3^d-1)(1+p^d)-2((2+p)^d-1).

We need to show that h(p)\le 0. First of all

h'(p)=d\left((3^d-1)p^{d-1}-2(2+p)^{d-1}\right).

Then

h'(p)\le 0 \Leftrightarrow \left(\frac{2}{p}+1\right)^{1-d}\le \frac{2}{3^d-1}.

Since

\left(\frac{2}{p}+1\right)^{1-d}\le 3^{1-d}

we need to show that

\left(3\right)^{1-d}\le \frac{2}{3^d-1},

but this is equivalent to

3^d\le 3

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

Remark 4.15

0ZS2

Proof 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

p = \frac{R}{r}.

Then p\ge 1. Next we have:

\begin{split}\frac{|{\mathcal A}(x)-{\mathcal A}(y)|}{|{\mathcal A}(x)-{\mathcal A}(z)|}&= \frac{|1-p^b e^{it}|}{(1+|1-p e^{it}|)^b-1}\\&\le \frac{|1-p^b e^{it}|}{(1+|1-p|)^{b-1}(1+|1-p e^{it}|)-1}\\&=\frac{|1-p^b e^{it}|}{p^{b-1}(1+|1-p e^{it}|)-1}\\&=\frac{|1-p^b e^{it}|}{p^{b-1}-1+|p^{b-1}-p^b e^{it}|}\\&=\frac{|1-p^{b-1}+p^{b-1}-p^b e^{it}|}{p^{b-1}-1+|p^{b-1}-p^b e^{it}|}\le 1.\end{split}

If |x|\leq |y|\leq 1 and |z|\le 1, then by Lemmas 4.12 and 4.13 we get

\begin{aligned} \frac{|{\mathcal A}(x)-{\mathcal A}(y)|}{|{\mathcal A}(x)-{\mathcal A}(z)|}&=\frac{|r^a-R^a e^{it}|}{(r+|r-Re^{it}|)^a-r^a}\\ &\leq &\frac{1+p^a}{(2+p)^a-1} \leq \frac{2}{3^a-1}. \end{aligned}

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

\begin{aligned} \frac{|{\mathcal A}(x)-{\mathcal A}(y)|}{|{\mathcal A}(x)-{\mathcal A}(z)|}&\leq & \frac{|r^a-R^a e^{it}|}{(r+|r-Re^{it}|)^a-r^a}\\ &\leq &\frac{1+p^a}{(2+p)^a-1} \leq \frac{2}{3^a-1}. \end{aligned}

The case |x|\le 1\le |y| and r^{a-1}> R^{b-1}. Then there holds

Q(x,y) \le \frac{2}{3^a-1}.

First of all

\begin{split}\frac{ |{\mathcal A}(x)-{\mathcal A}(y) |}{ |{\mathcal A}(x)-{\mathcal A}(z) |}&=\frac{|r^a-R^b e^{it}|}{(r+|r-Re^{it}|)^b-r^a} \\&=\frac{|\alpha-e^{it}|}{(\beta+|\beta-e^{it}|)^b-\alpha} \end{split}

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

\beta=k(1)=\frac{r}{R}\le \alpha=\frac{r^a}{R^b}\le k(a)= \frac{r^a}{R^a}

it follows that there exists a constant c with a\le c \le 1 such that k(c)=\beta^c = \alpha. Then

\begin{aligned} \frac{|\alpha-Re^{it}|}{(\beta+|\beta-e^{it}|)^b-\alpha}&= \frac{|\beta^c-e^{it}|}{(\beta+|\beta-e^{it}|)^b-\beta^c}\\ &\leq &\frac{|\beta^c-e^{it}|}{(\beta+|\beta-e^{it}|)^c-\beta^c} \\ &\leq & \frac{1+\beta^c}{(2+\beta)^c-\beta^c}\\ &\leq & \frac{2}{3^c-1} \leq \frac{2}{3^a-1}, \end{aligned}

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

Q(x, -x)= \frac{2 |x|^a}{ (3|x|)^a - |x|^a}= \frac{2 }{3^a-1} \,,

and hence C(a,b)\ge 2/(3^a-1)\,. \square

Remark

Remark 5.1

Z0J9

Proof of Theorem 1.7. For |x|,|y|<1 we have

\alpha_p(x,y)=\left||x|^{p-1}x-|y|^{p-1}y\right|= \left|{\mathcal A}_{p, 1/p}(x) - {\mathcal A}_{p, 1/p}(y) \right|.

Consider the case |x|<1<|y|\,. It is obvious that

\cos\theta\leq 1<\frac{|x|^{-p}(|y|^{1/p}+|y|^{p})}{2},

this is equivalent to

\cos\theta\leq 1< \frac{(|y|^{1/p}-|y|^{p})(|y|^{1/p}+|y|^{p})}{2|x|^p(|y|^{1/p}-|y|^{p})}

\Longleftrightarrow

\qquad 2|x|^p|y|^{1/p}\cos\theta-2|x|^p|y|^{p}\cos\theta < |y|^{2/p}-|y|^{2p}

\Longleftrightarrow

|y|^{2p}-2|x|^{p-1}|y|^{p-1}|x||y|\cos\theta < |y|^{2/p}-2|x|^{p-1}|y|^{1/p-1}|x||y|\cos\theta

\Longleftrightarrow

||x|^{p-1}x|^2+||y|^{p-1}y|^2-2|x|^{p-1}|y|^{p-1}x\,y < ||x|^{p-1}x|^2+||y|^{1/p-1}y|^2-2|x|^{p-1}|y|^{1/p-1}x\,y

\Longleftrightarrow

\left||x|^{p-1}x-|y|^{p-1}y\right|^2<\left||x|^{p-1}x-|y|^{1/p-1}y\right|^2 =\left|{\mathcal A}_{p, 1/p}(x) - {\mathcal A}_{p, 1/p}(y)\right|^2.

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

\frac{|x|^{1/p}}{|x|^p}\left(\left(\frac{|y|}{|x|}\right)^{1/p}-1\right) >\left(\left(\frac{|y|}{|x|}\right)^{p}-1\right)\Leftrightarrow (|y|^{1/p}-|x|^{1/p})^2>(|y|^{p}-|x|^{p})^2

\Longleftrightarrow

|x|^{2/p}-|y|^{2p}+|y|^{2/p}-|x|^{2p}>2|x|^{1/p}|y|^{1/p}-2|x|^{p}|y|^{p}.

Now it is clear that

\cos\theta\leq 1<\frac{|x|^{2/p}-|y|^{2p}+|y|^{2/p}-|x|^{2p}} {2|x|^{1/p}|y|^{1/p}-2|x|^{p}|y|^{p}}

\Longleftrightarrow

|x|^{2p}+|y|^{2p}-2|x|^{p}|y|^{p}\cos\theta <|x|^{2/p}+|y|^{2/p}-2|x|^{1/p}|y|^{1/p}\cos\theta

\Longleftrightarrow

||x|^{p-1}x|^2+||y|^{p-1}y|^2-2|x|^{p-1}|y|^{p-1}x\,y < ||x|^{1/p-1}x|^2+||y|^{1/p-1}y|^2-2|x|^{1/p-1}|y|^{1/p-1}x\,y

\Longleftrightarrow

||x|^{p-1}x|^2+||y|^{p-1}y|^2-2|x|^{p-1}|y|^{p-1}x\,y <||x|^{p-1}x|^2+||y|^{1/p-1}y|^2-2|x|^{p-1}|y|^{1/p-1}x\,y

\Longleftrightarrow

\left||x|^{p-1}x-|y|^{p-1}y\right|^2<\left||x|^{1/p-1}x-|y|^{1/p-1}y\right|^2 =\left|{\mathcal A}_{p, 1/p}(x) - {\mathcal A}_{p, 1/p}(y)\right|^2. \quad \square
Remark

Remark 5.2

0BK6

Comparison 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\,.

The paper has a table here, which this page does not show.
The paper has a table here, which this page does not show.
The paper has a table here, which this page does not show.
The paper has a table here, which this page does not show.

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.