All Questions
5,629 questions
0
votes
0
answers
122
views
A bound for the Bessel function of the first kind J_0
I have proved the following bound for the Bessel function of the first kind:
$$
J_0(x)=\sum_{m=0}^\infty \frac{(-1)^m\,(x/2)^{2m}}{(m!)^2}
$$
which is
$$
|J_0(x)|\le \frac1{\sqrt[4]{1+x^2}}
$$
but I ...
- 258
0
votes
0
answers
52
views
Properties of "potential vector field" in Helmholtz decomposition
It is a well known fact that given a vector field $F$ in $\mathbb{R}^3$, this can be decomposed as
$$ F= \nabla V+ \nabla \times R$$
with $V$ a potential and $R$ another vector field. These components ...
- 749
2
votes
0
answers
164
views
What is known about "anti polynomials"?
I recently encountered a problem whose solution required solving $f(x):=\sum\alpha_i r_i^x\, =\, c;\ \alpha_i,r_i,x\in\mathbb{R},i\in I\subset\mathbb{N}, $ for $x$.
While the Newton method solves the ...
- 13.2k
14
votes
3
answers
2k
views
How to prove $e^x\left|\int_x^{x+1}\sin(e^t) \,\mathrm d t\right|\le 1.4$?
Related question asked by me on Math SE a few days ago: How to prove $e^x\left|\int_x^{x+1}\sin(e^t) \,\mathrm d t\right|\le 1.4$?
A few days ago, somebody asked How to prove $ \mathrm{e}^x\left|\...
- 1,326
1
vote
2
answers
123
views
Whether the integral $t^2(\iint_{\mathbb{R}^2}|\xi|e^{\frac{-a\xi^4t}{\xi^2+b}} \,d\xi_1 \,d\xi_2)$ is bounded?
Is the integral
$$
t^2\left(\iint_{\mathbb{R}^2}|\xi|e^{\frac{-a\xi^4t}{\xi^2+b}}\,d\xi_1\,d\xi_2\right)$$ bounded when $t\rightarrow\infty$? Here
$\xi=(\xi_1,\xi_2)\in\mathbb{R}^2$,
$|\xi|=\sqrt{\...
- 13
0
votes
0
answers
107
views
$\log$-classes of irrationals
Let $\mathbb{N}$ denote the set of non-negative integers. For $A\subseteq \mathbb{N}$ we let the (upper) density of $A$ be defined by $d^+(A) = \lim\sup_{n\to\infty} \frac {|A\cap \{0,\ldots, n\}|}{n+...
- 48.9k
0
votes
1
answer
248
views
Integral with inequality
Let $p(u,x):=(4 \pi u)^{-1/2}e^{-\frac{x^2}{4u}},u>0,x \in \mathbb{R}.$
Let $\mathcal{E}:=\{\phi \in C_c^\infty (\mathbb{R}),\operatorname{supp}(\phi) \subset B(0,1),\|\phi\|_\infty \leq 1\}.$
...
- 573
2
votes
1
answer
192
views
Asymptotic analysis of an expression involving a Fox's H function
One of the performance metrics calculated in the analysis of telecommunications systems is the ergodic channel capacity, $C_{\rm erg}$. During one of my studies, I found the expression below for such ...
1
vote
0
answers
108
views
Existence of a smooth extension
In the three dimensional Euclidean space $\mathbb R^3$ let us define the hypersurface
$$ S= \{(x,y,z) \in \mathbb R^3\,:\, z^2= x^2+y^2\}.$$
Suppose that $f \in C^{\infty}(S)$. Does there exist $u\in ...
- 4,115
72
votes
9
answers
16k
views
Why do functions in complex analysis behave so well? (as opposed to functions in real analysis)
Complex analytic functions show rigid behavior while real-valued smooth functions are flexible. Why is this the case?
- 1,093
1
vote
1
answer
295
views
Hausdorff dimension of the non-differentiability set of a locally Lipschitz function
Let $f:\mathbb R^n \to \mathbb R$ and $E := \{x \in X : f \text{ not Fréchet differentiable at }x\}$. Then $E$ is Borel measurable. It is well-known that
Theorem If $f$ is convex, then the Hausdorff ...
- 825
1
vote
0
answers
113
views
Computing a limit for the Weierstrass function
Let $a\in (0,1)$ and let $b$ be an odd positive integer such that $ab>1+\frac{3}{2}\pi$. Let $\alpha \in (0,1)$ be defined by $\alpha= -\frac{ln(a)}{ln(b)}$ and consider the well known Weierstrass ...
- 4,115
2
votes
1
answer
154
views
Proof of Szegö asymptotic theorem
Consider the truncated exponential series
$$P_N(z) = \sum_{n= 0}^N \frac{z^n}{n!}$$
The zeros of this series have been studied by Szëgo and others (see e.g. here). He established an asymptotic for the ...
- 937
4
votes
1
answer
353
views
Inequalities involving binary representation of integers
Let $N\geq 1$ be a positive integer and assume that $N=2^{n_1}+2^{n_2}+\cdots+2^{n_{p}}$, $n_{1}>n_{2}>\cdots>n_{p}\geq 0$, is the binary representation of $N$. I believe that the following ...
- 41
5
votes
1
answer
319
views
Analytical form for the nuclear norm of an $n \times n$ matrix
I get the follow equation in a paper. Let $A \in \mathbb{R}^{2 \times 2}$, then $M = A^TA$ is a positive semi-definite matrix, the nuclear norm of $A$ is:
$$ \Vert A \Vert_* = \sqrt{\operatorname{tr}(...
- 71
2
votes
1
answer
106
views
Is $f^{-a}$ locally integrable if $f\geq 0$ has a unique stationary point ( a minimum) at which the Hessian is positive definite, $0<a<d/2$
Let $0<a<d/2$, let $B$ be the unit ball in $\mathbb{R}^{d}$ centered at the origin, and let $f:B \to [0,\infty[$ be a a smooth function such that
(1) $f(x)\geq f(0).$
(2) $\nabla f(x)\neq 0,\...
- 852
1
vote
0
answers
155
views
Does there always exist a regular curve connecting two points in an open connected subset of $\mathbb{R}^n$? [closed]
As the title says, given $A\subseteq \mathbb{R}^n$ open and connected and $x, y\in A$, I am looking for a continuous curve $\gamma:[0, 1]\rightarrow A$ which is differentiable in $(0,1)$ with $\gamma'(...
- 21
1
vote
1
answer
139
views
Which kind of convergence can we get from Laplace transform convergence?
This question is a related question see this post Vague convergence VS Laplace transform convergence. But now we assume that
\begin{equation}
\int_0^\infty e^{-sx}\mu_n(dx)\to \int_0^\infty e^{-sx}...
4
votes
1
answer
266
views
The difference between Baire 2 and 'effectively Baire 2'
In short: Baire 2 functions are often assumed to be given by a double sequence of continuous functions, thought this is not the exact definition. Does one need the Axiom of Choice (or related) to ...
- 4,359
10
votes
2
answers
493
views
Rearrangement, conditional convergence, and "placid" permutations
This question came out of a conversation with my students about Riemann's rearrangement theorem, and the general problem of which permutations are "safe" w/r/t summing infinite series. It ...
- 20.5k
12
votes
1
answer
1k
views
Is there a set that intersects every line twice which is Lebesgue measurable or Borel?
Let $A$ be a subset of $\mathbb{R}^2$ which intersects every straight line in exactly two points.
Is there a such set which is Lebesgue measurable or Borel?
A well-known fact is that there exists such ...
- 577
4
votes
1
answer
367
views
Inequality with decreasing rearrangement function
Let $f^{*}$ be the usual decreasing rearrangement function of a measurable function $f$ on a measure space $(X, \mu)$. Let $1<p<n$ and set $$p'=\frac{pn}{n-p}.$$ Also, let $g$ be a positive ...
- 459
1
vote
1
answer
190
views
Inequality and integral
Let $p(u,x):=(4 \pi u)^{-1/2}e^{-\frac{x^2}{4u}},u>0,x \in \mathbb{R}.$
Let $\mathcal{E}:=\{\phi \in C_c^\infty (\mathbb{R}),\operatorname{supp}(\phi) \subset B(0,1),\|\phi\|_\infty \leq 1\}.$
...
- 573
2
votes
0
answers
231
views
Where does this trig. identity hold?
Fix an integer $n\geq1$.
QUESTION. Is it possible to find ALL pair of sequences of non-negative integers $(a_k,b_k)$, for $k=1,2,\dots,n$, such that
$$\sum_{k=1}^n \sin^{2a_k}\theta\cdot \cos^{2b_k}\...
- 43.2k
7
votes
0
answers
270
views
Between real analysis and mathematical logic
This question lies in the intersection of real analysis and logic, so I try to keep things rather basic.
First of all, logicians care about the following kind of formula:
Let $\varphi(n, x)$ be a ...
- 4,359
0
votes
1
answer
328
views
Deduce that a function is zero on interval $[0,M]$
I have been thinking about this for the last few days but I was not able to produce a definitive answer.
Take an integrable function $g$ that maps in $\mathbb{R}$ and with domain contained in $[0,M]$ (...
- 141
5
votes
1
answer
229
views
An inequality for polynomials
I have been thinking about the validity of the following inequality: if $P(z)=\sum_{k=0}^na_kz^k, a_n\neq 0$ and $P(z)$ is non-zero in $|z|<1, $ then for $\theta \in [0, 2\pi],$ and $p>0$
\...
- 559
3
votes
0
answers
52
views
Closely related definitions with and without approximation built-in
Let us say that a (real) function class $A$ has 'approximation built-in' in case for every $f:\mathbb{R}\rightarrow\mathbb{R}$ in $A$ and any $x\in \mathbb{R}$, we can approximate $f(x)$ using only $f(...
- 4,359
0
votes
2
answers
166
views
Asymptotics of the unique root of a polynomial equation defined as a sum of rational expressions
Let $\lambda_1\ge \ldots \ge \lambda_n \gt 0$. Define a function $F:\mathbb R_+ \to \mathbb R_+$ by
$$
F(t) = t^2\sum_{i=1}^n\frac{\lambda_i^2}{(\lambda_i + t)^2}.
$$
It is clear that $F$ is strictly ...
- 6,853
1
vote
1
answer
524
views
Everywhere differentiable inverse function theorem in which the derivative is invertible at only $1$ point
I'm reading about inverse function theorem for everywhere (not necessarily continuously) differentiable funtions. First from Terence Tao's blog, i.e.,
Theorem 2 (Everywhere differentiable inverse ...
- 825
17
votes
3
answers
1k
views
Decoupling a double integral
I came across this question while making some calculations.
QUESTION. Can you find some transformation to "decouple" the double integral as follows?
$$\int_0^{\frac{\pi}2}\int_0^{\frac{\pi}...
- 43.2k
3
votes
0
answers
191
views
Does "Invariance of domain" hold true for injective Darboux function (instead of continuous injection)?
Let $f \colon U\subset \mathbb{R^n}\to\mathbb{R}^n$ be an injective Darboux map.
Does this imply that $f$ is an open map?
If $f$ is continuous then the result follows from "Invariance of domain&...
- 307
10
votes
3
answers
849
views
Progress in robustifying mathematics - i.e. making mathematical theorems robust to small changes in hypotheses
The idea of making a mathematical theorem robust to small changes in its hypotheses has been known for some time. In areas such as group theory reasonable progress has been made leading to the theory ...
- 4,862
2
votes
2
answers
755
views
Derivative of the absolute value
Let $f \in W^{1,p}(U)$, then how to prove that $|f| \in W^{1,p}(U)$, where $W$ means the sobolev space over some open subset $U \in \mathbb{R}^n$.
In Lieb's Analysis he prove that Let $f$ be in $W^{1,...
- 23
1
vote
2
answers
169
views
Asymptotic properties of weighted random walks / infinite convolutions of random variables
Let $(X_n)_{n\in\mathbb{N}}$ be a sequence of i.i.d. real-random variables. Let further $0<c<1$. I'm interested in the asymptotic properties of
$$
\sum_{k=1}^n c^k X_k.
$$
I can prove that this ...
2
votes
0
answers
73
views
Extremizing the integral part of an integro-differential equation
Consider the problem of finding a continuously twice-differentiable function $x(t)$ which extremizes the convergent improper integral
\begin{equation}
I=\int_{-\infty}^{t} f(x,s)\mathop{ds}
\end{...
- 79
67
votes
9
answers
7k
views
Taking "Zooming in on a point of a graph" seriously
In calculus classes it is sometimes said that the tangent line to a curve at a point is the line that we get by "zooming in" on that point with an infinitely powerful microscope. This explanation ...
- 12.1k
2
votes
1
answer
77
views
Total sets for $L^p$ for every $1\leq p < \infty$
Consider $L^p[ 0,1]$ for $1\leq p < \infty$ or, if you prefer, $L^p(\mu)$ where $\mu$ is a finite Borel measure with compact support. Let $(\phi)_{i\in I}$ be a subset of measurable functions that ...
- 355
6
votes
3
answers
1k
views
Is there an entropy proof for bounding a weighted sum of binomial coefficients?
Given a probability $p \in (0,1)$ and parameter $\alpha \in (0,1)$, is there an entropy-based proof which yields a good upper bound for the sum
$$\sum_{\ell = 0}^{\alpha n} \binom{n}{\ell}p^\ell(1-p)^{...
- 557
1
vote
0
answers
115
views
Value of $\pi$ and algorithm for Bernoulli numbers
Chowla and Hartung provide an "algorithm" for computing Bernoulli numbers in this paper.
In particular, if the Bernoulli numbers are defined by
$$\frac{x}{e^x-1}=1-\frac{x}{2}+\sum_{n=1}^\...
- 41
0
votes
0
answers
101
views
Sobolev estimates on domain with boundary
Could someone point me to a reference for the proof of the following Sobolev estimate
$$
\|u\|_{L^{2 d /(d-2)}(\Omega)} \leqslant C(\|f\|_{L^{2 d /(d+2)}(\Omega)} + \|g\|_{(\partial\Omega)})
$$
for ...
- 61
0
votes
0
answers
111
views
Sum power series not continuous unit circle
This is (probably) not a research question and I already asked it on StackExchange but I got no answer over there.
Let us consider the sequence $(a_n)_{\geq 1} = \left(\frac{\cos(2\sqrt{2n}+\frac{\pi}{...
- 7,300
8
votes
4
answers
1k
views
For what sets does the Lebesgue Differentiation Theorem hold in one dimension?
Lebesgue's differentiation theorem states that if $x$ is a point in $\mathbb{R}^n$ and $f:\mathbb{R}^n\rightarrow\mathbb{R}$ is a Lebesgue integrable function, then the limit of $\frac{\int_B f d\...
- 4,597
18
votes
3
answers
3k
views
A curious sin-integral
While contending with a certain Fourier series, I stumbled on an incredibly simple evaluation (numerically) of a slightly complicated-looking sin-integral.
So, I wish ask:
Question. Is this really ...
- 43.2k
3
votes
0
answers
176
views
A variant of the Laplace principle
$\newcommand{\R}{\mathbb R}\newcommand{\eps}{\varepsilon}$In $\R^d$ I am given a sequence of smooth functions $f_\eps(x)$ that converges uniformly to some $f(x)$, which is assumed to be a good rate ...
- 5,380
7
votes
2
answers
480
views
Asymptotic behavior of $\sum_{k=1}^{\infty} \sqrt{\max\{1 - k^2/x^2,0\}}$ as $x\to\infty$
Let $f:\mathbb{R}\to\mathbb{R}$ be the function $$f(x) = \sum_{k=1}^{\infty} \sqrt{\max\left\{1 -\frac{k^2}{x^2},0\right\}}.$$
Numerical experiments suggests that there exists $n\in\mathbb{N}$ and a $...
- 2,605
2
votes
2
answers
575
views
A net of lower semicontinuous functions
Assume we have a non-decreasing net of lower semicontinuous functions $f_\alpha:[0,1]\to\mathbb{R}$ such that $\lim_\alpha f_\alpha\to f$ pointwise.
Please is it true that one can extract a countable ...
1
vote
1
answer
137
views
Integral inequality implies majorization by solution of ODE
Let $f:[0, \infty)\to [0, \infty)$ be non-increasing (and not necessarily differentiable nor continuous) and satisfy $$f(t)\leq f(0)-C\int_{0}^{t}f(s)^{1/2}ds,$$ where $C>0$. How can one show that ...
- 459
2
votes
0
answers
65
views
Recursive sequence of renewal type : when does one term dominate them all?
Let $(b_n)_{n \geq 0}$ be an increasing sequence of non negative real numbers.
Let $(u_n)_{n \geq 0}$ be recursively defined by $u_0 =1$ and
$$u_{n} = \sum_{k=0}^{n-1} u_{k} b_{n-k}$$
Find a ...
- 468
1
vote
0
answers
99
views
Proving more stronger fomula for discrepancy of a sequence [closed]
I am reading famous book about uniform distribution of sequences by Kuipers and Niederreiter and have questions about solving below exercise from that book. Before going to main exercise I will write ...
- 111