3
votes
1answer
31 views

Is the norm of the average $\le$ the norm of the max?

Given $\pmb X \in \mathcal{R}^p$, denote the elements of $\pmb X$ as $\pmb x_i$ for $i= 1, \dots, n$. Denote the $t(\pmb X)$ as the average of $\pmb X$ \begin{equation} \pmb t(\pmb X) = \frac 1 n ...
4
votes
1answer
90 views

On an estimate of sequences with weights

Does there exist a $C > 0$ such that $$ \sum_{n \geq 1} a_n \leq C \left( \sum_{n \geq 1} 2^n a_n^2 \right)^{1/4} \left( \sum_{n \geq 1} 2^{-n} a_n^2 \right)^{1/4} $$ for all $a_n \geq 0$ with ...
-1
votes
0answers
65 views

Norm inequality? [on hold]

What are best possible constants $K_1,K_2,K_3$ would the inequality \begin{align} K_1||f||_2||g||_2 \le K_2||f||_p||g||_q \le K_3||f||_1||g||_{\infty} \end{align} holds? for all $p>1$ with ...
2
votes
1answer
57 views

Matrix Norm Inequalities and Linear Least Squares

I am working through one of my universities old QUALS and came across the following problem: Let $A,E\in \mathbb{C}^{m\times m}$. Suppose that $\sigma_\min>0$ is the smallest singular value of ...
1
vote
1answer
40 views

Inequality with a norm

I need help with the following: Let $A=\left(\begin{array}{cc}a & b \\c & d\end{array}\right)$, with $a\in\mathbb{R}$, $b\in(l^{1})^{*}$, $c\in l^{1}$, and $d\in L(l^{1},l^{1})$. Let $h\in ...
1
vote
1answer
53 views

$||f + g||_{L^p} = ||f ||_{L^p} +||g||_{L^p} $ for $p\in\mathbb{R}^+\setminus\{ 1\}$ and $f,g\geq 0$

$||f + g||_{L^p} = ||f ||_{L^p} +||g||_{L^p} $ for $p\in\mathbb{R}^+\setminus\{ 1\}$ and $f,g\geq 0$, then $f = Cg$ for some non-negative constant $C$. First assume $||f ||_{L^p} +||g||_{L^p} = 1$, ...
0
votes
0answers
22 views

For what range of $a\in\Bbb R$ is $f(x)=ae^{-ax}$ in the unit ball with respect to the uniform metric on $[0,1]$

For what range of $a\in\Bbb R$ is $f(x)=ae^{-ax}$ in the unit ball with respect to the uniform metric on $[0,1]$? I.e when is $\|f\|_\infty\lt 1$ So far I see that for $a\ge 0$, ...
0
votes
1answer
29 views

Hilbert Schmidt norm inequality

I was wondering if anyone knows about an inequality for the Hilbert-Schmidt (H-S) norm of the type $|Tr (Bg)|\leq Const\cdot||B||\cdot function(||g||_{2})$ for a bounded operator $B$ and a H-S ...
1
vote
1answer
44 views

Inequality of Weighted norm

I have a question about the weighted norm inequality: The weighted norm of a vector $x\in R^{M\times N}$ is defined by: $\left \| X\right \|_{w,*} = \sum_{_{i}}\left |w_{i}\sigma _{i}\left ( X ...
0
votes
3answers
33 views

Is this some kind of triangle inquality?

I stumbled upon the following inequality: $$\Vert x+hz-(x+y)-(p-(x+y))\Vert_2 \geq \Vert p-(x+y)\Vert_2-\Vert x+hz-(x+y)\Vert_2$$ where $p,x,y,z \in \mathbb{R}^n$. My question is: Is this some kind ...
0
votes
1answer
22 views

Norm and Matrice Proof

I'm trying to show that the following statement is true: If $||\mathbf a - \theta \mathbf b||^2 - ||\mathbf a||^2 \geq 0$ for all $\theta \in [0,1]$, then $\mathbf a^T \mathbf b \le 0$. Is this ...
0
votes
1answer
51 views

How to prove that the spectral radius of a linear operator is the infimum over all subordinate norms of the corresponding norm of the operator.

I am trying to understand a proof I have seen of the following theorem: $$\rho(A)=\inf_{\|\cdot\|}\|A\|.$$ I understand that to do this, the idea is to show that 1) $\rho(A)\leq\|A\|$ for any norm, ...
1
vote
2answers
23 views

How to prove this inequality for operator and function

How to prove this? $\sum_{k=1}^{\infty}|(Tf)_k|^2\leq ||T||^2||f||^2$ where $T$ is an operator and a function $f$. $(Tf)_k$ is the $k$-th coordinate of Tf. Should this involve Cauchy-Schwarz or the ...
1
vote
1answer
28 views

Prove triangle inequality of vector norm

I am trying to show that $||x+y||_p \leq ||x||_p + ||y||_p$ where $p$ is an integer larger than 1, but not infinity (I proved those cases already), and $||x||_p = (\sum_{i=1}^n |x_i|^p)^{\frac{1}{p}}$ ...
1
vote
1answer
49 views

Triangle inequality frobenius norm

I'm trying to show that the frobenius norm is a norm. however it appears as if triangle inequality isnt met. $$||A+B||_F = \sqrt{\sum_{i,j=1}^n |a_{ij}+b_{ij}|^2} \leq \sqrt{\sum_{i,j=1}^n ...
3
votes
1answer
69 views

Inequality of Frobenius norm for skew matrices

Let $A$ be a complex skew-symmetric $n \times n$ matrix, that is, $A^T = -A$. Denote by $\|\cdot\|_F$ the Frobenius norm, that is, $\|B\|_F^2 = \text{trace}(B^*B)$. I would like to prove that $$ ...
0
votes
1answer
44 views

Prove relative error with condition number of matrix inequality

I was working on some questions and solutions, and encountered the following question. I am able to prove the inequality using the given information and some algebraic manipulation but the "within ...
1
vote
1answer
40 views

Inequality for norm of linear combination of linearly independent vectors

I'm trying to find a proof for the following: Let {$u_{1},...,u_{n}$} be a linearly independent set of a normed space $X$. Then, there is a constant $c>0$ such that for every set of scalars ...
0
votes
0answers
25 views

Why this relation in Hilbert space (with inner product $< >$) holds?

$c_k$, $f_k$ are sequences in Hilbert space, $g$ is a function. Why this relation below holds? How you derive it? $\sum_k|c_k\left \langle f_k,g \right \rangle|\leq(\sum_k|c_k|^2)^{1/2}(\sum_k|\left ...
2
votes
1answer
54 views

bound on trace-norm of product of matrices

Is it true that $$ \|ABA^\dagger\|_1\leq \|A\|^2\|B\|_1, $$ where $\|A\|_1$ is the trace norm, $\|A\|$ is the spectral norm, and $A$ and $B$ are square matrices?
0
votes
2answers
45 views

Is convergence in the norm equivalent to convergence of norms?

If $\| \cdot \|$ is a norm on some space. Does the equivalence go both ways? $$\| f_n-f \| \to 0 \Longleftrightarrow \| f_n\| \to \| f\| $$ The $\implies$ direction is obvious since $\| f_n-f \| ...
4
votes
1answer
163 views

Generalization of $\frac{a + b}{c + d} \leq \text{max}(\frac{a}{c}, \frac{b}{d})$

I'm looking for a matrix version of the basic inequality for the ratio of two sums of positive numbers: $$\frac{a + b}{c + d} \leq \max\left\{\frac{a}{c}, \frac{b}{d}\right\}.$$ Specifically, I have ...
0
votes
1answer
37 views

When is $c v^\top y y^\top v \ge ||v||^2$

Given $c\in R$ being some constant, $v, y \in R^n$, I want to find conditions for which the following inequality holds true: $$c v^\top y y^\top v \ge ||v||^2$$ EDIT: Note that $y y^\top$ is an $n ...
4
votes
2answers
47 views

Minkowski type inequality in Banach algebras

Under which circumstances it is true that $\|(A+B)^n\|^{1/n}\le \|A^n\|^{1/n}+\|B^n\|^{1/n}$ for elements $A$ and $B$ in a Banach algebra and a natural number $n$?
2
votes
2answers
278 views

Vector norm Inequality proof

Does anyone know how to start proving this inequality $$ \left\|\frac{x}{\|x\|} - \frac{y}{\|y\|}\right\| \leq \frac{4 \|x-y\|}{\|x\|+ \|y\|} $$ The norm is a random norm on a vector space $V$
3
votes
2answers
167 views

Norm of random vector plus constant

Suppose that $w$ is a multivariate standard normal vector and $c$ a real vector of the same size. I know that for positive x $$P(||w+c||^2\geq x)\ \geq \ P(||w||^2\geq x)$$ but I cannot prove it. We ...
2
votes
0answers
123 views

Using the Sobolev-Nirenberg-Gagliardo inequality in a proof

If $1 \leq p < n$. The Gagliardo-Nirenberg-Sobolev inequality states that there exists a constant C such that $||u||_{L^{p^{*}}(\mathbb{R}^{n})} \leq C||Du||_{L^{p}(\mathbb{R}^{n})}$ for all $u ...
0
votes
0answers
41 views

Expression for Lp Norm [duplicate]

Use Holder inequality $(|\sum_{i=1}^n x_n\cdot y_n| \le ||x||_p\cdot ||y||_q)$ to prove that for each $x\in \Bbb R^n$: $$||x||_p=\sup_{||y||_q\le 1} {|\sum_{i=1}^n x_n\cdot y_n|} $$ tried to find for ...
3
votes
2answers
142 views

Poincare Inequality implies Equivalent Norms

I am currently working through the subject of Sobolev Spaces using the book 'Partial Differential Equations' by Lawrence Evans. After the result proving the Poincare Inequality it says the following ...
4
votes
1answer
55 views

Is it true that $2^p\|f\|^p_{L_p}+2^p\|f'\|^p_{L_p} >2\|f\|^p_{L_\infty}$?

For any $C^1$ function defined in $(0,1)$, is it true that $$ 2^p\|f\|^p_{L_p}+2^p\|f'\|^p_{L_p} >2\|f\|^p_{L_\infty} $$ If it is true, how to prove it?
0
votes
1answer
43 views

Is it true that $2^p\|f\|^p_{L_p} >2\|f\|^p_{L_\infty}$?

For any $C^1$ function defined in $(0,1)$, is it true that $$ 2^p\|f\|^p_{L_p} >2\|f\|^p_{L_\infty} $$ If it is true, how to prove it?
0
votes
2answers
91 views

Is $L_\infty$ norm the smallest or largest?

I am a little bit confused. For a $L_p$ function norm, is it true that for any $ p<\infty $, $$ \|f\|_p>\|f\|_\infty$$ Is the statement true for any domain? I want to know more inequality about ...
7
votes
1answer
242 views

Does this cross-product norm inequality hold?

Let $\times$ denote the cross-product. $\;$ Is it the case that For all unit vectors $\:\mathbf{x}\hspace{.01 in},\hspace{-0.03 in}\mathbf{y}\hspace{-0.03 in},\hspace{-0.02 in}\mathbf{z}\:$ in ...
2
votes
4answers
135 views

Prove that $||x|-|y|| \leq |x-y|$ [duplicate]

$||x|-|y|| \leq |x-y|$ when $(x,y \in R^k)$ In Principles of MA(Rudin), the author said one sees easily that $||x|-|y|| \leq |x-y|$ when $(x,y \in R^k)$ (p.88, Rudin) from the triangle ...
3
votes
3answers
103 views

Prove an inequality.

Prove that $$\displaystyle{(|x_1+y_1|^p + |x_2+y_2|^p +\dots +|x_n+y_n|^p)^{\frac{1}{p}}\leq (|x_1|^p + |x_2|^p +\dots +|x_n|^p)^{\frac{1}{p}}+(|y_1|^p + |y_2|^p +\dots +|y_n|^p)^{\frac{1}{p}}}$$ for ...
1
vote
1answer
86 views

How to show Zygmund space is Hölder space?

The motivation of this question is to show that Zygmund space is Hölder space, in certain cases. For simplicity, take $s\in (0,1)$, I want to show $$\|f\| = \|f\|_\infty + \sup_{x,y\in ...
0
votes
2answers
169 views

Variation of reverse triangle inequality

I know from the reverse triangle inequality that for $x,y \in \mathbb{R}^n$ the following holds: $ \vert x \vert - \vert y \vert \leq \vert x -y \vert $ but does also this one hold? $ \vert x ...
1
vote
2answers
532 views

show operator norm submultiplicative

We had in our lecture on numerical analysis the following: Let $\mathrm{Lin}(X,Y)$ be the set of all linear maps $X\rightarrow Y$. Let $A\in\mathrm{Lin}(\mathbb R^l,\mathbb R^n)$ and ...
3
votes
2answers
95 views

When does $\|x+y\|=\|x\|+\|y\|?$

Let $(V_\mathbb R,\langle,\rangle)$ be an inner product space. I'm trying to see for $x,y\in V$ when does $\|x+y\|=\|x\|+\|y\|?$ Let $\|x+y\|=\|x\|+\|y\|$ Squaring both sides, $\langle ...
1
vote
1answer
117 views

Is the bound between the matrix 2-norm and the max-norm tight?

It is well known that $\|A\|_2\leq\sqrt{mn}\|A\|_{\max}$ for an $m\times n$ matrix. Is this bound tight? i.e which matrix $B$ satisfies $\|B\|_2=\sqrt{mn}\|B\|_{\max}$ (note the equality)? And is ...
1
vote
1answer
243 views

Zero “norm” properties

I have seen the claim that the l0-norm ($\|X\|_0$ = support(X)) is a pseudo-norm because it does not satisfy all properties of a norm. I thought it to be triangle inequality, but am not able to show ...
2
votes
3answers
362 views

How to prove $\lvert \lVert x \rVert - \lVert y \rVert \rvert \overset{\heartsuit}{\leq} \lVert x-y \rVert$?

I'm trying to show that $\lvert \lVert x \rVert - \lVert y \rVert \rvert \overset{\heartsuit}{\leq} \lVert x-y \rVert$. A hint would be nice.
2
votes
1answer
133 views

Inequality for norms

Let g(x, y) be function on $X\times Y$. Show that for all $p\geq q$ $$ \|\,\|g\|_{L^q(Y)}\,\|_{L^p(X)}\leq \|\,\|g\|_{L^p(X)}\,\|_{L^q(Y)} $$ Thsnk you.
1
vote
1answer
64 views

product of bounded linear operators

If I have 2 bounded linear operators $T_1,T_2$ such that $T_2:X\rightarrow Y$ and $T_1:Y\rightarrow Z$. I know that by boundedness, $||T_2(x)||\leq||T_2||\,||x||$ and using the norm of $T$ defined as ...
2
votes
2answers
426 views

$q$-norm $\leq$ $p$-norm [duplicate]

[Ciarlet 1.4-8] If $0 < p < q$, show that $$\left(\sum_{i=1}^n|v_i|^q\right)^{1/q}\ \leq\ \left(\sum_{i=1}^n|v_i|^p\right)^{1/p}$$ Somebody knows how prove that? Thanks in adavance for the ...
2
votes
1answer
87 views

Two inequalities related to norm

We have some difficulties in the following problem: Let $H$ be a real Hilbert space. Find $\alpha>0$ such that $$ \langle\frac{u}{\sqrt{\|u\|}}-\frac{v}{\sqrt{\|v\|}}, u-v\rangle\geq ...
1
vote
1answer
44 views

Order of infinite dimension norms

I know that $$\|{f}\|_{L^1(0,L)}\leq\|{f}\|_{L^2(0,L)}\leq\|{f}\|_{\mathscr{C}^1(0,L)}\leq\|{f}\|_{\mathscr{C}^2(0,L)}\leq\|{f}\|_{\mathscr{C}^{\infty}(0,L)}$$ But I don't know where to put in this ...
2
votes
1answer
44 views

Regularity and the Varitational Inequality

Let $K = \left\{ v \in H_0^1(\Omega) \, : \, v \geq 0 \right\}$, further suppose $\Omega$ has the regularity property that $||v||_{H^2} \leq C(\Omega)||\Delta v||_{L^2}$, for all $v \in ...
1
vote
2answers
85 views

How to show for a PSD matrix $A$ that $\left \| \left ( A+I \right )^{-1} \right \| \leq \frac{1}{1+\sigma _{\min}\left ( A \right )}$?

If $A \in \mathbb{C}^{n \times n}$ is positive semidefinite, show that $\left \| \left ( A+I \right )^{-1} \right \| \leq \frac{1}{1+\sigma _{\min}\left ( A \right )}$, where $\sigma _{\min}\left ( A ...
3
votes
2answers
192 views

Two proofs concerning Hölder's inequality

I am studying functional analysis and I have come across two statements which can be proven by using Hölder's inequality, but I don't know how/why. Reminder: let $a\in l^p$ and $b\in l^q$, then: $$ ...