All Questions
1,533 questions with no upvoted or accepted answers
2
votes
0
answers
45
views
Maximizing the sum of a decreasing function over a separated set
Fix $d>0$. Let $f:[0,\infty)\to(0,\infty)$ be a decreasing function of $x$ for $x\geq d$. Let $S_d\subset\mathbb{R}^n$ represent a set of points containing the origin such that the (Euclidean) ...
- 21
2
votes
0
answers
63
views
Sensitivity of a function against its random arguments
Let $g:R^{n+m} \to R$ be a deterministic function of some independent random variables $x_1,\ldots,x_n$ with distributions $f_{x_1}(x),\ldots,f_{x_n}(x)$ and some deterministic variables $z_1,\ldots,...
- 482
2
votes
0
answers
385
views
(Quasi) convexity of separately convex homogeneous functions
Consider a function $f:\mathbb{R}^n_{\geq 0}\rightarrow \mathbb{R}$ that is separately convex, i.e. such that $\frac{d^2f}{dx_i^2}\geq 0$ for all $i\in \{1,\dots n\}$. Assume also that $f$ is ...
- 389
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
279
views
Can a bounded open set in $R^n$ be always approximated from outside with a finite union of dyadic cubes?
Suppose we have a bounded open set $S$ in $R^n$. Consider the collection of closed dyadic cubes $C_k$'s (https://en.wikipedia.org/wiki/Dyadic_cubes). I was wondering if there always exists a finite ...
- 131
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
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
2
votes
0
answers
60
views
A question about Kolmogorov Superpositions
D.A. Sprecher showed (https://www.researchgate.net/profile/David_Sprecher2/publication/243052898_A_Representation_Theorem_for_Continuous_Functions_of_Several_Variables/links/554929f20cf2ebfd8e3ad956....
- 371
2
votes
0
answers
254
views
Prove this function is increasing
I'm stuck in showing that the following function is increasing over the domain $\left[0,\hat{b}\right]$:
\begin{eqnarray}
\Pi\left(z\right) & = & \int_{0}^{\phi\left(z\right)}\int_{x}^{\bar{x}...
- 21
2
votes
0
answers
110
views
If $f_j\to f$ in $L^1(\Bbb R^n)$ then $Tf_j\to Tf$ in $L^{1,\infty}(\Bbb R^n)$
Let's define $A:=\{f\in L^1(\Bbb R^n)\cap L^2(\Bbb R^n)\;:\;f\;\mbox{has compact support}\}$. So $A$ is dense in $L^1(\Bbb R^n)$.
Given then $f\in L^1(\Bbb R^n)$; by density there exists $\{f_j\}_j\...
user76025
2
votes
0
answers
86
views
I have an embedding $\iota$ between two Hilbert spaces and want to know if $\iota\iota^\ast$ is something simple like an orthogonal projection
I'm reading A Concise Course on Stochastic Partial Differential Equations. In Proposition 2.5.2 the authors define the notion of a cylindrical $Q$-Wiener process $W$. It turns out that $W$ is just a $...
user74319
2
votes
0
answers
55
views
Does there exist $\lambda_{\sigma(1)}$ such that $\mu(A\cap\{\lambda_{\sigma(1)}\neq0\})>0$?
Let $(\mathcal F,\Omega,\mu)$ be a measure space and $A\subseteq\Omega$ such that $\mu(A)>0$. Let $L^0$ be the space of all measurable functions.
We say $X_1,\ldots,X_k\in(L^0)^d=\prod_{k=1}^dL^0$...
- 85
2
votes
0
answers
79
views
Compute Mixed Volume with Respect to Some Regular Sets
Let $( \mathbb{R}^n, \mathcal{B}, \gamma)$ be a measure space where $\mathcal{B}$ is the Borel sigma algebra and $\gamma$ is a continuous measure. For $A, B\in \mathcal{B}$ that are convex, the mixed ...
- 1,127
2
votes
0
answers
67
views
On two functions with isodirectional gradients
Let $U\subset \mathbb{R}^n$ be open and $f,g:U \to \mathbb{R}$ be two $C^1$ functions whose gradients are always in the same direction, i.e. $\forall i,j \in \left\{1,...,n\right\}$
\begin{equation}
(\...
- 1,461
2
votes
0
answers
67
views
How much must a curve bend to intersect another curve twice?
Suppose $c_1$ and $c_2$ are segments of smooth plane curves. To be concrete, say $c_1$ and $c_2$ are graphs of smooth functions $f_i:[a_i,b_i]\to \mathbb R$, $i=1,2$. If the curves were lines, then ...
- 131
2
votes
0
answers
463
views
Conditions for continuity of non-simple eigenvectors
Here, https://math.stackexchange.com/a/1146455, it is noted that eigenprojections are continuous, but eigenvectors are not. Are there any conditions where the eigenvalues are not simple, but the ...
- 37
2
votes
0
answers
84
views
limit multiple integral
I want to know if $\lim_{T-> \infty}$ of this integral
$$ \frac{\sigma^{4}C_{H,K}^{2}}{4 T^{4HK}e^{2\theta T }}\\
\times \int\limits_{[0,T]^{4}}e^{\theta(t_{1}-s_{1})}e^{\theta(t_{2}-s_{2})}\left\...
- 31
2
votes
0
answers
184
views
Modify the jump set of $BV$ function
Let $u\in BV(\Omega)$ be a function of bounded variation where $\Omega\subset \mathbb R^N$ is open bounded with smooth boundary. We use $Du$ to denote the weak derivative of $u$. (So $Du$ is a Radon ...
- 679
2
votes
0
answers
874
views
Divergence Theorem for Distributions
I am interested in a generalization of the divergence theorem: Given an open subseteq $U \subseteq \mathbb{R}^n$, a compact set $G \subseteq U$
with smooth boundary $\partial G$ and a $C^1$-vector ...
- 193
2
votes
0
answers
259
views
How to analytically evaluate this n-dimensional iterated integral?
I would very much appreciate any suggestions and/or pointers to references relevant for the analytic evaluation of the following n-dimensional iterated integral
$$\int_{-\infty}^{+\infty}dx_1\int_{-\...
- 161
2
votes
0
answers
150
views
Completion of $C_{0,rad}^{\infty}(\Omega)$ with respect to the norm $\|u\|= \Bigg(\int_{\Omega} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $
I have a question that it seems simple but I can not solve it.
Let $\Omega$ be the unit ball centered at zero in $\mathbb{R}^N$, $N>4$. Assume that $C_{0,rad}^{\infty}(\Omega)$ is the space of all ...
- 371
2
votes
0
answers
125
views
Constant periodic Sobolev embedding
Dear mathoverflowers,
I would like to have a reference regarding the optimal constant in the Sobolev embedding
$$
\|u\|_{L^q}\leq C_{s,q}\|u\|_{\dot{H}^s},
$$
($H^s$ denotes the standard L^2 ...
- 843
2
votes
0
answers
267
views
Error term for Euler-MacLaurin summation formula when applied to infinitely smooth functions?
A function $f(z,x)$ is tempered if all of the following are true:
$f(z, x)$ is infinitely differentiable in $z$
$f(z,x)$ is defined for all $z,x \in \mathbb{R}$
Every derivative of $f(z,x)$ is ...
- 221
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
2
votes
0
answers
65
views
Minimal condition $\sum \rho_{ij} \Psi_{ij} s_i s_j < \sum s_i s_j $, $\mid \rho_{ij} \mid \leq 1$, $s_i \in \mathbb R$ and $\Psi_{ij} \in \{0,1\}$
Consider a sequence of real number $\{s_i\}_{i\leq n}$. Now consider the real numbers $F$, $G$ and $\alpha$ defined below
$$F= \sqrt{ \left( \sum ~\rho_{ij} ~\Psi_{ij}~ s_i ~s_j \right)^+}, $$
$$G = ...
- 123
2
votes
0
answers
108
views
Distributive law
I was wondering whether there is any reference that deals with the distributive law for infinitely many elements, i.e.
$$
\prod_{i\in \mathbb N} \sum_{k\in \mathbb N} \alpha_{i,k} = \sum_{(k_i)_{i\in ...
2
votes
0
answers
167
views
Integrating a series expansion of $\mbox{frac}(x)\lfloor x\rfloor$ coming from Fourier series of sawtooth function
Let me preface this question by saying that I am not exactly sure it counts as research level. It is crossposted on mathstackexchange: https://math.stackexchange.com/questions/1519724/integrating-a-...
- 761
2
votes
0
answers
124
views
Error term for a Fourier integral
There is a well-known theorem that states that for $f$ continuous and $f,\hat f$ integrable,
$$f(0)=\frac{1}{\pi}\lim_{T\to\infty}\int_{-\infty}^\infty f(x)\frac{\sin(Tx)}{x}dx.$$
So it should be that
...
- 3,799
2
votes
0
answers
134
views
Hermite interpolation
I need a help to my problem, I would be grateful if anyone could help.
Let $\epsilon \in [0,1]$ and for an integer $n$ we consider a set of nodes $T_n={t_0,t_1,....t_n}$.
We define the function $f(x)...
- 21
2
votes
0
answers
193
views
How to find moment condition for generalized method of moments?
Consider a scalar system with $2K$ outputs and $K+2$ unknowns:
$y_{k,1}=x_ka_1+n_{k,1} \quad y_{k,2}=x_ka_2+n_{k,1}$.
The variables $n_{k,\ell}$ are zero mean noise variables.
To estimate $a_1$ and $...
- 21
2
votes
0
answers
355
views
Existence of topology on the space of continuous functions
Let $C:=C([0,1],\mathbb{R})$ be the space of real-valued continuous functions defined on $[0,1]$. Could we find a topological vector space topology $\pi$ on $C$ such that the following two conditions ...
- 1,835
2
votes
0
answers
181
views
Is the implication ($f$ is Riemann integrable over $D_1$ and $D_2$) $\Rightarrow $ ($f$ is Riemann integrable over $D=D_1\cup D_2$) true?
Let $D_1,D_2$ be a bounded subset of $\mathbb{R}^n$ and $\partial D_1,\partial D_2$ are both of Lebesgue measure zero (that is to say: $D_1,D_2$ are Jordan measurable).
Also, let $f:D_1\cup D_2=D\...
- 121
2
votes
0
answers
103
views
Writing a function as a sum of functions of bounded diameter
This problem is distilled from one arising in a study of complex random variables, but I've removed as much baggage as I can without (I hope) making it trivial.
Fix $D>0$. A function $f:\mathbb R\...
- 37.7k
2
votes
0
answers
519
views
Regularity in PDE theory
I stumbled over this question in the context of PDE theory and thought that maybe somebody here knows whether the following is true or not?
Let $U$ be connected,open and bounded in $\mathbb{R}^n$ ...
- 231
2
votes
0
answers
151
views
Weak Morrey Spaces
As is well known, Morrey spaces are widely used to
investigate the local behavior of solutions to second order elliptic partial differential
equations. Recall that the classical Morrey spaces $\...
- 201
2
votes
0
answers
2k
views
Orthogonal complements of intersections of closed subspaces
Let $H$ be a Hilbert space and $H_1, \cdots, H_n$ be closed subspaces of $H$.
$\mathbf{Question}:$ Is it always true that the orthogonal complement $(H_1\cap\cdots\cap H_n)^\bot$ of the intersection ...
- 285
2
votes
0
answers
98
views
What does integrability of a strictly monotonic function imply about the tails of that function?
In particular, if $f:\mathbb{R}_{+}\rightarrow[0,1]$ is a strictly monotonic decreasing function and $f$ is integrable then does it necessarily hold that $f^{-1}(1/t)=o(t)$?
2
votes
0
answers
173
views
Does this symmetrization operator have a name? Any theory?
Consider a function $f(x_1,\ldots,x_n)$ of $n$ complex variables. Define
$$f_{\mathrm{symm}}(x_1,\ldots,x_n) =
2^{-n}\sum_{\varepsilon_1,\ldots,\varepsilon_n=\pm 1}
f(\varepsilon_1x_1,\ldots,\...
- 37.7k
2
votes
0
answers
251
views
Volume of bounded regions in hyperplane arrangements
I am given a hyperplane arrangement $\mathcal{H}_0$ in $\mathbb{R}^n$ and a function $\phi \colon \mathbb{R}^n \to \mathbb{Q}.$ I choose any enumeration on the set of primitive vectors (i.e. vectors ...
- 357
2
votes
0
answers
160
views
Is it possible to improve the order of convergence of averages of random variables if they are not identically distributed?
Let $X_n$ be a sequence of independent random variables (but not necessarily identically distributed)
taking values in $[-1,1]$ that have the following property:
1) The average $A_n := \frac{(X_1+ \...
- 3,245
2
votes
0
answers
448
views
Lebesgue point and regularity of functions
A known theorem says that for $f \in L_{loc}^1(\mathbb{R}^d)$, almost every point is a Lebesgue point.
I know too a theorem saying that for $f \in W_{loc}^{1,p}(\mathbb{R}^d)$ , every point is a ...
- 21
2
votes
0
answers
343
views
continuity with respect to weak-${\ast}$ topology
Let $V:=V([0,1],R)$ be the space of all cadlag functions defined on $[0,1]$ of bounded variation. Thus any element $v\in V$ determines a signed measure $\nu$ on $[0, 1]$ given by the formula $\nu([0, ...
- 1,835
2
votes
0
answers
431
views
What is the purpose of the definition of "metric regularity"/"regularity modulus"?
A set mapping $F:X \rightrightarrows Y$ is said to be metrically regular for $\overline{x}\in X$ and $\overline{y} \in Y$ if there exists a $\kappa\in(0,\infty)$ for which
$$
d(x,F^{-1}(y))\leq \...
- 81
2
votes
0
answers
76
views
question about a genralized Skorokhod topology
Let $D:=D([0,1], R)$ be the space of all cadlag functions defined on $[0,1]$. Now we have the known Skorokhod topology defined by: $\forall f, g\in D$
$$\rho(f,g):=\inf_{\lambda\in\Lambda}\Big\{\max\...
- 1,835
2
votes
0
answers
112
views
Asymptotic analysis involving a circular multiple integral
Let $t_1,\ldots,t_m>0$, and $m\ge 4$ be an even integer. Consider the function:
$$
f(a,b;\mathbf{t})=\int_0^{t_1}\ldots\int_0^{t_m} |x_1-x_m|^a |x_2-x_1|^b |x_3-x_2|^a |x_4-x_3|^b \ldots |x_{m-1}-...
- 87
2
votes
0
answers
146
views
Lanczos algorithm with thick restart on a dynamic matrix
currently, I'm working on a way to compute the 2 biggest eigenvalues of a real, symmetric, huge and sparse matrix that changes a few entries from time to time. The problem should be solved using an ...
- 21
2
votes
0
answers
263
views
Algorithms to compute largest gap between smallest nonzero eigenvalues of sparse symmetric matrix
I am looking mainly for implementations but also for theoretical algorithms to compute gaps between smallest positive eigenvalues of symmetric, singular matrix or real numbers.
To be precise, I want ...
- 21
2
votes
0
answers
229
views
Analytic varieties for the primes and the twin primes
I am wondering what real and complex analysis say
about the primes and twin primes.
According to Wikipedia
analytic variety is defined locally as the set of common zeros of finitely many analytic ...
- 25.4k
2
votes
0
answers
161
views
Improving a bound from Taylor's Theorem
For this problem, suppose $g:\mathbb{R}\rightarrow\mathbb{R}$ is such that $g\in\mathcal{C}^{k}(\mathbb{R})$, and there exists $\epsilon>0$ such that
\begin{align*} \epsilon<|g^{(k)}(x)|<\...
- 21
2
votes
0
answers
814
views
Quantifying the “flatness” of functions which are the Fourier transforms of positive functions
Short version of question: I'm trying to understand the extent to which a function is prevented from being "flat" as a result of being the Fourier transform of a positive function. That is, the extent ...
- 21