All Questions
738 questions
2
votes
0
answers
197
views
Orthogonality relation in $L^2$ implying periodicity
Let $\theta(t)$ and $\phi(t)$ be two real $C^1$ functions $[0,2\pi]\rightarrow \mathbb{R}$. Let us assume $\theta$ has the properties
$$
\int_0^{2\pi} e^{i\theta(t)} dt=0.
$$
Geometrically this means ...
- 405
2
votes
2
answers
218
views
Convergence for a non-linear second order difference equation
In my work, I need to study the convergence of sequence defined by the non-linear recurrence relation
$$
u_0,u_1>0, \qquad \forall n\in \mathbb N, \; u_{n+2}=a\ln(1+u_n)+b\ln(1+u_{n+1})
$$
with ...
- 1,503
2
votes
1
answer
273
views
Is it always possible to partition $[a,b]\times[c,d]$ into disjoint blocks $D_{ij}$ s.t. $\left.f\right|_{D_{ij}}$ is bijective?
Consider the function given by $f:[a,b]\times[c,d]\to[0,1]^{2}$ such that $0\leq a < b \leq 1$, $0 \leq c < d \leq 1$.
Moreover, we do also have that $f\in C^{1}([a,b]\times[c,d],[0,1]^{2})$ and ...
user127351
2
votes
0
answers
232
views
Is an orthogonal projection of a Lipschitz domain still a Lipschitz domain?
Let $\mathcal{X}\subseteq\mathbf{R}^n$ be a Lipschitz domain, i.e., for each $x\in\partial\mathcal{X}$, there exists a radius $r_x>0$ and a Lipschitz continuous function $F^x:\mathbf{R}^{n-1}\to\...
- 21
2
votes
0
answers
190
views
What is the smallest dimension that allows finding $n$ points at distances $|x_i-x_j|^{\delta/2}$, where $0<\delta<1$, and $x \in \mathbb{R}^n$?
Let $x_1,\cdots,x_n \in \mathbb{R}$, are there $\xi_1,\cdots,\xi_n \in \mathbb{R}^s$, such that
$|x_i-x_j|^{\delta}=||\xi_i-\xi_j||^2$, $0<\delta<1$, what is the smallest $s$ to guarantee the ...
- 178
2
votes
1
answer
497
views
Truncated Euler products, Dirichlet eta function, and convergence issues
Can you prove that the following series does not converge if $\frac{1}{2}<\sigma<1$, no matter how close to $1$ sigma is, and no matter how large $t>0$ is? The series is defined as
$$W(\sigma,...
- 3,098
2
votes
2
answers
495
views
Polynomial approximation (Weierstrass theorem) with bounds
Consider the closed interval $[0,1]$ and let $f \in C[0,1]$. Let $g$ be a real valued function on $[0,1]$ such that $g \leq f$.
Suppose $g = f$ at atmost finitely many points. Does there exist a ...
- 431
2
votes
2
answers
635
views
Continuous upper envelope of upper semicontinuous function
Let $u$ be a upper semicontinuous function on a compact set $K$ in $\mathbb R^d$. Define a space of continuous function dominating $u$ by
$$A = \{\phi \in C(K): \phi \ge u\}.$$
[Q.] Is the following ...
- 1,399
2
votes
0
answers
275
views
Smoothness of coefficients of remainder term in Taylor expansion
Given a $C^{k}$ function $f:\mathbb{R}^d\to\mathbb{R},$ we can use Taylor's theorem to write it as
$$f(x)=\sum_{|\alpha|\le k-1} c_\alpha x^\alpha + R(x),$$
where $R$ is $C^k$ and can be expressed ...
- 203
2
votes
0
answers
144
views
Does this geometric PDE have a solution?
Let $s(\theta), b(\theta)$ be two smooth non-constant real-valued functions on $\mathbb{S}^1$, and assume that $s$ never vanishes.
Does there exist a map $h:(0,1) \times \mathbb{S}^1 \to \mathbb{S}^1$,...
- 6,741
2
votes
1
answer
289
views
On semi-discrete Wasserstein distance
Let $\mu(dx)=\sum_{i=1}^np_i\delta_{x_i}(dx)$ and $\nu(dy)=\rho(y)dy$ be two probability measures on $\mathbb R^d$, where $\nu$ has a bounded support. Consider the $2-$Wasserstein distance below:
$$...
- 345
2
votes
1
answer
162
views
On the continuity and injective-ness of Gauss quadrature scheme for numerical integration, with weight function identically $1$
Fix an integer $n\ge 2$. Let $[a,b]$ be an interval and $f: [a,b]\to \mathbb R$ be a continuous function and for $x_1,...,x_n$ being the Gaussian Quadrature nodes in $[a,b]$, and Gaussian Quadrature ...
- 1,209
2
votes
1
answer
167
views
On a characterization of inward unit normal vector
Let $D$ be a smooth domain of $\mathbb{R}^d$. Let $\partial D$ denote the boundary of $D$. We denote by $B(x,r)=\{y \in \mathbb{R}^d \mid |y-x|<r\}$ the Euclidean ball centered at $x$ with radius $...
- 721
1
vote
0
answers
244
views
Möbius function and polynomials
Let $\mu$ be the Möbius function. It is well known that $\sum_{n|k} \mu(n) = 0$ for $k>1$. What could be said about the polynomials $R_k = \sum_{n|k} \mu(n) x^n$ for $x \in [0,1]$? There does not ...
- 433
1
vote
1
answer
188
views
Can one show $h(x)=|2(\zeta'(x))^2-\zeta''(x)\zeta(x)|$ is a decreasing function for $x\in\mathbb{R}\cap [1,\infty)$?
This question is related to This question.
When I tried to approach it I couldn't even proof that the LHS is a decreasing function on the given domain using regular methods. I have tried to write the ...
- 178
1
vote
0
answers
76
views
Error estimates for orthogonal polynomial approximation
tl;dr: Are there explicit bounds for the approximation error by orthogonal polynomials?
There are various ways to formulate this question more precisely, so want I emphasize up front that this is a ...
- 19
1
vote
2
answers
180
views
An inequality for a real function
Let $$f(z)=(1+z)^{3/4}-\left(\frac{3}{8}+\frac{\sqrt{3}}{4}\right)^{1/4}-\frac{\left(3 z+\sqrt{6} \sqrt{-1+z^2}\right)^{3/4}}{\left(2 \left(2+\sqrt{3}\right)\right)^{3/4}}.$$ Is there a simple proof ...
- 37
1
vote
0
answers
76
views
Geometric series involving the Laguerre polynomials
Let put $\alpha=5$ and $x=3$. Consider the following set given by
$$M=\lbrace \; n \in N, \; \; 0 < |L_{n}^{5}(3)| < 1 \; \rbrace$$
Where $L_{n}^{\alpha}(x)$ is the generalized Laguerre ...
1
vote
1
answer
191
views
Good upper bound for $\Gamma(1-b,\log(a))-\Gamma(1-b,N\log(a))$, where $a,b \in (0, 1)$ and $N \ge 1$
Let $a,b \in (0, 1)$ and $N \ge 1$, and consider the incomplete gamma function $x \mapsto \Gamma(1-a,x)$.
Question
Is there a simple bound (involving 'simple function's) for the expression $\Gamma(1-...
- 6,853
1
vote
0
answers
47
views
Another uniform estimation of an integral involving an Hölder function with derivative that is Hölder
Let $\Omega\subset\mathbb{R}^n$, let $s\in [1/2,1)$, let $u\in C^{1,2s-1+\epsilon}(\Omega)$ such that: $u=0$ on $\mathbb{R}^n\setminus\Omega$, and: $u\in C^{0,s}(\mathbb{R}^n)$, is true that there ...
- 339
1
vote
2
answers
346
views
Is this relationship, $\sum^{\infty}_{N=1}\frac{N^{-\alpha} \, x^{N-1}}{\Gamma(N)}\sim e^{x}x^{-\alpha}$, true?
According to numerical simulation, the relationship
$$\sum^{\infty}_{N=1}\frac{N^{-\alpha} \, x^{N-1}}{\Gamma(N)}\sim e^{x}x^{-\alpha}$$
where $\Gamma$ is the Gamma function seems to be true.
Do you ...
user365311
1
vote
0
answers
922
views
A Question on certain Hilbert space of continuous functions, and a characteristic of convergence in it
Define $T^k(\Omega)$, $\Omega$ an open subset of $\mathbb{R}^m$ (with a smooth boundary), as a space of function equivalance classes, with the norm defined as $$ \|f\|_{T^k(\Omega)}^2 = \|f\|_{L^2(...
- 698
1
vote
0
answers
93
views
Alberti rank-one theorem and reduction of the study of BV function to the two-dimensional case
By Alberti rank-one theorem, could it be possible to reduce the study of a function $u \in BV(\mathbb{R}^N, \mathbb{R}^N)$ to the study of a function $\tilde{u} \in BV(\mathbb{R}^2, \mathbb{R}^2)$? At ...
user123457
1
vote
0
answers
416
views
When does a proper Zariski closed set have measure zero with respect to a conditional measure?
Assume we have a probability measure $\mu$ over $\mathbb{R}^d$ that is absolutely continuous with respect to Lebesgue measure.
Given $m$ polynomials $p_1,\ldots,p_{m}\in \mathbb{R}[x_1,\ldots,x_d]$ ...
- 61
1
vote
1
answer
301
views
Vague convergence VS Laplace transform convergence?
If we assume that $\int_0^\infty e^{-sx}\mu_n(dx)\to \int_0^\infty e^{-sx}\mu(dx), \forall s\geq0$, it is possible to show that $\mu_n\to\mu$ vaguely. Where $\mu_n$ is a measure. Please check here for ...
1
vote
1
answer
110
views
Prove that $\dfrac{g(x,u_{n})}{\left\Vert u_{n}\right\Vert ^{p-1}}\rightarrow g_{0}$ weakly in $L^{\overline{p}}$
Let $\Omega
\subset
\mathbb{R}^{N}$
be a smooth bounded domain , $g:\Omega\times\mathbb{R}\rightarrow\mathbb{R}$
is a Caratheodory function such that $g(x,t)=0$
for $t\leq0$
. Suppose that ...
- 135
1
vote
1
answer
307
views
Convexity of discrete Fourier transform
Let $f : [0,2\pi] \to \mathbb{R}$ be a continuous convex function on $(0,2\pi)$ which is singular about $0$ and $2\pi$ but finite when evaluated at the boundaries. Assume also that $f$ is symmetric ...
- 595
1
vote
1
answer
93
views
Is there $f$ such that $\int_0^t f(s)\,\mathrm d s<\infty$ and $|\partial_t g| (t, x) \le f(t)g(Ct, x)$ for all $t>0$ and $x \in \mathbb R^d$?
We consider the heat kernel
$$
g :\mathbb R_{>0} \times \mathbb R^d \to \mathbb R,\quad (t, x) \mapsto \frac{1}{(4\pi t)^{d/2}} \exp \bigg ( - \frac{|x|^2}{4t} \bigg ).
$$
Then
$$
\partial_t g(t, x)...
- 657
1
vote
1
answer
162
views
Does there exist a class of real-valued upper semicontinuos functions on $X$ such that $\mathcal{F}$ is countable?
Ian Morris quoted the following:
For any upper semi-continuous function $f \colon X \to [-\infty,+\infty)$ defined on a nonempty topological space $X$ there exists a nonempty set $\mathcal{F}\...
- 623
1
vote
1
answer
236
views
Continuity of the solution of a Pde system
Let $\rho_1:[0,1]\to [0,1]$ and $J:\mathbb R\to \mathbb R^+$ both continuous and bounded.
I have the following system of PDE's
\begin{align}
\begin{cases}
\frac{\partial}{\partial t} u_0(t,r)=- J* ...
- 139
1
vote
1
answer
201
views
Does weak continuity of Jacobians hold for non nondegenerate maps?
$\newcommand{\M}{\mathcal{M}}$
$\newcommand{\N}{\mathcal{N}}$
Let $\M,\N$ be two-dimensional smooth, compact, connected, oriented Riemannian manifolds. (with or without boundaries).
Let $f_n \...
- 6,741
1
vote
0
answers
67
views
Solution to recurrence relation from integro-differential dynamical system?
Consider the integro-differential equation
\begin{equation}
\kappa\ddot x+\dot x=2\int_0^t J_1(x_t-x_s)e^{-\epsilon(t-s)}ds.\tag{1}
\end{equation}
such that $\kappa,\epsilon\in\mathbb{R}$, $t\in\...
- 79
1
vote
1
answer
401
views
linear recurrence inequality of positive terms
This is a follow up on my previous linear recurrence inequality question.
I have some matrices which satisfy a linear recurrence formula of the form
$$
A_{n+1} = \alpha A_{n} + \beta A_{n-1},\qquad n\...
- 145
1
vote
2
answers
889
views
Simplify Wasserstein distance between Gaussians with binary cost function
Let $\mu_1$ and $\mu_2$ be 1D gaussian distributions with means $m_1$ and $m_2$ respectively and common variance $\sigma$. Let $\Omega$ be a closed subset of $\mathbb R^2$, and consider the cost ...
- 6,853
1
vote
1
answer
114
views
question about $TGV^2$ space
Let us just stay in $\mathbb R^1$. The space $TGV^k$ is defined as the function $u\in L^1(I)$ and
$$
TGV^k(u,I):=\sup\left\{\int_I u\,\phi^{(k)}\,d\mu, \,\phi\in C_c^\infty(I),\,\|\phi\|_{L^{\infty}(...
- 679
1
vote
1
answer
239
views
Reference request for weak solutions of an Elliptic PDE
Edit : I just learned that all weak solutions are $C^\infty$, so this question, by Willie, seems more appropriate than the current one.
I want to find weak, non trivial, continuous, solutions of $$\...
- 698
1
vote
1
answer
234
views
Zeroes of elementary polynomials without involving closed-form solutions
Consider the following two polynomials, where $n$ is an integer:
$$
p_n(x) = x^3-\frac1nx-\frac2n, \\
q_n(x) = x^2-\frac2n.
$$
For any $n$, let $x_p=x_p(n)$ and $x_q=x_q(n)$ be the unique positive ...
- 21
1
vote
1
answer
426
views
$L^p$ compactness for a sequence of functions from compactness of cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
- 161
1
vote
0
answers
120
views
Natural candidates for super-half-exponential which limit to half-exponential function from above
There are no closed form candidates for half-exponential functions "Closed-form" functions with half-exponential growth.
However super-half-exponentials (functions whose composition grows ...
- 1,826
1
vote
1
answer
387
views
$L^p$ compactness for a sequence of functions from compactness of product with cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
- 161
1
vote
1
answer
266
views
Constant bound for the 1 dimensional Besicovitch covering theorem on real line
I recently looked through the proof of the Gagliardo–Nirenberg Interpolation Inequality, see proof and it says that for real line $R$, there exists a sequence of open intervals $\{I_k\}$, which covers ...
- 65
1
vote
2
answers
90
views
Is the difference between $\alpha$-Hölder constants of $f*\rho$ and $g*\rho$ controlled by $\|f-g\|_\infty$?
Let $\mathcal D_1$ be the set of bounded probability density functions on $\mathbb R^d$. This means $f \in \mathcal D_1$ if and only if $f$ is non-negative measurable such that $\int_{\mathbb R^d} f (...
- 825
1
vote
1
answer
237
views
Poisson kernel, expectation, an absolute value comes in
See here.
Let $d = 2$, and consider the domain $D = \mathbb{H}$, the upper half-plane. Let $W_t = (X_t, Y_t)$. We see that for any $\theta \in \mathbb{R}$ and any $t \ge 0$, we have$$E^{(x, y)}\...
- 13
1
vote
1
answer
136
views
On a case of real-analytic interpolation
Given strictly increasing sequence $x_n$ of rational numbers with $\sup x_n = x$.
In which case (sufficient condition on $x_n$) there exists real-analytic function $f:U_\epsilon(0)\to\mathbb{R}$ ...
- 1,133
1
vote
1
answer
242
views
Can (how) one distinguish germs of continuous functions by a countable set of params?
Continuous functions can be distinguished by their values at say rational points of [0 1].
Germs of analytic functions can be distinguished by derivatives at a point.
So in both cases we see ...
- 24.9k
1
vote
1
answer
151
views
Monotone likelihood ratio of densities based on power function
Given $p,\phi,\theta \in \mathbb{R}$ such that $p>2$ and $0 \le \phi,\theta\le \pi/2$ define the density function:
$$f(\phi;\theta) =
\mbox{$\Large\frac{1}{p B\big(\hspace{-1pt}\frac{3}{2},\frac{p+...
- 391
1
vote
1
answer
265
views
Is there a version of dominated convergence theorem for local $L^p$ spaces?
Fix $p \in [1, \infty)$. Let $(L^p (\mathbb R^d), \|\cdot\|_{L^p})$ be the Lesbesgue space of $p$-integrable real-valued functions on $\mathbb R^d$. Let $\tilde L^p (\mathbb R^d)$ be the space of ...
- 825
1
vote
0
answers
103
views
Real root isolation for exponential polynomials
Suppose we are given an exponential polynomial $f:\mathbb{R}\mapsto\mathbb{R}$
$$
f(t)=\sum_{i=1}^n p_i(t)e^{\lambda_i t}
$$
where $p_i(t)$s are polynomials with algebraic coefficients and $\lambda_i$...
- 1,503
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
1
vote
1
answer
918
views
Pros and cons of probability model for permutations
I am studying probability model of random permetuation
Let $b(n; k)$ denote the number of permutations of {1,...,n} with precisely k
inversions ($inv(\pi)$). The analytic approach was considered by L....
