All Questions
1,549 questions with no upvoted or accepted answers
3
votes
0
answers
205
views
Uniqueness of the inverse kernel of an invertible integral transform
For any invertible integral transform $T$ of kernel $K$ that maps a function $f$ to the function $\varphi$ such that
$$\varphi(s)=\left[T\left\lbrace f\right\rbrace\right](s)=\int_a^bK(x,s)f(x)dx$$
...
- 139
3
votes
0
answers
107
views
Solving for a monotone function - contraction operator for functions?
I want to solve a problem for an increasing function $g(x)$, for $x \in [0,1]$ and with $g(0) = 0$ and $g(1) = 1$.
The solution will be solution to the following equation
$\forall x$, $f_1(x) = f_2(g(...
- 151
3
votes
1
answer
490
views
Space derivative of flow of ODE with monotone source
Consider the ODE
$$
\begin{cases}
\partial_t\Phi(t,x) = f(t,\Phi(t,x)), &\ t>0, \ x \in \mathbb R \\
\Phi(0,x) = x, & x \in \mathbb R
\end{cases}
$$
where $f$ is function which is a non-...
- 109
3
votes
0
answers
159
views
Characterising functions of bounded variation by their modulus of continuity
Given a a.e. finite measurable function $ \mathbb R^n \to \mathbb R$, define the essential modulus of continuity, $M(f): \ \mathbb R^n \times \mathbb R+ \to \mathbb R$ by
$$
M(f) (x, e)=\sup_{m(A) = 0}...
- 2,069
3
votes
0
answers
72
views
Random Two-Player Asymmetric Game
About half a year ago I asked a question on MSE about a random two player game. At the time, the question received some attention and some progress was made, but was not resolved completely. I have ...
- 181
3
votes
0
answers
53
views
Controlling a Schwartz kernel near the diagonal
Let $D$ be a first-order elliptic differential operator that is essentially self-adjoint on $L^2(\mathbb{R}^n)$. Consider the operator $(D+i)^q$ acting on $L^2(\mathbb{R}^n)$ with domain $C_c^\infty(\...
- 1,903
3
votes
0
answers
135
views
Boundary behavior of $H^2_0(\Omega)$ functions
If $u \in H^2_0(\Omega)$, is it true that $$u(x) \le C\mathrm{dist}(x,\partial \Omega)^2$$ as $x$ goes to the boundary?
user123672
3
votes
0
answers
132
views
A new characterization of Riemann-Integrability
Question :
Given two bounded functions $\,f:[a,b]→\mathbb{R}\,$
and $\;θ:(0,b−a]→[0,1]$.
Suppose $\,P:a=x_0<x_1<⋯<x_n=b\;$ is a partition of $\,[a,b]$.
Let $\,Δx_k=x_k−x_{k−1}\,$ and $\,\...
- 31
3
votes
0
answers
200
views
Largest weak(-like) topology with respect to which continuous functions are dense in the space of Borel functions
Let $X$ denote the space of bounded Borel functions $f\colon [0,1] \to \mathbb{R}$. Let $M$ denote the space of finite Borel measures on $[0,1]$. What is the largest family $F \subset M$ such that for ...
- 1,277
3
votes
0
answers
163
views
Perturbation theory compact operator
Let $K$ be a compact self-adjoint operator on a Hilbert space $H$ such that for some normalized $x \in H$ and $\lambda \in \mathbb C:$
$\Vert Kx-\lambda x \Vert \le \varepsilon.$
It is well-known ...
user136577
3
votes
1
answer
851
views
Convergence of a certain sum
Suppose $ g_i: [0, 1] \to \Bbb R$, $i\in\Bbb N$, are $C^1$ functions and that there is some $c > 0$ such that for every $0 < \epsilon < c$, the functions
$$
s(\epsilon)_i := \sum_{k=0}^i {\...
- 2,069
3
votes
0
answers
55
views
system of Euler like ode's
I am interested in solving some linear elliptic system like
$$ -\Delta \phi(x) + \frac{C_1 \psi(x)}{|x|^\beta} =f(x)$$
$$ -\Delta \psi(x) + \frac{C_2 \phi(x)}{|x|^\alpha} =g(x)$$ in $B_1$ (the ...
- 1,385
3
votes
0
answers
235
views
Chern number of projection-Topological magic in physics
I enclosed a computation from a well-known paper in the field of mathematical physics where the Chern number of the first Landau level is computed (the result claimed is $-1$) and the full paper can ...
- 31
3
votes
0
answers
383
views
What tools from functional analysis are relevant to investigating this operator?
Given a sequence of continuous functions ${{f_n}}$, define the varicontinuity index $$V({f_n}): \mathbb{R} \to [0, \infty]$$ by
\begin{split}
V({f_n})(x) &=\sup \Big\{\varepsilon > 0\big|\; \...
- 2,069
3
votes
0
answers
97
views
Notions of $\beta$-Hölder smoothness when $\beta\in (1,2]$: are they equivalent?
I posted the following question on StackExchange a few months ago (https://math.stackexchange.com/questions/2898620/notions-of-beta-h%C3%B6lder-smoothness-when-beta-in-1-2-are-they-equivalent), but ...
- 31
3
votes
0
answers
223
views
Sobolev space under Mellin transform
The Mellin transform is known to be an isomorphism see wikipedia
between $M:L^2(0, \infty) \rightarrow L^2(-\infty, \infty)$
where $$M(f):= \frac{1}{\sqrt{2\pi}}\int_0^{\infty} x^{-\frac{1}{2} + is} ...
user127612
3
votes
0
answers
106
views
Dependency of the Wasserstein distance on the parameter: a differential perspective
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$. Consider the $2-$Wasserstein distance below:
$$W_2(\mu,\nu)^2 \quad := \quad \inf_{\...
- 345
3
votes
0
answers
169
views
Why is the smallest (fractional) absolute central moment of a Gaussian distribution almost at $\sqrt{3}/2$?
Let $X$ be a standard normal random variable. What $\alpha$ minimizes $E|X|^{\alpha}$?
Numerically, $\alpha$ turns out to be equal to $\sqrt{3}/2-\varepsilon$ where $\varepsilon$ is of the order $10^...
3
votes
0
answers
181
views
Refined f- and h-partition polynomials of the associahedra
The f-polynomials, $F_n(x)$ (cf. OEIS A126216, A033282, and A086810), and the h-polynomials, $H_n(x)$ (cf. A001263, the Narayana polynomials), of the family of simple convex polytopes the associahedra ...
- 10.5k
3
votes
0
answers
172
views
Nekrasov Partition function and the leading term of Prepotential
I've got a pretty basic question from the paper SEIBERG-WITTEN THEORY
AND RANDOM PARTITIONS, https://arxiv.org/pdf/hep-th/0306238.pdf.
In (4.25) the author expressed the partition function ...
- 425
3
votes
0
answers
504
views
Continuity of the conditional expectation
Consider the conditional expectation of $x$ given $y$,
$$
\mathbb{E}(x | y)
$$
where $x \in X$ and $y \in Y$ where $X, Y$ are Hilbert spaces (possibly infinite dimensional).
Question :
I am looking ...
- 252
3
votes
0
answers
104
views
Rank relation to maximum subpermanent and subdeterminant?
Given a $\pm1$ matrix $M$ of rank $r$ let the largest subdeterminant be $d$ and let the largest subpermanent be $p$.
Are there relations/bounds that connect $r$, $d$ and $p$?
Are there geometric and ...
- 13.9k
3
votes
0
answers
240
views
About optimizing decay rate of Fourier transforms?
Suppose we have a density function $f(t)$ of a random variable and $f \in C^1(R)$. If characteristic function of $f$ is $\phi_f(x) \asymp O(x^{-\beta})$ and $f$ satisfies some restrictive conditions ...
- 31
3
votes
0
answers
137
views
Can monoids of "continuous words" be realized as initial monoid objects?
Whenever $X$ is a set, write $X^*$ for the monoid freely generated by $X$. The elements of $X$ are, of course, words in the letters $X$. When $X$ is finite, there also seems to be a great many ...
- 3,793
3
votes
0
answers
115
views
First order linear ODE with some decay condition
In Kronheimer [1, p.183], a certain statement is made of which I extract the following special case.
Let $\alpha:\mathbb{R}\to \mathrm{Mat}(n\times n,\mathbb{C})$ be smooth and suppose that there ...
- 31
3
votes
0
answers
105
views
Can one do better than using general purpose determinant algorithms when using the Fisher-Kasteleyn-Temperley method for perfect matchings?
Questions.
(numerical.generalPfaffian) Is it proved anywhere that in general it is not easier0 to calculate the determinant (over $\mathbb{Q}$) of the skew-symmetric signed adjacency matrix defined ...
- 6,051
3
votes
0
answers
155
views
Does one need Second Order Logic to do Calculus?
Second order Logic (SL) is required to define the Reals (otherwise they were at most countable). Based on this, SL is involved in the definition of the limit operator, as the 'core' of all Calculus.
...
- 39
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
3
votes
0
answers
109
views
Weak convergence of series representing the log characteristic function
Disclaimer. I already asked this question on math.stackexchange.com without any answers or comments as of yet.
In which weak sense does the series representation of the log-characteristic function ...
- 101
3
votes
0
answers
77
views
Elliptic operator applied to the distance function
Let $\Omega$ and open subset of $\mathbb{R}^n$. Let us consider the following operator:
$$
\Delta_A (u)\, \, \colon= \text{div}(A \nabla u ), \qquad u \in C^{\infty}(\Omega)
$$
where $A(x)$ is a ...
- 823
3
votes
0
answers
63
views
Is the collection of Schur convex functions sequentially compact?
We know in ROCKAFELLAR's convex analysis chap 10 that the collection of uniformly bounded convex functions on compact set is sequentially compact. I wonder if it is still true for the collection of ...
- 185
3
votes
0
answers
148
views
When a PDE add a Laplacian term
I went to a talk today and the speaker mentioned when you add a Laplacian term to a PDE, the Laplacian will dominate (in what sense?), which I don't quite understand. I know this question is a bit ...
- 39
3
votes
0
answers
223
views
Does the divergent solution of this equation :$f'=e^{f^{-1}}$ of Gevrey type and could be Borel summation applied for it?
This question was asked here in MO by someone seeking for the solution of the functional -differential:$f'=e^{f^{-1}}$ not exactly an O.D.E, and again here seeking for the growth rate of it solution ...
user99666
3
votes
0
answers
280
views
Helmholtz-Hodge decomposition
I have a question regarding a decomposition of a vector field. So fix $ 1<p<\infty$ and let $ \Omega$ denote a smooth bounded domain in $ R^N$. Now let $ F $ denote a smooth vector field $F:\...
- 1,385
3
votes
0
answers
214
views
Is flatness of Wigner Ville Distribution of error function in Fourier Approximation possible? Is it required?
For a real valued function $f(t)$ I want to check the information left, after taking a Fourier partial sum/integral. Let $\hat{f}$ be its Fourier transform and let $$e_{\omega}(t) = f(t) - \int\...
- 698
3
votes
0
answers
177
views
Interesting stipulation about completely monotone functions
This question relates to a question I asked here. I thought of a well thought out generalization which appears to follow in the situations I've encountered it. I tried to generalize the answer ...
user78249
3
votes
0
answers
232
views
When polynomial f(t+1/t) can be factored as g(t)·g(1/t)?
In venue of my old question When polynomial f(x^2) can be factored as g(x)·g(-x)? and this recent answer to a different question, I wonder:
How to characterize polynomials $f(x)$ with rational ...
- 34.3k
3
votes
0
answers
235
views
Is this "differentiation map" uniquely determined by these properties?
Let $A$ be the set of all real-valued functions having their domain a subset of $\Bbb R$ which are at least differentiable on an open set, and for $f \in A$, let $U_f$ be the largest open set on which ...
user101261
3
votes
0
answers
97
views
Dimension of a graph
Is it true that the graph of a function $\varphi:\mathbb [0,1]\to\mathbb R$ which is discontinuous at each $x$, has lower box dimension strictly greater than one?
If not, what extra condition do we ...
- 2,135
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
0
answers
1k
views
Concentration of Sub-exponential random Vectors
I was wondering if there is a similar definition of multivariate sub-exponential distribution as the sub-Gaussian case.
Specifically, a random vector $X \in \mathbf{R}^d$ is sub-Gaussian if
\begin{...
- 1,127
3
votes
0
answers
588
views
Time-dependent Sobolev spaces
Given the Sobolev space $H^1((a,b);H^2(\mathbb{R}))$ and a function $g$ in that space. Consider now another function $f \in C_c^{\infty}((a,b) \times \mathbb{R}).$ Then
for almost any $t \in (a,b)$ we ...
- 31
3
votes
0
answers
267
views
Link between standard convolution and Day convolution
There is a notion of convolution product between two functors called "Day convolution". (See here nlab for instance) I know that the definition of this notion is inspired by the discrete convolution $$...
- 1,017
3
votes
0
answers
160
views
integral with simple approximation. But why?
I have the following integral
$$g(x_0) = \int_{-\infty}^{\infty} \frac{1}{(1+x^2)^{3/4}}\frac{1}{(1+(x+x_0)^2)^{3/4}}\exp\left(-\frac{2\pi i}{\lambda}\left[\sqrt{1+x^2}-\sqrt{1+(x+x_0)^2} \right] \...
3
votes
0
answers
848
views
Does a bounded convex domain has one smooth boundary point?
In the study of analysis and geometry of a bounded domain, its boundary regularity is important. For example, it is known that a bounded convex domain has Lipschitz bounday. This implies that a ...
- 285
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 ...
- 12.5k
3
votes
0
answers
155
views
Dirichlet series decomposition of arbitrary function
Originally asked on MSE here: https://math.stackexchange.com/q/1780149/52694
Analytic functions can be decomposed into a Taylor series, and furthermore the Taylor series converges back to the ...
- 4,897
3
votes
0
answers
306
views
Metric analogues of bounded variation
A function $f:[a,b]\to\mathbb{R}$ is said to be of bounded variation if
$$ \sup_I \sum_{i=1}^n |f(x_i)-f(x_{i-1})| \le V $$
for some finite $V>0$, where the supremum is over all finite partitions
$...
- 6,541
3
votes
0
answers
161
views
Inverses of probability generating functions: positivity of derivatives
Let $\mathcal{G}$ be the set of probability generating functions of random variables taking positive integer values, considered as functions on $[0,1]$.
So $G\in\mathcal{G}$ can be written $G(x)=\...
- 3,937
3
votes
0
answers
165
views
Extreme derivatives in Baire class 1
In the 1994 volume of "Differentiation of Real Functions" A. Bruckner poses the following problem (p.41):
"Find necessary and sufficient conditions on a continuous function $F$ that its Dini ...
- 277