All Questions
Tagged with ca.classical-analysis-and-odes inequalities
176 questions
1
vote
0
answers
422
views
Integral of matrix determinant with respect to Lebesgue measure
$\newcommand\norm[1]{\lVert#1\rVert}
\newcommand\opnorm[1]{\norm{#1}_{\text{op}}}
\newcommand\Frnorm[1]{\norm{#1}_{\text F}}$Define
\begin{align*}
S_t=\{
(A,B)\in\mathbb{R}^{n\times n}\times\...
- 1,495
1
vote
0
answers
112
views
How to prove a simple Struve inequality
It appears from the figure 11.3.4 of dlmf that the Struve function $M_1(x)$ is monotonically decreasing for positive $x$. The asymptotic expansion (11.6.2) shows that the limit is $-2/\pi$. So it ...
- 141
1
vote
0
answers
132
views
The possibly best estimation of the sum $\sum_p\frac{1}{\ln p}$
My basic question is the following. Let $u\in \mathbb N$ and let $p_i=1, ..., p_s$ denote all prime numbers $\le u$. How small can be a $C$ for which the inequality
$$\frac{1}{\ln(p_1)} + \cdots + \...
- 268
1
vote
0
answers
58
views
A question on Integral inequality
Let $0 < \epsilon < 1$. Consider $\{a_n\}_{n \geq 1} \in l_2$ and $L(t) = 1+\epsilon t$. Let $x$ be fixed such that $0 < x < L(t)$. Does there exist $\tau \geq 0$ such that the following ...
- 11
1
vote
0
answers
291
views
Proof of an inequality for a linear combination of three trigonometric functions
Given a function $$f(t) = k_{1} \sin(t+\alpha) + k_{3} \sin(3t+\beta) + k_{5} \sin(5t+\gamma)$$
where $k_{1}, k_{3}$ and $k_{5}$ are all positive parameters, and the three phase angles, $ 0<\alpha&...
- 29
0
votes
1
answer
229
views
Inequality with even powers of trigonometric functions
For $m>0$,
$0 < n\leqslant m+1$ ($m,n\in \mathbb{Z} $) , and $0 < a < 1$ , prove that
$$2^{n}\cdot \left( a^{n}\cos ^{2m}\dfrac {\pi a} {2}+\left( 1-a\right) ^{n}\sin ^{2m}\dfrac {\pi ...
0
votes
2
answers
364
views
Can one show $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for $x\in\mathbb{R}\cap [1,\infty)$?
I have found that $\left|\frac{2(\zeta'(x))^2-\zeta''(x)\zeta(x)}{\zeta^3(x)}\right|\leq \frac{2}{(x-\frac{1}{2})^2}$ for all real $x$ such that $x>1$ seems to be true. I have plotted the ...
- 178
0
votes
1
answer
89
views
On the validity of a certain Grönwall-type inequality
Assume that $u~ \colon \mathbb{R}_+ \to [-M,M]$ is a bounded continuously differentiable function such that $u(0) = 0$ and $$u(t) \leq \int_0^t \lambda(s)~u(s)~\mathrm{d}s + C \label{1}\tag{1}$$ where ...
- 730
0
votes
1
answer
210
views
Integral estimate (inequality) with a Schwartz function
$\DeclareMathOperator\supp{supp}\newcommand\abs[1]{\lvert#1\rvert}\newcommand\Bigabs[1]{\Bigl\lvert#1\Bigr\rvert}$Given a Schwartz function $f \in \mathcal{S}(\mathbb{R})$ with $\supp(f) \subseteq [-A,...
user168186
0
votes
1
answer
235
views
Strengthening an inequality
Let $k$ be an integer. The following inequality is standard.
$$
(a+b)^{k+1} - b^{k+1} \leq (k+1)a(a+b)^k
$$
for $a,b > 0$.
However, does the following inequality still hold
$$
(a+b)^{k+1} - b^{k+...
- 175
0
votes
1
answer
71
views
Upper bound on higher order derivatives of $\frac{1}{v(t)}$
Suppose that $ v(t) >l>0$ and
$$
\vert v^{(k)}(t) \vert \leq c \frac{k!}{r^k}.
$$
Can we give an upper bound for
$$
(\frac{1}{v(t)})^{(k)}
$$
?
Attempt:
We first compute the first fourth order ...
- 269
0
votes
1
answer
75
views
On a differential inequality with an additional constraint
I am stuck on this problem from a research question, which seems to require solving a differential equation, but I am not sure how to deal with integrals like $\int_0^t$ or $\int_t^1$. I will be ...
- 33
0
votes
1
answer
125
views
Bounding integral expression with Sobolev norm of integrand
Consider the following integral expression:
$$\mathcal I :=\iint_{\epsilon \leq|x-y| \leq 1/2} f(x) f(y) \frac{\langle g(x)-g(y), x-y\rangle}{|x-y|^{n+2}} d x d y $$
for $\epsilon>0$, $f \in L^\...
user139844
0
votes
1
answer
32
views
Finiteness of a bilinear combination
For $j\in\mathbb{N}$, consider continuous functions $f_j:[0,1]\to\mathbb{\mathbb{R}^+}$ such that
$$\sup_{t\in[0,1]}\sum_jf_j(t)<+\infty,$$
namely $f_j(t)\in L_t^{\infty}((0,1),l_j^1(\mathbb{N}))$. ...
- 943
0
votes
1
answer
252
views
An inequality for a continuous non-smooth function
Hello,
I have a question about how to prove a lemma such as this one,
For any $0<\alpha<1$ and $M_{0}>0$, there exists a $M_{1}>0$ such that $\left|z\right|^{\alpha}\leq M_{0}+M_{1}\left|...
- 23
0
votes
0
answers
43
views
The reciprocal of the normalized tail of the Maclaurin power series expansion of the hyperbolic sinc function is a convex function
The classical Bernoulli numbers $B_j$ are generated by
\begin{equation}\label{Bernoulli-No-Generating}
\frac{x}{\operatorname{e}^x-1}=\sum_{j=0}^\infty B_j\frac{x^j}{j!}=1-\frac{x}2+\sum_{j=1}^\infty ...
- 1,091
0
votes
0
answers
71
views
Reference request for equivalent Lipschitz smoothness conditions
For an open set $Z\subseteq\mathbb{R}^n$, let $f: Z\mapsto \mathbb{R}$ be a continuously differentiable function on $Z$, and let $L>0$ be fixed. Also, suppose that (a) $f$ is nonconvex and (b) $f$ ...
0
votes
0
answers
211
views
Gauss transformation in fractional Sobolev space
Let $g_{\mu}(x) = \mu^{d/2}\exp(-\pi\mu|x|^2)$ for every $\mu > 0$. Prove that
$$
\int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}} u\right|^{2} \geq \int_{\mathbb R^{d}}\left|(-\Delta)^{\frac{s}{2}...
- 101
0
votes
0
answers
103
views
Polynomial / quadratic autonomous system of ODEs – proving monotonicity / convexity
Problem:
Consider the autonomous ODE system
\begin{align*}
\dot{x} &= (1-x) (z-xy)\\
\dot{y} &= \tfrac 1 2 y^2 - (a+xy)(1-y) \\
\dot{z} &= \tfrac 1 2 z^2 - \tfrac 1 2 y^2 + (a+xy)z
\end{...
- 291
0
votes
0
answers
83
views
An inequality about quasi-linear function
Let $\gamma$ be a positive, nondecreasing, continuous, function defined on $[0,\infty]$. Suppose that $\gamma(x+y)\le C(\gamma(x)+\gamma(y))$. In addition, suppose $$ \int_{2}^{\infty}\frac{dr}{\gamma(...
- 171
0
votes
0
answers
173
views
Prove an inequality or find a counterexample
Suppose $\mathcal{M}_1$ represents the space of smooth probability density functions with unit mean, whose support is contained in $[0,\infty)$ (or $\mathbb{R}_+$). Define the following functional $$\...
- 730
0
votes
0
answers
75
views
Does there exist $\alpha>0, \beta\in (0,1)$ such that $\dfrac{\sum_{k=1}^n a_k}{n}\le \alpha (a_1\cdots a_n)^{1/n} + \beta \max_i(a_i)$ holds?
Let $a_1\ge a_2\ge \cdots\ge a_n\ge 0$ be given non-negative numbers. My question is the following:
Is there any $\beta \in(0,1),\ \alpha>0$, such that $$\dfrac{a_1+\cdots+a_n}{n}\le \alpha (a_1\...
0
votes
0
answers
68
views
Estimate bounds on Minkowski distance from point to a segment in Lp space
Assumptions
Let
$L_p(x,y)=(\sum_i|x_i - y_i|^p)^{1/p}$ (Minkowski metric),
$a,b$ be arbitrary $n$-dimensional points,
$c$ be a point that satisfies $L_p(a,b) = L_p(a,c) + L_p(c,b)$, i.e., a point ...
- 101
-1
votes
2
answers
293
views
show this inequality with $\frac{d^i}{dx^i}\left(1-\left(\frac{-x}{\ln(1-x)}\right)^{1/K}\right) \Bigg|_{x=0}>0, ~~~\forall i\in N^{+}$
I am trying to solve this Komal problem 661:
Let $K$ be a fixed positive integer. Let $(a_{0},a_{1},\cdots )$ be the sequence of real numbers that satisfies $a_{0}=-1$ and
$$\sum_{i_{0},i_{1},\cdots,...
- 4,280
-1
votes
2
answers
418
views
An inequality involving multi-index [closed]
I came across these inequalities while learning about Schwartz functions (Classical Fourier Analysis, Grafakos) and I have no idea how to prove this:
For $x \in \mathbb{R}^{n}$ and $\alpha = (\alpha_{...
- 339
-2
votes
1
answer
169
views
Question about Lipschitz conditions
Let $f$ be a function on some real interval $[a,b]$. Suppose that $\forall x\in [a,b]$, there exists a positive constant $C$ such that
$$ |f(x)-f(y)| \leq C|x-y| $$
for all $y \in [a,b]$.
Does each $x ...
- 419