0
votes
1answer
30 views

How to get this inequality given another inequality (norms and logarithms)

Suppose I have proved for all $f$ positive with $\lVert f \rVert_{L^2} = 1$ that $$\int f^2\log(f) \leq -C_1\log(\epsilon) + \epsilon\lVert \nabla f \rVert_{L^2}^2.$$ I want to prove that for all $f$ ...
0
votes
1answer
26 views

An application of Holder's inequality to show one norm is smaller than another

Let $p(s) = r(s) + m-1$ where $r:[0,T) \to [q,\infty)$ where $q \geq 2$ and $m > 1$ is fixed. Let $\text{Vol}(\Omega) = 1$. Then can we show that $$\lVert u \rVert_{L^{r(s)}(\Omega)} \leq ...
4
votes
1answer
93 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 ...
0
votes
1answer
34 views

Minkowski inequality for $l_p$ norm.

I'm trying to prove the Minkowski inequality for the $l_p$ norm: $$ \| f + g\|_p \le \|f\|_p + \|g\|_p $$ where $f,g : \mathbb{R}^n \rightarrow \mathbb{R}$ are Lebesgue measurable functions and $p ...
0
votes
0answers
25 views

calculate the sup of the max of 3 functions

Let a function be the variable, how the calculate the following expression? $$\inf_{c(t) \in C[-1,0]} \max \{ \max_{-1 \leq t \leq 0} |c(t)| , \max_{0 \leq t \leq 1} | \int_{0}^{t} c(v-1) +1 dv +c ...
0
votes
0answers
25 views

How about integral version of Holder's inequality?

In light of the fact that Minkowski's inequality have integral version, I thought there might be one for Holder's as well. I cannot find any through searching (there is an infinite product version in ...
0
votes
0answers
23 views

Apollonius’ Identity inner product space

$||z-x||^2+||z-y||^2=\frac{1}{2}||x-y||^2+2||z-\frac{x+y}{2}||^2$ I proved it by expanding both sides and i found both sides are equal. Are there any easy way to prove it?
3
votes
1answer
74 views

An inequality for inner product space: $\|x-z\|.\|y-t\|\leq \|x-y\|.\|z-t\|+\|y-z\|.\|x-t\|$

In a inner product space show that the following inequality holds. $\|x-z\|.\|y-t\|\leq \|x-y\|.\|z-t\|+\|y-z\|.\|x-t\|$ I am stuck in proving this inequality
1
vote
1answer
30 views

DKW-style $\ell_{\infty}$ bounds for sum of i.i.d. random functions: $\to [0,1]$

Let $\mathbf{G}$ be the set of (edit: convex) functions $g: X \to [0,1]$, where $X$ is a compact subset of $\mathbb{R}^d$ or something like that. Suppose I have a distribution $D$ on $\mathbf{G}$. ...
1
vote
1answer
41 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 ...
5
votes
1answer
62 views

An inequality of $L^p$ norms of linear combinations of characteristic functions of balls

Let $1<p<\infty$. Let $(a_n)_{n=1}^\infty$ be a sequence of nonnegative real numbers and $\{B_{r_i}(x_i)\}_{i=1}^\infty$ be a sequence of open balls in $\mathbb{R}^n$. Prove that there exists ...
0
votes
1answer
32 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
0answers
27 views

Want to prove an inequality of two norms in a Hilbert space

So here is my problem, Let $D:=[-d,d]\times[-d,d]$ and $C_0^{\infty}$(D) be the set of all smooth functions with compact support in $D$ which are zero on the boundary of $D$. Moreover we have the ...
0
votes
1answer
23 views

Nonexpansive Affine Operators in Hilbert spaces

Let $H$ be a Hilbert space with real inner product $\langle \cdot, \cdot \rangle : H \times H \rightarrow \mathbb{R}$. Let $T$ be an affine operator. Show that $T$ is nonexpansive, i.e., $\left\| ...
4
votes
0answers
92 views

Rising Sun Inequality (Dunford-Schwartz maximal inequality)

Let $f:\mathbb{R} \rightarrow \mathbb{R}$ be an absolutely integrable function, and let $f^*:\mathbb{R} \rightarrow \mathbb{R}$ be the one-sided signed Hardy-Littlewood maximal function $$f^*(x) := ...
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
0answers
56 views

Don't understand a PDE argument involving $L^p$ norms and inequalities

I'm reading this paper. I do not understand how the author proves Corollary 5.12 for the case $p=2$. He addresses everything except $p=2$ but claims it holds for all $p$. Can someone help me to see ...
2
votes
1answer
64 views

Poincaré inequality for a subspace of $H^2(\Omega)$

Suppose that $\Omega\subset\mathbb{R}^d$ is a smooth, bounded, and connected domain. Let \begin{equation} H=\{u\in H^2(\Omega):\int_\Omega u(x) dx=0 ~\text{and}~ \nabla u\cdot v=0~ ...
0
votes
0answers
62 views

Help with Gronwall's Inequality

I'm trying to solve an extra credit hw problem that has to do with Gronwall's Inequality. I understand (or think I do) how to find an upper bound when $p=0$, but I'm unsure of how to handle the extra ...
4
votes
1answer
105 views

A inequality of calculus [duplicate]

Let $f \in C^2[a,b]$ and $f(a) = f(b) = 0$, $f'(a) = 1$,$f'(b) = 0$, prove that $$\int_a^b|f''(x)|^2\,dx \geq \frac{4}{b-a}$$ Remark: This question is in the book functional analysis of Peking ...
0
votes
1answer
38 views

Find a counter-example for inequality

Let $C>1$ be a constant. I have to find polynomial $p(t)=a_0+a_1 t+\dots +a_n t^n$ such that: $$|a_0|+|a_1|+\dots + |a_n| \le C \sup_{t\in[0,1]} |p(t)|$$ doesn't hold. Any tip?
0
votes
1answer
34 views

when one can expect $\left \| |x|^{2}x- |y|^{2}y \right \| \leq \frac{1}{2} \left \| (x-y) \right \|$?

Suppose $(X, \left\|\cdot \right \|)$ is Banach algebra with the property that $\left\| (|x|^{2}x) \right\| \leq \left\|x\right \|^{3};$ for every $x\in X.$ Let $y_{0}\neq 0 \in X$ and fix it; and ...
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 ...
0
votes
1answer
31 views

How to get this inequality using induction (analysis)

Consider the following functions $\theta:\Bbb R\to\Bbb R$ and $\Theta:\Bbb R^n\to\Bbb R$, sucha that: $$ \theta(x) := \begin{cases} 1-|x| & \text{if $|x|\le1$} \\ 0 & \text{if $1\le|x|$} \\ ...
2
votes
2answers
79 views

Directional derivative in a Sobolev-like inequality

I am trying to do the following problem: Let $\Omega \subset \subset \overline{\mathbb{R}_{+}^{n+1}} = \{ (x, x_{n+1}); \, x_{n+1}\geq 0\}$ (i.e., $\Omega$ is bounded inside the closed upper ...
2
votes
0answers
25 views

Integral Inequality Question: Effect of Exponents

Is it true that, if $\alpha q < (1-\alpha)q$ then $\int|k(x,y)|^{\alpha q}dy \leq \int|k(x,y)|^{(1-\alpha)q}dy$, where $k(x,y)$ is a positive measurable function?
8
votes
0answers
161 views

Gradient Estimate - Question about Inequality vs. Equality sign in one part

$\DeclareMathOperator{\diam}{diam}\newcommand{\norm}[1]{\lVert#1\rVert}\newcommand{\abs}[1]{\lvert#1\rvert}$For $u \in C^{1}(\overline{\Omega})$, for $\Omega\subset \subset \mathbb{R^{n}}$ a bounded ...
1
vote
1answer
42 views

Need help filling in the details of proof of Jensen's Inequality

In a book on PDEs that I'm reading, I am trying to fill in the details of the proof of Jensen's Theorem, and am having a little trouble with the algebra. Here is the statement of Jensen's Theorem in ...
1
vote
1answer
107 views

Gagliardo Nirenberg Sobolev inequality for n >= 2

I have a quick question regarding the Gagliardo-Nirenberg-Sobolev inequality. It states that: Assume $1 \leq p < n$. There exists a constant $C$, depending only on $p$ and $n$, such that ...
1
vote
0answers
58 views

$L^{\infty}$ is p-concave

I want to show that the $L^{\infty}$ on a Banach lattice $X$ is $p$-concave with $M_{(p)}(L^{\infty})=1$. Where $L^\infty=L^\infty(X,\mathcal{M},\mu)$. Recall that a Banach lattice $X$ is said ...
0
votes
1answer
61 views

Using Cauchy Schwarz for functions in Sobolev Space

Hi I just want to confirm something simple and check that the following is allowed: The Cauchy-Schwarz inequality states if $A = ((a_{ij}))$ is a symmetric, non-negative $n \times n$ matrix then ...
1
vote
1answer
65 views

inequality about linear and piecewise constant interpolation?

$\Omega\subset\mathbb{R}^3$ is a bounded, and $u(\mathbf{x},t) \in C\big(0,T,L^2(\Omega)\big)$. We divide the interval $[0,T]$ in $N$ equal subintervals with the time step $\tau$. With the notaion $$ ...
2
votes
1answer
138 views

fraction power vector-norm inequality

If X is a Banach Space and $x,y\in X$. Then by the definition of a Banach algebra we know $$\|x.y\|\leq\|x\|\|y\|$$ and thats how we can have relation for any positive power. i.e. $n\in N$, ...
1
vote
2answers
115 views

Inequality involving Lp space, Holder Space, Sobolev Space

Do we have the following inequality or some variation of this: $||u||_{L^{p}(U)} \leq ||u||_{C^{0,\gamma}(\bar{U})} \leq ||u||_{W^{1,p}(U)}$ for $n < p \leq \infty$ for $u \in W^{1,p}(U)$ where $U$ ...
4
votes
2answers
79 views

Using Results in Sobolev Spaces

I have two questions about using results in Sobolev Spaces and a last one on an inequality involving Holder spaces: 1.The Gagliardo-Nirenberg-Sobolev Inequality states the following: Assume $1 \leq p ...
0
votes
0answers
51 views

Explanation on the proof of the continuous Hardy inequality

Here there is a proof of the continuous Hardy inequality (theorem 2). I would like a explanation on the following passage. ...
0
votes
1answer
61 views

Prove x(t) is bounded given a integral inequality

I want to answer the following question: $x=x(t)$ is defined and continuous on $[0,T)$ and satisfies an integral inequality $$1 \leq x(t) \leq A_1 + A_2\int_0^t x(s)\big(1+\log x(s)\big) ds$$ for ...
4
votes
2answers
121 views

Using the Extension Operator Theorem for Sobolev Spaces

I want to know if certain conditions hold after applying the Sobolev Extension Theorem: Assume $U$ is a bounded open subset of $\mathbb{R}^{n}$ and $\partial U$ is $C^{1}$. Suppose $1 \leq p < n$. ...
0
votes
2answers
146 views

How to prove Schwarz inequality for Hermitian forms?

I'm trying to do something like the proof of the Schwarz inequality for inner product. If $h(y,y)\neq 0$, then we can take $\alpha=-h(x,y)/h(y,y)$ and calculate $h(x+\alpha y,x+\alpha y)$ which is ...
0
votes
0answers
18 views

Using Sobolev-Gagliardo-Nirenberg [duplicate]

I am currently studying a proof of a General Sobolev Inequality. I have the following question: Consider the Sobolev Space $W^{k,p}(U)$. With the added assumption that $k > \frac{n}{p}$. Let $l = ...
1
vote
1answer
113 views

Using Sobolev-Nirenberg-Gagliardo

I am currently studying a proof of a General Sobolev Inequality. I have the following question: Consider the Sobolev Space $W^{k,p}(U)$. With the added assumption that $k > \frac{n}{p}$. Let $l = ...
2
votes
0answers
124 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
34 views

Lower-Upper bounds on the cardinality of a bounded set

Let $S$ be a finite set which is a subset of $\{(\alpha ,\beta ):\alpha , \beta \in \mathbb{Z}, \alpha\geq 0, \beta \geq 0\}$ and $ T(x,y)=\sum_{(\alpha ,\beta ) \in S} h_{\alpha, \beta} ...
0
votes
0answers
31 views

How to prove a duality of $L^p$ spaces? [duplicate]

Let $(\Omega,\Sigma,\mu)$ be a finite measure space and $f:\Omega\longrightarrow \mathbb{R}$ be a measuable function. Let $1\leq p< \infty$ and $1/p+1/q=1$. Prove that the following are equivalent: ...
3
votes
2answers
144 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 ...
2
votes
1answer
78 views

How to prove $a_1^Ta_1+a_2^Ta_2\le b_1^Tb_1+b_2^Tb_2.$

Let $p,q > 0$, $a_1, b_1\in \mathbb{R}^m, a_2,b_2\in\mathbb{R}^n$ be vectors. Given that ...
0
votes
1answer
85 views

An inequality involving norms.

I have to know how we can show the following inequality: $\|u\|_{2}\leq\|u_{0}\|_{2}+\int_{0}^{t}\|u_{t}(t,x)\|_{2}dt$ where $\|u\|_{2}=\Big(\int_{\Omega}u^{2}dx\Big)^{1/2}$, $u_{0}=u(x,0)$, ...
1
vote
2answers
546 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
1answer
147 views

Help with proving the Fatou's Lemma for discrete functions

I need help to understand two steps in this proof for the Fatou's lemma in its discrete version. Let $f_k:\mathbb{N} \rightarrow [0, \infty), k\in\mathbb{N}$, be a sequence of functions. Then $$ ...
0
votes
2answers
140 views

solution of the equation with exponential function

Let $m, n$ be an integers. Let $b \in R$. Solve the following equation for $n$. $$ \exp(m-\frac{2}{\pi}n)=n^{b/{\pi}}. $$ Thank you.