All Questions
739 questions
2
votes
0
answers
274
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
1
answer
433
views
bounding the absolute value of a trigonometric polynomial
Consider a function $f:[0,1]\rightarrow \mathbb{C}$ and points $t_0,t_1,\ldots,t_n\in[0,1]$
\begin{equation*}
f(t)=\prod_{k=1}^n\frac{(e^{2\pi i t}-e^{2\pi i t_k})}{(e^{2\pi i t_0}-e^{2\pi i t_k})}
\...
- 859
2
votes
2
answers
258
views
Meromorphic extension of solutions to ODEs
I encountered the following question in my studies:
Let us assume we have a real anlaytic solution to an ODE on $\mathbb{R}$ of Schr\"odinger type
$-\psi''(x)+V(x)\psi(x)=\lambda \psi(x)$
but we ...
- 167
2
votes
1
answer
677
views
Lipschitz continuity of an implicit function
Let $z=F(x,y)$ be a function from $\mathbb R^d\times \mathbb R$ to $\mathbb R$ and $z=F(x,y)$ is Lipschitz continuous. Assume that for any $x\in\mathbb R^d$, there is a unique $y$ such that $F(x,y)=0$....
- 601
2
votes
1
answer
104
views
Limit of biggest share of the pie
A huge pie is divided among $N$ guests. The first guest gets $\frac{1}{N}$ of the pie. Guest number $k$ guest gets $\frac{k}{N}$ of what's left, for all $1\leq k\leq N$. (In particular, the last guest ...
- 48.9k
2
votes
1
answer
107
views
Lower bounds on translates of a function over a compact set
Let $f\in L^p(\mathbb{R})$ and define $f_\theta(x)=f(x-\theta)$. Let $K\subset\mathbb{R}$ be a compact set. I would like to compute (or at least lower bound) the following:
$$
\inf_{\theta\ne\theta'\...
- 45
2
votes
1
answer
154
views
Smooth conditional expectation with nonsmooth "reverse"
I am looking for a concrete example of the following: $(X,Y)$ are real-valued random variables such that:
$E[Y|X]$ is smooth
$E[X|Y]$ is discontinuous
Even better, I'd like to see an example where ...
- 23
2
votes
1
answer
260
views
Squaring a semi-convergent series
Let $S=\sum_{n=1}^\infty a_n$, be a semi-convergent series with $T=\sum_{n=1}^\infty a_n^2 < \infty$ and $\sum_{n=1}^\infty |a_n|=\infty$. Under which conditions are the following formulas valid? ...
- 3,098
2
votes
1
answer
160
views
Can there be a numerical system in which logarithms can be expressed in terms of exponentials in closed form?
The invention of complex numbers allowed to express trigonometric functions through hyperbolic ones in closed form.
Is there possible an extension of real/complex numbers in which logarithms and ...
- 10.1k
2
votes
1
answer
324
views
Uniform estimation of an integral involving a Hölder-continuous function
Let $\Omega\subset\mathbb{R}^n$ be open and bounded, let $s\in(0,1)$, let $u\in C^{0,2s+\epsilon}(\Omega)$ bounded with $u\in C^{0,s}(\mathbb{R}^n)$ and such that: $u=0$, on $\mathbb{R}^n\setminus\...
- 339
2
votes
1
answer
265
views
characterization of normality by selection theorem
The Urysohn's extension theorem states that a space $X$ is normal iff every continuous function $f:A \rightarrow \mathbb{R}$, with $A$ a closed subset of $X$, can be extended to a continuous function $...
- 121
2
votes
2
answers
2k
views
convergence of the infima of convex functions
Can one give a reference to a result like this:
If a sequence of convex functions $f_{n}$ on $\mathbb{R}$ converges pointwise to a non-monotonic function $f$, then $\displaystyle\inf_{\mathbb{R}...
- 128k
2
votes
1
answer
290
views
Endomorphism rings of infinitely generated free modules generated by idempotents?
Let $M$ be a free right $R$-module. When $M_R\cong R_R^n$ with $n\in \mathbb{Z}_{\geq 1}$, then we know that the endomorphism ring $E={\rm End}(M_R)$ is isomorphic to $\mathbb{M}_n(R)$. We also know ...
- 23
2
votes
1
answer
249
views
linear recurrence inequality
Given two real analytic functions, $g(x)$ and $f(x)$, on an open interval $I\subset \mathbb{R}$, it is obvious that $g(x) \leq f(x)$ does not imply $g_n \leq f_n$ (here $g_n = [x^n] g(x)$ denotes the $...
- 145
2
votes
2
answers
634
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
1
answer
193
views
A question on the partial sum of infinite doubly stochastic matrix
Let $A=(a_{ij})$ be an infinite doubly stochastic matrix. Is the following statement true ?
$$
\lim_{n\to\infty}\frac{1}{n}\sum_{i=1}^n\sum_{j=1}^na_{ij} >0
$$
Any reference or comment on this is ...
- 171
1
vote
0
answers
71
views
Continuous injection of metric ball into Euclidean ball
This is a follow-up to this post.
Suppose that $(X,d_X)$ is a compact metric space with (finite) metric-capacity, defined by
$$
\kappa_X(\epsilon)\triangleq\sup\left\{
k : \exists x_0,\dots,x_k \...
- 5,405
1
vote
1
answer
518
views
Interpolation between Schatten classes
I was wondering if there is an analogue to the classical Riesz Thorin theorem for Schatten classes. I suppose the answer is yes, since Schatten classes are so similar to $\ell^p$ spaces for which the ...
- 305
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
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
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 (...
- 835
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
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
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
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
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
56
views
Extension of this maximisation problem : finite or not?
$\mathcal M$ is the space of real $d\times d$ matrices and $\mathcal S\subset \mathcal M$ is its subset consisting of positive semidefinite elements. We consider the distance the product space $\...
- 1,389
1
vote
0
answers
123
views
Generalization of concave envelope
Let $g:\mathbb R_+\to\mathbb R$ be a measurable function (which could be supposed to be bounded and Lipschitz if required). Let $\mathcal P$ be the collection of probability measures $\mu$ on $\mathbb ...
- 1,835
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
632
views
Does sequence almost sure convergence imply almost sure convergence?
This is a cross-post of this and this questions from math.stackexchange.com since I have not received any response there. I would like to seek help here.
Suppose $x(t,\omega): [0,T]\times\Omega\...
- 2,239
1
vote
1
answer
264
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 ...
- 835
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
0
answers
102
views
Proving that a quantity is positive (Gaussian density and Gaussian CFD)
$\def\R{\mathbb R}$$\def\aha{{1/2}}$$\def\maha{{1/2}}$
Hi everyone,
I am interested in the following problem:
Let consider the heat equation problem:
$$\forall (t,x) \in \mathbb{R}_+\times\mathbb{R}, ~...
- 393
1
vote
1
answer
186
views
Expectation equation, harmonic functions, do not understand why equation is true
Let $u: \mathbb{R}_+ \times \mathbb{R}^d$ be a bounded $C^2$ function whose first and second partial derivatives are uniformly bounded (or, more generally, have at most polynomial growth as $|x| \to \...
- 13
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
166
views
Question abouth Skorokhod representation of random variables (II)
This is a continuation of
Question abouth Skorokhod representation of random variables
Let $\mu$ and $\nu$ be two probability measures on $\mathbb R$ such that
$$\int_{\mathbb R}|x|^pd\mu(x),~ \...
- 1,835
1
vote
2
answers
183
views
Convergence of Sobolev functions near the boundary
Let $B_0(1)$ be the unit ball in $\mathbb R^n$, $n\geq2$. Let $f\in W_0^{1,2}(B_0(1))$, and $W^{1,2}(B_0(1))\ni f_i\to f$ in the sense of $L^2(B_0(1))$-norm, as $i\to \infty$.
Question 1: Can we ...
- 169
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
1
answer
76
views
Proving that a function $f(x,y)$, that is unbounded in every direction, is uniformly bounded below by $1$ outside some disc of large enough radius
I have a smooth function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the curve $(ta,tb)$, then $$\lim_{t\to\infty}f(ta,...
- 765
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
2
answers
231
views
A real root of a cubic equation for a stationary point
Let us consider the quartic polynomial in $x$
\begin{equation}
F(x) = (2 a p +2)x^4+ (6a(1-a)p^2+(6-12a)p-6)x^3
+ p(2(a-2)(a-1)a p^2 + 3(5a^2-9a+2)p +12a-18)x^2
- p^2 ((a-2)(4a^2 ...
- 371
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
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....
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
1
answer
348
views
Baire class 1 and (uncountably many) discontinuities
Consider a function $f:[0,1]\to[0,1]$ which is continuous on a co-meager set $C\subset[0,1]$ and discontinuous on $D=[0,1]\setminus C$. Suppose that $D\cap I$ is uncountable for every open interval $I\...
- 4,459
1
vote
1
answer
368
views
Does the almost sure convergence of absolutely continuous r.v.'s imply the weak convergence of the pdf's in $(L^\infty)^*$?
The following question was asked in a comment at Almost sure convergence vs convergence of probability density functions :
Suppose that $(X_n)$ is a sequence of random variables (r.v.'s) converging ...
- 128k
1
vote
1
answer
224
views
Sum of negative roots of a $5^{th}$ degree monic polynomial
Let $f(x)$ be a $4^{th}$ degree monic polynomial say $f(x) = x^4 + a_1x^3+a_2x^2+a_3x+a_4$ with the property that $a_1<0, a_4>0$ and $a_2<a_3$. They by Descartes' rule of signs we can ...
- 199
1
vote
1
answer
193
views
Quantitative finite speed of propagation property for ODE (cone of dependence)
Consider the following ODE initial value problem
\begin{align*}
&\frac{d}{dt}\Phi(t,x) = \boldsymbol{F}(t,\Phi(t,x)), & t \in [0,T], \ \ x \in \mathbb{R}^N,\\
&\Phi(0,x) = x, & x \in \...
- 839
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
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