All Questions
6,015 questions
-5
votes
1
answer
270
views
Calculus based on pdf [closed]
Is there a calculus, i.e. an analytical framework, that deals with probability distributions as its variables? Measure theory goes in that direction, and Hewitt/Stromberg (Real and Abstract Analysis, ...
- 201
2
votes
1
answer
198
views
Eigenvectors and eigenvalues of a symmetric matrix and its entry-wise absolute value
The modulus of matrices is meant componentwise in the following.
Let $H$ be a sqaure matrix that satisfies the following assumptions:
$H$ is real-valued, symmetric, and positive-definite..
$H$ is ...
9
votes
3
answers
553
views
Bounding the $n$-th derivatives of $\frac{1-\cos(x)}{x^2}$
Define the smooth map $f : \mathbb{R} \rightarrow \mathbb{R}$ by $f(x) := \frac{1-\cos(x)}{x^2} = -\sum\limits_{k=1}^\infty \frac{(-1)^k}{(2k)!} x^{2k-2}$.
I am looking for a nice bound on $|f^{(n)}(x)...
- 1,295
2
votes
1
answer
206
views
Bound for zero-crossings of heat equation
I am considering the following problem.
Let $\mathcal{P}$ the classical heat-diffusion problem:
$$\mathcal{P} : \left(\partial_t u (t,x)=\frac{1}{2}\partial_{xx}^2u(t,x)\text{ with }u(0,\cdot) = f(x)\...
- 393
4
votes
2
answers
413
views
A measure assigning values in $\{0,1\}$ must be a Dirac measure?
Let $\mu$ be a measure on some measurable space $(\Omega, \mathcal F)$ such that
$$\mu(B)\in \{0,1\},\quad \forall B\in \mathcal F.$$
Can we show that $\mu$ must be a Dirac measure (under suitable ...
- 1,399
1
vote
1
answer
217
views
Perturbation of matrices
Let $A(t)$ be a symmetric $n\times n$ matrix that continuously depend on $t\in [0,1]$. Let $\lambda_1(t)$ stand for the smallest eigenvalue for $A(t)$.
Question. Does there exist a Lebesgue measurable ...
- 4,153
5
votes
1
answer
512
views
Norm inequality for the inclusion $L^2(\partial \Omega)\hookrightarrow H^{-1/2}(\partial \Omega)$
Let $\Omega \subset \mathbb{R}^3$ be a lipschitz domain. We then have the trace operator $\tau : H^1(\Omega) \to L^2(\partial \Omega)$ and can define the space $H^{1/2}(\partial \Omega) := \tau(H^1(\...
- 75
0
votes
0
answers
119
views
About definition of stable solution. $Q_u(\phi) \ge 0$ for all $\phi \in C_c^1(\Omega)$ replaced by "for all $\phi \in W_0^{1,2}(\Omega)$"
I want to ask about a remark about the stable solution of elliptic PDE Remark 1.1.1.
We say $u$ is stable solution of $-\Delta u=f(u) \ \text { in } \Omega$ and $u=0$ on $\partial \Omega$ if it ...
- 809
1
vote
0
answers
59
views
Study of the properties of a non-local ODE
I am studying the following non-local ODE
$$\dot p(x) \nu_{\varepsilon, \alpha}(x) + \int_{x}^{2x_0}\frac{\dot p(s)}{s + \varepsilon} ds = c \quad \text{for } x \in [0,2x_0].$$
The number $x_0$ can ...
- 452
1
vote
0
answers
76
views
Is this extension of n-th derivatives to ordinal-indexed derivatives trivial? [duplicate]
Let $f$ be a function defined everywhere on the real line, which is infinitely differentiable everywhere, in other words, $f$ is everywhere smooth. I define the $\omega$-th derivative, where $\omega$ ...
- 2,023
1
vote
1
answer
187
views
Bound the distance between two vectors on the probability simplex
Let $a,b$ be two vectors with strictly positive elements and $\delta = 1 - \frac{\langle a,b \rangle}{\|a\|\|b\|}$. Bound the following optimization problem as a function of $\delta$
$$\sup_{x>0} \...
- 135
1
vote
0
answers
82
views
How to calculate the Integral with confluent hypergeometric function
How to prove this.Thank you in advance
Let $\delta,\beta>0$ How to prove this
\begin{align}
& \int^1_0 \frac{w^{1-\beta}}{(1-w)^{1+\delta}} (-t.s w)^{\frac{-\delta}{2}} e^{-\frac{w}{1-w}(s+t)}...
- 531
1
vote
1
answer
120
views
Sobolev-type estimate for irrational winding on a torus
Let $\mathbb{T} = \{ (x, y) \in \mathbb{R}^2 \}/_{x \mapsto x + 1, y \mapsto y + 1}$ be a real 2-torus. Let $\mathscr{C}^{\infty}_0(\mathbb{T})$ be the subset of $\mathscr{C}^{\infty}(\mathbb{T})$ of ...
- 227
1
vote
0
answers
79
views
Asymptotics of ${2n \choose n+k} {2n \choose n}^{-1}$ when $k$ grows with $n$
The quotient $Q(n,k) := \frac{{2n \choose n+k}}{{2n \choose n}}$ clearly converges to one for $k \in \mathbb{N}$ fixed and $n \rightarrow \infty$. Simultaneously it converges to zero, if $k$ grows ...
- 1,295
2
votes
0
answers
188
views
Self-adjointness of fractional laplacian
Lets consider the following functional analytic definition of the fractional Laplacian: Consider a (complete, connected, oriented) Riemannian manifold $(M,g)$ with corresponding Laplacian $\Delta_{g}$....
- 1,171
3
votes
2
answers
293
views
On convergence of convex-concave functions
Let $(f_n)$ be a sequence of twice differentiable functions on $\mathbb R$ such that for each $n$ there exists some $x_n\in\mathbb{R}$ such that:
$f_n$ is strictly convex on $(-\infty,x_n)$,
$f_n$ is ...
- 128k
1
vote
1
answer
300
views
Convergence of concave/convex function
Let assume that you have a sequence of twice differentiable functions $(f_n)_{n\in\mathbb{N}}\in\mathscr{C}^2(\mathbb{R})^{\mathbb{N}}$. Let suppose that for each $f_n$, it exists a $x_n\in\mathbb{R}$ ...
- 393
8
votes
1
answer
258
views
Sequential colimit of iterated quotients of Cauchy sequences
We work in constructive mathematics.
The sets and functions in the foundations form a Grothendieck topos, which means that all colimits exist, and in particular, that all sequential colimits exist. ...
- 2,624
5
votes
1
answer
542
views
If $f$ is bounded, decays fast enough at infinity and $\int f=0$, does this imply that $f$ is in the Hardy space $\mathcal H^1(\mathbb R^n)$?
Let $\mathcal H^1(\mathbb R^n)$ be the real Hardy space (as in Stein's "Harmonic Analysis", Chapter 3). It is well known that $\mathcal H^1(\mathbb R^n)\subset L^1(\mathbb R^n)$ and its ...
- 1,075
4
votes
1
answer
334
views
Is this approximation for $\pi$ enough to make this value converge? And how to find an upper bound for it
Update:
\begin{align*}
|I_n-J_n| = (\pi-S_n)\sum_{k=0}^n |\frac{a_kp_k(\ln\pi)}{\ln^{k+1}\pi}|
\end{align*}
and
\begin{align*}
|I_n| = \sum_{k=0}^n | \frac{a_k\pi p_k(\ln\pi)}{\ln^{k+1}\pi}
-\sum_{k=...
- 521
3
votes
1
answer
211
views
Blowup of Sobolev norms in approximating a non-absolutely continuous function
Let $f: [0, 1] \to \mathbb R$ be a continuous function, and $1 <p \leq \infty$. Suppose $u_n \in W^{1, p}$ are such that $u_n \to f$ uniformly. Is it true that if $f$ fails to be absolutely ...
- 6,223
5
votes
1
answer
326
views
Does Cesaro convergence along all arithmetic progressions imply convergence on a full density subsequence?
Suppose $\{x_n\}_{n \geq 1}$ is a real valued sequence such that for every $a, r \in \mathbb Z_+$, we have that
$$\lim_{N \to \infty} \frac{1}{N} \sum_{i = 0}^{N-1} x_{a + ir}$$
exists and equals $L$ ...
- 6,223
0
votes
0
answers
120
views
Mysterious Bound: $\int_{B_{4}}\|D^{2}u\|^{2} \leq 2^{n}$
I am reading through "A GEOMETRIC APPROACH TO THE CALDERON–ZYGMUND ESTIMATES" by Lihe Wang and I am perplexed by an assertion in Lemma 7. The claim is that whenever $\Delta u = f$:
$$\frac{1}...
- 1
1
vote
1
answer
191
views
Concentration inequality for square roots
Given a sequence of (not-necessarily-iid) real-valued random variables $X_n$ that converge to $a\in\mathbb{R}$ in probability, suppose we have an exponential concentration inequality of the form
$$
P(|...
- 13
3
votes
2
answers
429
views
Functional equations based on composition
I have asked this question here (*), but there are no answer.
Let $n \in \mathbb N^*$, $\{a_0,\ldots,a_n\} \subset \left] 0,+\infty\right]$. We suppose $Eq : \sum\limits_{k=0}^n a_k f^k(x)=0$ have no ...
- 4,074
2
votes
1
answer
165
views
Continuity of an upper semi-continuous function over periodic points
Let $f: X \to \mathbb{R}$ be an upper semi-continuous function on $X$, which is a compact subspace of a vector space. Let sequence $x_n, n \in \mathbb{N}$, with positive elements - periodic: there ...
- 1,043
3
votes
1
answer
509
views
Existence of a curve of finite length on the image of an embedding which is Sobolev
Suppose that we have an embedding $f:\mathbb{R}^2\to\mathbb{R}^3$ which belongs in the Sobolev space $W^{1,p}_{loc}(\mathbb{R^2},\mathbb{R}^3)$ for some $p>2$. Is it true then that for any two ...
- 81
2
votes
1
answer
200
views
Laguerre polynomial and series
Let $L^\alpha_n(x)$ be Laguerre polynomials of type $n$.
Consider the sum
$$\sum^\infty_{j=0} \frac{1}{(b-j)}L^{m}_j(x)$$
where $b\not\in\Bbb N,x>0$ and $m\in \Bbb N$.
I have found this series ...
- 531
0
votes
1
answer
129
views
Sequence of functions converges pointwise to identity [closed]
Let
For $n\in \mathbb{N}$ and $k\in \{0, 1, 2, ..., 2^{n}-1 \}$ is defined
$$I_{k}^{n}=\left[\frac{k}{2^{n}}, \frac{k+1}{2^{n}}\right)$$
and $f_{n}:[0, 1) \rightarrow \mathbb{R}$ is defined by
$$f_{n}(...
- 251
3
votes
0
answers
125
views
Extracting moments of $\max(X_1,\ldots,X_k)$ from asymptotic behavior of $\mathbb{E}[(X_1^n+\cdots+X_k^n)^m]$
For fixed $k$ suppose we have $X_1,\ldots,X_k$ non-negative random variables with density functions.
Setting a): We know $\mathbb{E}[(X_1^n+\cdots+X_k^n)^m]$ exactly for any integers $n,m \in \mathbb{...
- 1,295
12
votes
4
answers
1k
views
Understanding the condition $\frac{1}{p} + \frac{1}{q} = 1$ in the estimate $xy \le \frac{1}{p}x^p + \frac{1}{q}y^q$
I just read a proof of Holder's inequality in measure theory, which boils down to the following inequality:
$$xy \le \frac{1}{p}x^p + \frac{1}{q}y^q$$
where $x,y\ge 0$ and $\frac{1}{p} + \frac{1}{q} = ...
- 7,527
2
votes
0
answers
180
views
Approximating $L^p$ functions by eigenfunctions of Laplacian
I'm reading a paper https://www.sciencedirect.com/science/article/pii/S0022039608004932.
In this paper, the authors assume that $\mathcal{O}$ is a bounded domain of $\mathbb{R}^N$ with $C^m$ boundary ...
- 121
6
votes
1
answer
310
views
Surjectivity of a class of integrals in dimensions two
Let $\Omega \subset \mathbb{R}^2$ be an open set and $G(x,\theta): \Omega \times [0,2\pi]\rightarrow \mathbb{R}$ be a positive continuous function. Assume $F:\Omega \rightarrow \mathbb{R}^2$ defined ...
- 434
1
vote
1
answer
143
views
$L^1$ error between indicator function and smoothed out version
For a large parameter $r>0$, consider the indicator function $1_{[-r,r]}$ and its convolution with the (normalized) Gaussian $\frac{1}{\sqrt{\pi}}e^{-x^2}$, that is,
$$f_r(x) = \frac{1}{\sqrt{\pi}}\...
- 101
3
votes
0
answers
245
views
Norm on the space of real analytic functions
The space $C^{\omega}(\Omega)$ of real-valued real analytic functions on the open bounded set $\Omega\subset \mathbb R^n$ does not have any obvious or natural metric which would make it a Fréchet ...
- 203
0
votes
1
answer
300
views
Is there a reference on the space of Lipschitz continuous functions?
I have hard a time finding the specific properties I'm looking for, I'm wondering if there is literature which proves (or disproves) that the space of all Lipschitz continuous functions of some ...
0
votes
1
answer
99
views
Recovering the openness of a map from the openness of its scalar projections
Good morning. I have been thinking about the following question for a while without much success, therefore I'm starting to doubt its validity, although I don't have a clear counterexample in mind.
...
- 311
1
vote
0
answers
66
views
Parameter estimation of a Taylor expansion
Let $a,b$ two real numbers, $\theta$ a real parameter and suppose that you have an analytic function of the form:
$$
f_\theta(x)\triangleq \sum_{k\in\mathbb{N}}a_k(\theta)x^k \quad\forall x\in[a,b],
$$...
- 393
5
votes
1
answer
117
views
Between BV and Baire 2
My question is about functions of bounded variation (BV) on the reals.
On one hand, Helly's selection theorem provides (fairly restrictive) conditions under which a sequence of BV-functions has a sub-...
- 4,359
2
votes
1
answer
209
views
Argmax of a function of $n$ variables under linear constraint
(I start by saying that the tags are probably not accurate but I didn't know what to put, so if someone knows what I could tag this question with, let me know in the comments and I'll provide to edit ...
- 697
1
vote
0
answers
122
views
Implicit function theorem / Implicit selections when Jacobian not invertible
I saw the attached result in the book by Dontchev and Rockafellar.
It requires the Jacobian to be of full rank m. I suspect this condition can be further relaxed. Assume that we know that the columns ...
- 393
2
votes
0
answers
425
views
Functional continuity of eigenvalues?
We have the following theorems!
Corollary VI.1.6 [Bhatia: Matrix Analysis]: Let $a_j(t)$, where $1\leq j \leq n$ be continuous complex valued functions defined on an interval $I$. Then there exists ...
- 233
2
votes
0
answers
304
views
an upper bound for $L^1$ norm of the mollifier function
The standard mollifier function is defined as follows
$$f(x)=\begin{cases} 0 & \text{if } |x| \ge 1\\ \exp \left(-\cfrac{1}{1-x^2}\right) & \text{if } |x|<1.\end{cases}$$
It is well known ...
- 3,625
2
votes
2
answers
424
views
"Squeezing" the primes?
The logical idea here is to map a curve that encodes the primes into the region $(0,1)^2$ and analyze the distribution there more easily and achieve tight bounds.
To assess the distribution of primes, ...
- 383
0
votes
0
answers
66
views
Lower bound of the derivative $(f*g_\sigma)'$ at the zero-crossing point
I am stuck with the following problem. Let consider $f$ a smooth real function such that:
$f$ is negative before 0,
$f$ is positive after 0,
we have $|f'(0)|>0$.
Let $\sigma>0$ and $g_\sigma$ ...
- 393
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,153
1
vote
0
answers
114
views
Computing sine of gamma function [closed]
In the sense of bit complexity, how difficult is it to compute $$\sin(a\Gamma(x))$$ where $a$ is a constant and $x>1$? Is it possible to avoid the computation of $\Gamma$ as first step?
Is there a ...
- 67
0
votes
1
answer
98
views
Does $c$ in the embedding inequality $\|P^\kappa_t \|_{L^p \to L^{p'}} \le c t^{-\frac{d(p'-p)}{2pp'}}$ depend on $\kappa$?
For any $\kappa>0$, we consider the Gaussian heat kernel
$$
p^\kappa_t (x) := (\kappa \pi t)^{-\frac{d}{2}} e^{-\frac{|x|^2}{\kappa t}},
\quad t>0, x \in {\mathbb R}^d.
$$
Let $L^0 := L^0 (\...
- 825
3
votes
1
answer
211
views
Other expansion for positive Taylor expansion
I was thinking of the following problem. Let $f$ be a Taylor expansion and $a_k$ the associated coefficients,
$$\forall x\in\mathbb{R},~f(x)\triangleq\sum_{k=0}^\infty a_kx^k.$$
Let suppose that we ...
- 393
0
votes
1
answer
143
views
An estimate of the integral of the higher order derivative of a bump function
Let $\kappa_1>0$, $\beta\in [0, 1]$ and $b: \mathbb R_+ \times \mathbb R^d \to \mathbb R^d$ such that for all $t\ge0$ and $x,y \in \mathbb R^d$ we have $|b(t, 0)| \le \kappa_1$ and $|b(t, x) - b(t, ...
- 825