All Questions
5,857 questions
3
votes
0
answers
155
views
asymptotics of the largest real root
Suppose you have a family of polynomials
$$P_n(x)=\sum_{k=0}^n(-1)^ka_k^{(n)}x^k$$
for $n=0,1,2,\dots$.
Further assumptions:
(1) the coefficients $a_k^{(n)}$ are recursively related to the $a_j^{(n-1)...
- 43.2k
3
votes
1
answer
93
views
Does $p$ integrability in n-1 dimensions give higher integrability in $n$ dimensions?
Restrict everything to a ball in $n$ dimensions, let $x$ represent the first $n-1$ variables, and $t$ the $n-$th variable. It is obvious by Holder's Inequality that
$$
\int\limits_t\left(\int\limits_x|...
- 391
7
votes
1
answer
306
views
An indicator of a planar subset as an element of a tensor product
Denote $I=(0, 1)$, and let $\mu$ be the Lebesgue measure on $I$. Does there exist a function $f$ on $I\times I$ viewed as an element of the space $L^\infty(\mu\times\mu)$ such that
$$
f^2=f
$$
(that ...
- 452
1
vote
1
answer
114
views
Reference request: regularity of functionals on the space of probability measures
Let $\mathcal M=\mathcal M(\mathbb R^d)$ be the space of finite measures on $\mathbb R^d$, and $\mathcal P=\mathcal P(\mathbb R^d)\subset\mathcal M$ be the space of probability measures. Let $F:\...
- 1,835
1
vote
0
answers
182
views
The real method of interpolation and operator ideals
Let $\overline{A} \mbox{ and } \overline{B}$ be n+1-tuples of Banach spaces and $T:\overline{A}\rightarrow \overline{B}$ be an interpolation operator; let $J(\overline{A})$ and (the corresponding, ...
0
votes
0
answers
140
views
Lipschitz extensions preserving the convex hull of the range
We assume that $X$ is a metric space and that $A \subseteq X$ is a subset. Let $f : A \rightarrow \mathbb R$ be a Lipschitz-continuous function with Lipschitz constant $L$.
By the Kirszbraun theorem, ...
- 5,327
1
vote
0
answers
105
views
Generalize characterization of upper semicontinous functions
Let $X$ be a metric space and denote $f:X \rightarrow \mathbb{R}.$
It is easy to show that the following two statements are equivalent:
$(1)$ For any real number $c$, we have $f^{-1}(-\infty,c)$ is ...
- 623
5
votes
1
answer
229
views
Does this infinite sum arising from separation of variables converge?
This problem came up in a PDE where I used separation of variables to formally get a solution. Now I need to know whether that formal solution is sensible.
Let $a_k >0$ be an increasing sequence ...
- 53
1
vote
1
answer
174
views
Is this function concave or convex? [closed]
let $g_{n,\gamma}(\sigma)$ be the function defined as the following
$$
g_{n,\gamma}(\sigma)= \left(\frac{(\sigma-1)^2 +\gamma^2}{\sigma^2
+\gamma^2} \right)^{n/2} T_n\left( \frac{\sigma(\sigma-1)
+\...
- 1,257
1
vote
1
answer
133
views
Every $W^{1,p}$ has a representative in ACL
Let $\Omega:=(0,1)^n$ and define $ACL_i(\Omega)$ as the set of all Borel functions $u:\Omega\to\mathbb{R}$ such that
$$ t\mapsto u(x_1,\dots,x_{i-1},t,x_{i+1},\dots,x_n) $$
is $AC$ for a.e. $(x_1,\...
- 3,146
2
votes
4
answers
3k
views
Splitting a space into positive and negative parts
Let $V$ be a vector space over $\mathbb R$. A symmetric bilinear pairing on $V$ is a linear map $a: V\otimes V \to \mathbb R$. Because $\mathbb R$ is characteristic not-two, I will freely confuse ...
- 54.6k
1
vote
1
answer
2k
views
Constructing a continuous matrix valued function
Given $d<k$. Let ${\cal M}_{d\times k}(\mathbb{R})$ denotes the set of all $d\times k$ real matrices and suppose that $H:\mathbb{R}^k\rightarrow {\cal M}_{d\times k}(\mathbb{R})$ is a continuous ...
- 133
4
votes
1
answer
197
views
Is the number of intervals you get by slicing the closed region under a nice graph continuous from below?
Let $I$ be a closed interval in $\mathbb{R}$, and let $f:I \to \mathbb{R}$ be a bounded function, smooth except at finitely many points (piece-wise smooth). There are also only finitely many critical ...
- 1,499
2
votes
0
answers
79
views
One-dimensional integral equation uniquely solvable?
I recently met a question similar to this one and I would like to post it here, because I basically found nothing:
We define the (possibly unbounded) integral operator $T:D(T) \subset C_0(\mathbb{R}) ...
- 329
3
votes
1
answer
178
views
Majorization of cyclic products
Let $k,m,n\in\mathbb N$ such that $n>k$. For a partition $\alpha=(\alpha_1,\dots,\alpha_k)\vdash m$ with $\alpha_1\ge\dots\ge \alpha_k>0$ and nonnegative $ x_1,\dots,x_n$ define $x^\alpha :=\...
- 13.4k
3
votes
0
answers
198
views
Characterizing rational functions on $\mathbb{Q}$ in terms of smooth extensions to $\mathbb{R}$ and $\mathbb{Q}_p$
Consider a function $f$ from a cofinite subset of $\mathbb{Q}$ to $\mathbb{Q}$. As established here and here $f$ extending to a smooth function on a cofinite subset of $\mathbb{R}$ is not sufficient ...
- 13.1k
2
votes
0
answers
202
views
Universal chord theorem for curves
Let $\mathrm{\gamma} : [0,1] \to \mathbb{R}^2$ be a piecewise smooth, simple plane curve.
Assume $\gamma(0) = (0,0)$, $\gamma(1) = (1,0)$ and that the slope of the tangent is not $0$ wherever it's ...
- 121
1
vote
0
answers
116
views
Eigenvalues of elliptic operator analytic with respect to a parameter
I am interested when one can say the eigenvalues of an elliptic operator
are real analytic with respect to a parameter. In particular I have seen many people say the first eigenvalue is analytic but ...
- 1,385
0
votes
1
answer
126
views
Comparing tails of polynomial functions
Suppose that $P(x) = a_m x^m + \dots + a_0$ and $Q(x) = b_n x^n + \dots + b_0$ are two polynomials, with $m > n > 1$ and $a_m > b_n > 0$. Suppose that $P$ has $m$ distinct real roots $y_1&...
- 225
2
votes
0
answers
421
views
Derivatives of Minkowski function?
Let $A\subset \mathbb R^n$ and $M$ be the convex hull of the set $A$, e.g., $M:=Conv(A)$. The Minkowski function on $M$ is defined as follows
\begin{align*}
&f: \mathbb R^n \to \mathbb R\\
&f(...
- 51
3
votes
0
answers
92
views
Arithmetic progressions inside non meager sets
If $A \subseteq \mathbb{R}$ is non-meager Borel set, then $A$ contains arithmetic progressions of every finite length. I know that this is false if we do not assume that $A$ is Borel. In particular, ...
- 31
0
votes
2
answers
151
views
Smoothness of a power of smooth non-negative function [closed]
Let $f$ be a non-negative infinitely smooth function on the real line. Is it true that for any constant $\alpha$ the function $f^\alpha$ is infinitely smooth?
- 21.8k
2
votes
2
answers
2k
views
Does the Fourier series of an $L^1$ function converge to the function *weakly* in $L^1$?
Let $f$ be a periodic $L^1$ function, and $S_n[f]$ the $n$-th partial sum of its Fourier series. I am aware that $S_n[f]$ might not converge toward $f$ in $L^1$ (i.e., in norm). However, does it at ...
- 32.5k
2
votes
0
answers
115
views
Does this Sobolev-space like construction have a name?
Take $\Omega \subset \mathbb{R}^n$ arbitrary then define as $X$ the closure of $C^1(\Omega) \cap W^{1,1}(\Omega)$ w.r.t. the norm $f \mapsto \left\lVert f \right\rVert_{\infty} + \left\lVert \nabla f \...
- 305
0
votes
1
answer
491
views
Is this set of function belongs to $L^\infty$?
Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $u\in SBV\cap L^\infty(\Omega)$ be given. We write
$$
Du = \nabla u\lfloor \mathcal L^N + (u^+-u^-)\otimes \nu_u\mathcal H^{N-...
- 679
3
votes
3
answers
595
views
Every positive polynomial with rational coefficients is above a completely Q-factorized nonnegative polynomial ?
This question was originally asked in stackoverflow (https://math.stackexchange.com/questions/103941/every-positive-polynomial-is-above-a-completely-q-factorized-positive-polynomial) but as it has ...
- 3,595
0
votes
0
answers
808
views
Inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$
Consider the inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$. My question is, how can we conclude about the decay properties, support and smoothness of the inverse Fourier transform? I ...
1
vote
1
answer
258
views
Do the sequences with divergent associated $\zeta$-function form a vector space?
Let $V$ be the set of sequences $a \in\mathbb{R}^\mathbb{N}$ such that $\lim_{n\to\infty} a_n = 0$. The set $V$ can be seen as a real vector space, with pointwise addition and scalar multiplication.
...
- 48.9k
2
votes
1
answer
446
views
Approximation of subharmonic functions
Let $u$ be an (upper semi-continuous) locally bounded subharmonic function in a domain in $\mathbb{R}^n$. Let $\chi_\epsilon$ be a standard smoothing kernel, namely
$$\chi_\epsilon(x)=\frac{c_n}{\...
- 21.8k
1
vote
0
answers
331
views
Verifying a claim regarding $H^1$ weak convergence and $L^2$ strong convergence on a surface
I'm reading a paper whose first section discussed $H^1$ maps defined on star-shaped sets, but I got stuck in verifying a claim for quite a while. I'm now thinking the claim is wrong, but it's hard to ...
- 1,350
1
vote
2
answers
226
views
Smooth but non-analytic kernel functions
Does there exist a (stationary) covariance kernel function which is $C^\infty$-smooth but not real analytic? If so, could you please provide an example?
- 8,512
2
votes
0
answers
58
views
Absolute continuity of DOS measure for Schrödinger operators
Kotani theory gives roughly that for ergodic operators there is a certain equivalence between absolutely continuous spectrum and an absolutely continuous density of states measure.
I would like to ...
- 21
1
vote
0
answers
197
views
A certain measure on Banach algebras
According to the comments of Nate Eldredge I did revise the question. In particular I change "$C^{*}$ algebras" to "Banach algebras".
Is there a reference who introduce the following measure on ...
- 366
1
vote
0
answers
334
views
A problem on Markov chains and Dirichlet forms
Let $X$ be a countable set. Let $c:X\times X\to[0,+\infty)$ satisfy
$$c(x,y)=c(y,x)\text{ for all }x,y\in X,$$
$$m(x)=\sum_{y\in X}c(x,y)\in (0,+\infty)\text{ for all }x\in X,$$
$$c(x,x)=0\text{ for ...
- 369
2
votes
0
answers
86
views
when is the average of a function with Gaussian inputs bounded away from zero
Define a function $\phi(x):\mathbb{R}\rightarrow\mathbb{R}$. Consider the expected value function defined as follows
\begin{align*}
\mu(\beta)=E[g\phi
(\beta g)]\quad with \quad g\sim\mathcal{N}(0,1)\...
- 363
12
votes
1
answer
1k
views
Does every strictly increasing, unbounded sequence of positive real numbers contain arbitrarily long, finite subsequences which are "sort of increasing" or "sort of decreasing" (as defined below)?
Is the following true?
If $(x_0, x_1, \dots)$ is a strictly increasing, unbounded sequence of positive real numbers, then there exist fixed $M,N \geq 1$ such that the sequence $(x_0, x_1, \dots)$ ...
- 167
4
votes
3
answers
505
views
An apparently simple question (behaviour at infinity of a power series)
Let $(a_n)$ be a sequence of real numbers, and suppose that the real power series (function) $S(x):=\sum_{n=0}^{\infty} a_n x^n$ converges for every $x\in\mathbb{R}$.
$\mathbf{Question}$: Suppose ...
- 51
2
votes
0
answers
183
views
Fourier series and regular distribution
Assume you have a distribution $K$ on $\mathbb{T}$, the torus, such that $\sum_{n=-\infty}^{\infty} |K(e_n)|^2$ is finite, where $e_n := e^{in\cdot}$ are the Fourier basis. Does this imply that the ...
- 95
3
votes
1
answer
138
views
$M_Λ(A) → A ⊗ M_Λ(C)$
I saw this in here. Let $A$ be a Banach algebra, and let $\Lambda$ be a non-empty set. We denote by
$M_\Lambda(A)$ be the set of $\Lambda\times\Lambda$ matrices $(a_{ij})_{i,j\in\Lambda}$ with entries ...
- 209
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
4
votes
1
answer
260
views
Using wavelets to capture the $L^2$ norm of $f''$
I posted this question on MSE a couple of days ago. Someone gave some hints, which, besides the fact that I struggle to understand them, go in a numerical analysis direction, which I am not interested ...
- 398
1
vote
1
answer
181
views
Interesting property of analytic functions
Let $f:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{C}$, be an analytic application, such that: $f(t)=0\Longleftrightarrow\ t=t_0$.
Is it true that there is an analytic function $g:(t_0-\varepsilon, ...
- 1,759
6
votes
0
answers
396
views
Recurrence Formula for Zernike polynomials
I'm not sure if this is research level, so if this result is known, please excuse the intrusion. I am trying to find a relation between solutions of the Laplacian equation in $4$ dimensions and those ...
- 263
3
votes
1
answer
334
views
Does this function have any exponential growth?
Has anyone seen any function of the following type?
$$
g(x):=\sum_{n=0}^\infty \frac{x^n}{n!}\exp\left(-\frac{a^n}{x}\right),\quad a>1,x\ge 0.
$$
The question is whether for some constant $c>...
- 1,649
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
1
vote
3
answers
2k
views
$L_p$ space embedding (reference request)
There is a result in the wikipedia article about $L_p$ space embedding:
a. Let $0 ≤ p < q ≤ ∞$. $L_q(S, μ)$ is contained in $L_p(S, μ)$ iff $S$ does not contain sets of arbitrarily large measure;...
user14319
3
votes
2
answers
4k
views
Matrix products under which the determinant behaves multiplicatively
The determinant behaves multiplicatively with respect to the usual matrix product
$$
\det(AB) = \det(A)\det(B),
$$
and also with respect to the Kronecker (or tensor) product of square matrices
$$
\...
- 403
3
votes
1
answer
210
views
Using $H^2$ to find a cyclic vector in $\ell^2$
Let us consider $\ell^p(\mathbb{Z})$. We know that the vector $e_1=(\dots,0,0,1,0,0,\dots)$ is a cyclic vector in sense that given the right shift operator $S:(\dots,x_0,x_1,x_2,\dots)\mapsto (\dots,...
- 31
-3
votes
1
answer
230
views
Homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1) [closed]
Can one construct homeomorphism between (-1,1)×[-1,1) and [-1,1]×[-1,1)?
If so, please show me how to construct it.
- 3
0
votes
1
answer
705
views
Continuity of a Functional
A certain functional $T$ is defined as:
$$T(F)=\int_{(0,1)}F^{-1}(s)M(ds)$$
where $M$ is a probability measure with support $[\alpha,1-\alpha]$,for $\alpha>0$.
The result that above functional is ...
- 111