All Questions
1,490 questions with no upvoted or accepted answers
5
votes
0
answers
147
views
Projection of a function $f\in L^1(\Omega)$ onto a finite dimensional subspace
Suppose $\Omega \subset \Bbb R^n$ be a domain such that $|\Omega|<\infty$, $f\in L^1(\Omega)$. Let $Y= \text{span}\{g_1,\dots, g_k\}$.
Is there a characterization of the set of projections of $f$...
- 1,245
5
votes
0
answers
218
views
A differential operator analogy of certain fact in real analysis of smooth functions
Let $E\to M$ be a smooth vector bundle over a smooth manifold $M$.
Let $D$ be a differential operator defined on the space $\Gamma(E)$ of smooth sections of $E$. We fix a section $s\in \Gamma(E)$.
...
- 356
5
votes
0
answers
273
views
Is there any geometrical/homological intuition behind symmetrized gradient?
The gradient/differential/exterior differential/divergence/curl are all strictly related first order differential operators. As far as I understood, they are the base of (co)homological theories in ...
- 980
5
votes
0
answers
262
views
Weighted reverse Poincare inequality over a function class of neural networks
We consider a probability measure supported on the whole space $\mathbb{R}^n$, whose density is $p(x)$. We also consider a (one-layer) neural network function class $\mathcal{C}$, whose elements have ...
- 325
5
votes
0
answers
268
views
An integral trigonometric inequality
Problem 1. Suppose that $\xi>0$ and $\sin(2\xi)<0$.
Let $$b_\nu=(N-v+1)\tfrac{\pi}{\xi}\quad\mbox{for}\quad\nu=1,\dots,N:=\big[\tfrac{\xi}{\pi}\big].$$
Prove that
$$\mathrm{sgn}(\sin \xi)\...
- 4,535
5
votes
0
answers
696
views
Cadlag and adapted (usual conditions assumed) imply progressively measurable (related to Protter's Stochastic Calculus theorem 6)
Hi maybe someone on here can help me. I have been stuck on showing this fact for several months. I asked this question in the stack exchange and it has floated around for a while but to no avail.
...
- 151
5
votes
0
answers
83
views
A subadditive bijection on the positive reals
I posed some time ago this question on MSE, which I am proposing also here since we got no definitive answer.
Question. Does there exist a subadditive bijection $f$ of the positive reals $(0,\infty)...
- 1,511
5
votes
0
answers
166
views
global estimate for biharmonic function
My question is inspired by the work of Lamm and Rivière : Conservation Laws for Fourth Order Systems in Four Dimensions
Here is the setting of the problem. Let $u\in W^{2,2}(B(0,1),S^n)$, where $B(0,...
- 914
5
votes
0
answers
195
views
What are the possible $L^{\infty}$ closures of an integration-invariant linear subspace of $C([0,1],\mathbb{R})$?
Let $S \subset C([0,1],\mathbb{R})$ be an $\mathbb{R}$-linear subspace that is invariant under the $T := \int_0^x$ integration operation: if $g \in S$ then the function $f = Tg$ defined pointwise by $...
- 13.8k
5
votes
0
answers
349
views
Tietze extension theorem for lower semi continuous functions
On the Tietze extension theorem, if instead of a continuous function "f" we use a lower semi continuous function on a closed subspace of a metric space, is the theorem correct? I mean, can we extend ...
- 179
5
votes
0
answers
240
views
The boundary integral of a harmonic function
Let $\Omega\subset\mathbb{R}^{n}$ be a bounded
domain with smooth boundary and $f$ be a harmonic function on $\Omega.$
It is known that
$$
\limsup_{\varepsilon\rightarrow0^{+}}\intop_{\partial\Omega_{...
- 53
5
votes
0
answers
280
views
Proving that a certain function (related to a volume of a region) has a bounded derivative
Let $F$ be a homogeneous form in $n$ variables with integer coefficients.
Let $D$ be a closed box in $\mathbb{R}^n$ (product of closed and bounded intervals). Assume that the partial $\partial F/\...
- 3,625
5
votes
0
answers
313
views
Uniqueness of a SDE with non-negativity constraint
I am working on the following SDE (but we will dealing only with deterministic object: $\omega\in\Omega$ is fixed):
\begin{equation}\label{sde}%sde
x_t=\underbrace{\xi_0+\int_0^tb(s,x_s)\,ds+\int_0^t\...
- 779
5
votes
0
answers
122
views
How to solve this operator equation numerically?
I would like to know how one solves Sturm-Liouville problems on $(0,\infty)$ NUMERICALLY for the eigenvalues that are of the form
$$-f''(x)+\frac{1}{\sinh(x)^2}f(x)=\lambda f(x).$$
So even if there ...
- 501
5
votes
0
answers
411
views
Partition of the unit interval into uncountably many sets of full outer measure
Is it possible to construct an uncountable partition $(A_\delta)_{\delta\in[0,1]}$ of the unit interval $[0,1]$ such that $\mu (A_\delta)=1$ for each $\delta\in[0,1]$? ($\mu$ stands for the outer ...
- 931
5
votes
0
answers
170
views
operation on Ord., Exp., Dri. generating functions
The ordinary, exponential and Dirichlet generating functions for a sequence $\{a_n\}_{n\geq0}$ are given (at least on the formal side), respectively, by
$$F(x)=\sum_{n\geq0}a_nx^n, \qquad E(x)=\sum_{n\...
- 43.2k
5
votes
0
answers
116
views
For $f$ a polynomial, does strict convexity of $\log f(e^s)$ imply that the second derviative of $\log f(e^s)$ has no zeros?
Let $f(t)$ be a monic real polynomial such that $f(t) > 0$ for all $t \ge 0$. Suppose that $\log f(e^x)$ is strictly convex on $\mathbb{R}$, i.e.
$f(s^2) \cdot f(t^2) > f(st)^2$
for all $s, t \...
user94803
5
votes
0
answers
431
views
Points of continuity of a lower semicontinuous function have non empty interior
Let $X\subset \mathbb R^d$ having non empty interior and let $f:X\to\mathbb{R}$ be lower semicontinuous.
I know that the set of discontinuities of such a function is contained in a meager set, and ...
user17697
5
votes
0
answers
199
views
measure of an image under an argmax function
I am trying to find any techniques to analyze the measure of an image of a set under an argmax function.
For example, let $\Omega\subset\mathbb{R}^n$ be compact and $\phi:\Omega\to\mathbb{R}$ be ...
5
votes
0
answers
247
views
Involutions on $[0,1]$ given by power series (related to probability generating functions)
Let $A$ be a function from $[0,1]$ to $[0,1]$. $A$ is an involution if $A(A(x))=x$ for all $x\in[0,1]$.
Which involutions $A$ exist such that $A(x)=\sum_{k=0}^\infty a_k x^k$ with $a_0=1$ and $a_k\...
- 3,937
5
votes
0
answers
364
views
Version of Stone Weierstrass for functions not vanishing at infinity
I am trying to see what is known about uniform density of function spaces in $C(\mathbb{R}^n)$ or $C_b(\mathbb{R}^n)$ (bounded continuous functions on $\mathbb{R}^n$). By uniform density, I mean ...
- 51
5
votes
0
answers
258
views
Equidistribution of spheres in $\mathbb{R^2}/\mathbb{Z^2}$
Let $\mathbb{H^2}$ be the hyperbolic upper half place, and let $\Gamma$ be a lattice in $SL(2,\mathbb{R})$ acting on $\mathbb{H^2}$. A proof of the equidistribution of spheres on $\mathbb{H^2/\Gamma}$ ...
- 528
5
votes
0
answers
271
views
Is every $C^1$-domain which is homeomorphic to the unit ball in $\mathbb{R}^d$ Lipschitz equivalent to the unit ball?
Suppose we have a domain $\Omega\subset \mathbb{R}^n$ which is homeomorrphic to the unit ball $B(0,1)\subset \mathbb{R}^n$ and such that $\partial \Omega$ is of class $C^1$ (technically, this means ...
- 729
5
votes
0
answers
252
views
Local version of the Hardy-Littlewood-Sobolev theorem for Riesz potentials: $\|I_\alpha(f)\|_{L^q} \le C \|f\|_{L^p}$?
Recently, I have been studying the properties of the Riesz potential
$$
I_\alpha(f)(x) = c_{d,\alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}} \, dy.
$$
The classical Hardy-Littlewood-Sobolev ...
- 632
5
votes
0
answers
183
views
On Rényi entropy/divergence
The Rényi entropy for a probability density function $f$ with dominating measure $\mu$ of order $\alpha>0$ is defined as
$$H_\alpha(f)={1 \over {\alpha-1}}\log\int f^\alpha d\mu.$$
If $f$ is ...
- 599
5
votes
0
answers
195
views
Characterizations of an exotic measure on the open sets in the circle $S^{1}$
Suppose that $U\subseteq S^{1}$ is open where $S^{1}=\{z\in\mathbb{Z}:|z|=1\}$. Then define $\mu_{n}(U)=\max_{t\in S^{1}}\frac{1}{n}\cdot|\{k\in\{1,...,n\}|t\cdot e^{\frac{2\pi ik}{n}}\in U\}|$. ...
5
votes
0
answers
423
views
Cusp point and straightness of a smooth curve.
I have a smooth curve of length $L$ with a single cusp point $P$ occuring at length $s = L_P$. Let the curve in arc length parametrization be $\alpha_t(s) \equiv (X_t(s),Y_t(s)) $. They are actually a ...
- 698
5
votes
0
answers
310
views
Reference for Hodge decomposition
Let $U$ be a bounded open subset of $\mathbb{R}^d$ with Lipschitz boundary, and $g \in L^2(U,\mathbb{R}^d)$ be a solenoidal vector field (i.e. $\nabla \cdot g = 0$). Then $g$ can be written in the ...
- 562
5
votes
0
answers
913
views
Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?
Preliminary Definitions
Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...
- 103
5
votes
0
answers
1k
views
Boundary of an open, bounded and convex set in $\mathbb{R} ^n$
Let $U$ be an open, bounded and convex set in $\mathbb{R} ^n$. Since $\partial U$ is a rectifiable set it follows that up to a set of $H^{n-1}$-measure zero $\partial U$ is contained in a countable ...
5
votes
0
answers
143
views
Error of midpoint method for differentiable functions
Is it the case that for every differentiable function $f$ on $[0,1]$ (with finite one-sided derivatives at the endpoints), the midpoint method of estimating $\int_0^1 f(x) \: dx$ has error $o(1/n)$?
...
- 19.7k
5
votes
0
answers
428
views
Is there an appropriate weighted Sobolev space to include exponential map and projection map?
Observe that given a non negative function
$\omega: \mathbb{R^2} \rightarrow [0, \infty)$, we can define the weighted
$L^{p}(\mathbb{R}^2, \omega) $ spaces. They are measurable functions
$f: \...
- 3,245
5
votes
0
answers
596
views
Literature on Exponential of a Quadratic Form
Let $A_i$, $i=1,\dots,L$ be given $N\times N$ positive definite real matrices. I have this sum of exponentials
\begin{align}
f(\mathbf{x})=\sum_{i=1}^{L}\operatorname{exp}(-{\mathbf{x}^T\mathbf{A}_i\...
- 1,421
5
votes
0
answers
270
views
Differential operators that preserve real-rootedness
Is there some description of polynomial differential operators, $\mathcal{D}=\sum f_i(x) D_x^i$ such that, if $h$ is a polynomial all of whose roots are in $[0,1]$, then so are all the roots of $\...
- 156k
5
votes
0
answers
275
views
stochastic control / geometric mean
Consider the following problem:
Given $\Omega$ and $U$ two symmetric definite positive matrices, choose a matrix $K$ to minimize the expectation $x' \Omega x + x'K'UKx$ when $x$ follows the invariant ...
- 427
5
votes
0
answers
760
views
two versions of the nested interval property
There appear to be two different nested interval properties for the reals with the punchline "... then the intersection of the intervals is non-empty", and I'd like to know their respective histories (...
- 19.7k
5
votes
0
answers
583
views
Cohomology of Real algebraic Varieities
I understand Serre's GAGA theorem as saying that equations over algebraically closed fields can be studied equally from the algebraic and analytic points of view, at least with respect to cohomology.
...
user2529
5
votes
0
answers
369
views
Independent Events Inducing Probability Measures
Let $\mathcal{F}$ be a sigma algebra over $\Omega$ and $M$ the set of all probability measures on $\mathcal{F}$. Let $\mathcal{C}$ be some collection of pairs $(A,B)$ with $ \ A,B\in\mathcal{F}$. Now ...
- 4,952
5
votes
0
answers
558
views
continuous selection of a multivalued function?
The title is probably a bit too broad. I frequently encountered the following situation: suppose I need to select a solution to a linear equation from a compact set. Can I make this selection ...
- 1,839
5
votes
1
answer
829
views
Clarke generalized Jacobian of an inverse function
For a Lipschitz function $f: X \rightarrow X$, Clarke's generalized Jacobian at $x$ is defined as the convex hull of the following set:
$$\delta f (x) = \text{convex hull} \left \{\lim_{x_i \...
- 301
4
votes
0
answers
223
views
+50
A question in spin geometry in dimension 8
$\DeclareMathOperator\trace{trace}\DeclareMathOperator\End{End}\DeclareMathOperator\Trace{Trace}$This is to understand a very specific isomorphism in dimension $8$. In dimension $4$ for a spin$^c$ ...
- 954
4
votes
0
answers
140
views
Condition under a function is uniquely identifiable by the supremum values
Let $f(x),g(x)$ be two real-valued functions on $\mathbb{R}$ and $h(x,y)$ be a real-valued function on the plane. We can assume continuity (maybe piecewise differentiability also) of these functions. ...
- 271
4
votes
0
answers
198
views
When a null uncountable set can be image of some increasing function with discontinuities on a dense countable set
Consider the following result:
A: Let $f:D \to \mathbb R$ be an increasing function with discontinuities on a dense countable subset of $D$ such that the jump values sum to $\mu(D)$, where $D$ is a ...
- 303
4
votes
0
answers
88
views
A question concerning regularly varying functions
In my work I need some results about regulary varying functions, which I only have a very vague understanding.
A strongly related reference I found is "On the Existence of a Regularly Varying ...
- 119
4
votes
0
answers
158
views
Measurability of $L^{p}(L^{q})$ integrable functions
Let $ F: \mathbb{R}^n \times (0,\infty) \to \mathbb{R}$ be a function with the property that
$
\int_{\mathbb{R}^n} \big[ \int_0^\infty |F(x,r) |^q \, dr \big]^{p/q} \, dx < \infty
$
In addition we ...
- 41
4
votes
0
answers
116
views
Lipschitz extension of a flow can still be a flow?
Consider a map $\Phi: [0,T] \times \mathbb{R}^d \to \mathbb{R}^d$, and assume that there exists a set $U \subset \mathbb{R}^d$ such that $\Phi\rvert_{[0,T] \times U}$ is $L$-Lipschitz. It is well ...
- 697
4
votes
0
answers
208
views
Extract this constant term
Given a Laurent polynomial $F$ in the variables $\mathbf{t}=(t_1,\dots,t_n)$, let $CT_{\vec{\mathbf{t}}}\,F$ denote its constant term.
For example, $CT_{t_1,t_2}((8t_1-\frac1{3t_1t_2})(5t_1t_2+t_2^2+\...
- 43.2k
4
votes
0
answers
114
views
Find at least one square-boxed subcontinuum
Recall that a plane continuum is a closed, bounded,
connected subset of the plane.
It is non-degenerate if it contains at least two points.
(We may sometimes just say "continuum" even if
we ...
- 1,375
4
votes
1
answer
287
views
Local maxima of the sum of Gaussian functions in *multiple dimensions* are always strict local maxima - prove/disprove/prove conditionally?
This is a follow up of the question in one dimension, that asked to show that the all the maxima of the sum of Gaussian
$$f_n(x):= \sum_{i=1}^{n}e^{-(x-x_i)^2}, x_1 < x_2 < \dots < x_n$$
are ...
- 1,467
4
votes
0
answers
130
views
A "counterbalancing" trigonometric sum inequality
Is it true that
$$s_{n,k}:=\sum_{j=1}^{n-1} r_{n,k,j}
<0$$
for all natural $n\ge2$ and all natural $k\in\{1,\dots,n-1\}$,
where
$$\text{$r_{n,k,j}:=\frac{x_{n,2j}}{y_{n,k,j}\;y_{n,k+1,j}},\quad$
$...
- 128k