All Questions
5,628 questions
2
votes
1
answer
68
views
When is a convex program continuous in its constraint vectors?
Consider $$F(z)=\min ae^{-x}+b e^{-y} s.t. x\ge 0, y\ge 0\text{ and } x+y=z$$
I checked if this function is continuous, but it is not at $z=0$. $F(z)=2\sqrt{ab}e^{-z/2}$ when $z\ne 0$, and $F(0)=a+b$....
- 519
1
vote
1
answer
978
views
Concentration bound for weakly dependent random variables
Hi,
Suppose we observe a sequence $R_1, ..., R_T$ of iid. random variables that equal $0$ with probability $p$ and with probability $1-p$ are sampled from a distribution with expected value $E(R) >...
- 53
1
vote
0
answers
125
views
Convergence of solutions of the volterra integral equation with convergent kernels
Consider the following Volterra integral equation
$$
g(t) = \int_0^t K_n(t,s)w_n(s) ds
$$
where g(t) and K_n(t,s) are continuous and $K_n(t,s)\geq K_{n+1}(t,s)$ for all $t,s$. Moreover, $K_n(t,s)$ ...
- 111
5
votes
1
answer
316
views
Symmetric functions and regularity
Let $f:\mathbb R^2\rightarrow\mathbb R$ be a symmetric function: $f(y,x)=f(x,y)$. It can therefore be written has a function of the elementary symmetric polynomials, here $f(x,y)=F(x+y,xy)$, where $F(\...
- 52.3k
0
votes
0
answers
490
views
Sufficient conditions for continuity of function $y\mapsto\min_{[x_0,y]}\phi$
Let $\phi:\mathbb{R}\to\mathbb{R}$ a continuous function.
Fix $x_0\in\mathbb{R}$ and consider
$$\psi:\mathbb{R}\to\mathbb{R},\ \psi(y)=\min_{\xi\in[x_0,y]}\phi(\xi)\ .$$
Is $\psi$ a continuous ...
- 293
1
vote
0
answers
115
views
Uniform estimate of a function given by an integral
consider the function $f_{n}(x,a,t):=e^{-(ax+n+1/2)^2t}$ with $t,x,a > 0$. The claim is now that there exists a constant $C>0$ such that for all even natural numbers $n=2k$, $k\in\mathbb{N}$ one ...
- 153
2
votes
1
answer
351
views
Operation on measurable sets in lines, containing an interval?
Question 1: In $\mathbb{R}^2$, let $l_1$,$l_2$ be two parallel lines and $l_3$ another line which is not parallel to $l_1$. Given two measurable sets $E_1$ and $E_2$ in $l_1$ and $l_2$ respectively, ...
7
votes
1
answer
1k
views
Is the absolutely continuous image of a nowhere dense set is also nowhere dense?
Let $f: [a, b] \subseteq \mathbb{R} \to \mathbb{R}$ be an absolutely continuous map. Does $f$ map a nowhere dense subset of $[a, b]$ to a nowhere dense set?
Remarks:
The answer is "no" if $f$ is ...
- 5,339
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
7
votes
0
answers
111
views
A monoid-structure on pairs of interlacing polynomials
Let us call a pair of two real polynomials $(P,Q)$ interlacing if $\deg(P)=\deg(Q)+1$, both polynomials have strictly positive leading coefficients and $P,Q$ have only real roots which interlace ...
- 17.9k
0
votes
1
answer
111
views
Convergence in an infinite matrix
Let $\omega$ be the first infinite ordinal, and let $A$ be a real $(\omega+1)\times(\omega+1)$-matrix, that is $A$ is a map $A:(\omega+1)\times(\omega+1) \to \mathbb{R}$.
Suppose that $A$ has the ...
user70876
3
votes
0
answers
74
views
Semi-continuity of the dimension of the null space
Suppose $T_n : X \rightarrow X$ is a sequence of Fredholm operators on a Banach space such that $T_k \rightarrow T$ strongly (in the induced operator norm). If $N_k$ and $N$ denote the dimensions of ...
- 537
1
vote
0
answers
416
views
When does a proper Zariski closed set have measure zero with respect to a conditional measure?
Assume we have a probability measure $\mu$ over $\mathbb{R}^d$ that is absolutely continuous with respect to Lebesgue measure.
Given $m$ polynomials $p_1,\ldots,p_{m}\in \mathbb{R}[x_1,\ldots,x_d]$ ...
- 61
-4
votes
1
answer
200
views
How I can choose $(t_1,t_2,...,t_{r}) \in (0,1)^{r}$ such that $f^{(k)}\left(1-2\prod_{j=1}^{k}t_{j}\right)=0$?
Let $f:\mathbb{R} \to \mathbb{R}$ be a real analytic function. Assume that $f$ has simple trivial zeros at each nonpositive integer. Then, all the $k$-th derivatives $f^{(k)}$ of $f$ have necessarily ...
- 1,197
3
votes
0
answers
119
views
Does the following inequality hold under Zygmund condition?
Let $f:R\rightarrow R$ be a continuous function which satisfies the Zygmund condition
$$
|f(x+\delta)+f(x-\delta)-2f(x)|\leq \text{const} \frac{|\delta|}{(\log\frac{1}{|\delta|})^{\alpha}}, \,\, \...
- 197
0
votes
0
answers
206
views
About approximate eigenvalue
I am in trouble when read the book "D.Henry, Geometric Theory of Semiliner Parabolic Equations". The question is relate to Page 104,proof Lemma 5.1.4.
Suppose $X$ is a real Banach Space, $M$ is a ...
- 103
1
vote
1
answer
161
views
Distorted Newtion binomial
This is a cross-posting of a MSE question (which did not receive any feedback there so far).
Let $\varepsilon >0$, with $\varepsilon \neq 1$. Consider the sequence $u_n$ defined by
$$
u_n=\sum_{k=...
- 621
1
vote
0
answers
139
views
Can we define log-convex operators?
Let $I\subset\mathbb{R}$. A function $f:I\rightarrow\mathbb{R}$, is said to be log-convex if $\log f$ is convex or equivalently for all $x,y\in I$ and $\alpha\in [0,1]$
$$f(\alpha x+(1-\alpha)y)\leq [...
- 55
3
votes
1
answer
325
views
Measuring almost-critical values of smooth functions.
Consider a compact sub-manifold $X \subset \mathbb{R}^n$ of Euclidean space and let $f:X \to \mathbb{R}$ be any smooth function. Recall that $x \in X$ is a critical point of $f$ if the gradient $\...
- 15.5k
3
votes
1
answer
491
views
Vanishing on Bad Sets
Let $f: \Bbb{R}^n \rightarrow \Bbb{R}$ be a non-negative function that vanishes on a set $\Omega$ that is compact and has positive measure. What is the minimial amount of regularity required of $f$ to ...
- 1,701
7
votes
0
answers
340
views
Polynomials and divided differences
I would greatly appreciate any hint for proving the following.
Question: Let $f:[0, 1] \to {\bf R}$. Can it be proved that if $[0, 1/(N+m),\dots, (N+m)/(N+m) ; f ]=0$ for all $m=1,2, 3,\dots$, then $...
- 71
3
votes
1
answer
133
views
A recurrent sequence related to the Brouwer fixed-point theorem
Let $K$ be a non-empty compact convex subset of a Banach space $E$, and let $f : K \longmapsto K$ be a continuous function. Fix $u_0 \in K$, and define by recurrence $u_{n+1} = \frac{1}{n+1} \sum_{j=0}...
- 7,249
1
vote
0
answers
295
views
Is reflexive Banach space valued scalarwise Lebesgue space isomorphic to the Bochner space?
I first specify the setting and then formulate the question precisely. (A very long post follows.)
Definitions 1. For $E$ a (real Hausdorff) locally convex space, say that $E$ is suitable iff there ...
- 3,584
1
vote
2
answers
360
views
Inf of a mutivariate function
Let $f(x_1,\ldots , x_n) = \frac{x_1}{x_2+x_3} + \frac{x_2}{x_3+x_4} + \cdots + \frac{x_n}{x_1+x_2}$, defined for $x_i>0$.
Is there $(x_1, \ldots ,x_n)\in {\mathbb{R}^*_+}^n$ such that $f(x_1,\...
- 2,829
1
vote
0
answers
827
views
Question about Riemann integral and total variation [closed]
Let $g$ be Riemann integrable on $[a,b]$, $f(x)=\int_a^xg(t)dt$ for $x∈[a,b]$.
How to show that the total variation of $f$ is equal to $∫_a^b|g(x)|dx$?
- 133
0
votes
0
answers
145
views
Does there exist this special kind of homeomorphism?
Let $A,B\subset\mathbb{R}^n, n\geq 2,$ are two different shaped spindles. One is thick and one is thin. (Sorry for my unprofessional statements. Unsure about how to say it rigorously.) So there are ...
- 183
0
votes
1
answer
71
views
Regular curve given implicitly
Let $F:D\subseteq\mathbb{R}^2\to\mathbb{R}$, $D$ open and connected set, be a $C^1 (D)$ application.
What are the minimum requirements for $F$ such that the solutions of the equation $F(x,y)=0$ are ...
- 33
0
votes
1
answer
337
views
Integral inequality
Let $X$ be the d-dimensional hypercube $X=[0,1]^d$ and let $f$ and $g$ be such that $f(x) = 1$ if $x \in A$ and $0$ otherwise, $g(x)=1$ if $x \in B$ and $0$ otherwise, where $A$ and $B$ are generic ...
- 295
-1
votes
1
answer
69
views
Glueing smooth functions give a smooth function if reparametrized [closed]
Given $\mathbf{r}:(t_0-\varepsilon, t_0+\varepsilon)\to\mathbb{R}^2$ be a $C^{1}$ application, with $\mathbf{r}'(t)=(0,0)\Longleftrightarrow\ t=t_0$, and
$$\mathbf{r}(t)=\begin{cases} \mathbf{r}_1 (t)...
- 1,759
3
votes
1
answer
952
views
Geometrical structure of critical points of harmonic functions
For a harmonic function $\Phi$ on a simply connected subset $\Gamma$ of $\mathbb{R}^3$, define a guide curve $\gamma: I \mapsto \Gamma$ of $\Phi$ as a simple regular $C^1$ curve such that
all point ...
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)$?
1
vote
0
answers
100
views
Summing a function at integer points
For a real function $f$ defined on the reals, and real $y$, define the 2-way infinite sum
$$ F_f(y) = \sum_{i\in\mathbb Z} f(y+i). $$
If $F_f(y)$ is defined for all $y$, it is periodic of period 1.
...
- 37.7k
0
votes
0
answers
104
views
Must the Lebesgue measure of a $\rho$ - neighbourhood of an $(n-2)$ - dimensional set be at least $c\rho^2$?
The Lebesgue measure of a $\rho$-neighbourhood of a point in $\mathbb{R}^2$ is of course equal to $c\rho^2$. Similar such considerations in higher dimensions lead me to the following question:
Given ...
- 1,771
1
vote
0
answers
87
views
Characterization of the maximizer of a function based on a parameter's value
Consider a smooth, continuously differentiable, and jointly concave function $f(x,y,z;a)$, where $x,y$ and $z$ are decision variables and $a$ is a problem parameter.
I have two optimization problems. ...
- 11
1
vote
0
answers
153
views
On sequence of functions $(h_n)$ satisfying $\Vert\sum_{n=1}^\infty f * h_n\Vert=\sum_{n=1}^\infty\Vert f*h_n\Vert$ for all $f\in L_1(G)$
Let $(h_n)$ be a sequence of non-zero functions in $L_1(G)$ (where $G$ is a locally compact group) with the property
$$
\left\Vert\sum_{n=1}^\infty f * h_n\right\Vert=\sum_{n=1}^\infty\Vert f*h_n\Vert
...
- 1,697
1
vote
1
answer
342
views
Singular conformally-Euclidean metrics
Suppose $W : \Bbb{R}^n \to \Bbb{R}_+$ is a continuous, positive function, with exactly $n$ zeros $\alpha_1,...,\alpha_n$. Define the following 'distance':
$$ d(\alpha_i,\alpha_j)=\inf\{\int_0^1 \sqrt{...
- 2,222
0
votes
0
answers
82
views
Construction of a path of quadratic variation
This question has been posted to Stack Exchange earlier, and no answer is available yet.
Consider a path $x: [0,1] \to \mathbb R$. it's $p$-variation on an interval
is defined by
$$V_{p}(x, [a, b]) =...
- 1,399
1
vote
0
answers
99
views
Set nor its compliment contain an uncountable closed set [closed]
Does there exist a set $X$ subset of the real numbers such that no uncountable closed set is contained in $X$ or $X^c$?
- 121
2
votes
0
answers
245
views
Is $f$ an absolutely continuous function? [closed]
Let
$$
f(x)=\sum_{n=1}^{\infty}\frac{\sin(2^{n}\pi x)}{n\cdot2^{n}}, \,\,\,\,\,\, x\in [-1, 1].
$$
Is $f$ an absolutely continuous function? If yes how can I show it? If not how about on total ...
- 111
5
votes
1
answer
540
views
Cosets of groups of functions
Let's consider an interval $I\subseteq\mathbb R$, and let $\mathcal F(I)$ be the set of bijective functions $f:I\to I$ so that the graph of $f$ is a analytic curve in $I\times I$.
The set $\mathcal ...
- 4,312
4
votes
1
answer
306
views
ordered fields with the bounded value property, without choice
In his answer to my question ordered fields with the bounded value property, Ali Enayat showed that if one assumes the countable axiom of choice, then there exists a non-Archimedean ordered field $F$ ...
- 19.7k
0
votes
0
answers
55
views
Representation of multi-variable functions as a composition of 1- or 2-variable functions [duplicate]
This is a re-post of my question from M.SE that remains unanswered for several months.
I'm familiar with Kolmogorov–Arnold representation theorem, but AFAIK their construction makes essential use of ...
- 6,819
2
votes
1
answer
413
views
Technique: Compactness => (Finite -> Reals)
Context
I'm studying a classical results of Erdos and Lovasz, on colorings of the real line.
The theorem to be proved is as follows:
Let $m, k$ be two positive integers satisfying:
$$e(m(m-1)+1)k\...
- 23
1
vote
0
answers
66
views
$X_t = B_t^q$, $X_t = (\sin B_t)^q$, $X_t = B_t^q (\sin B_t)^r$, $dM_t = R_t\,M_t\,dB_t$ [closed]
What are the SDE's satisfied by the following processes?
$X_t = B_t^q$
$X_t = (\sin B_t)^q$
$X_t = B_t^q (\sin B_t)^r$
Assume $B_t$ is a standard Brownian motion with $B_0 > 0$ and the equations ...
- 11
1
vote
2
answers
474
views
Chebyshev's Theorem
Hi,
I´m looking for Chebyshev´s theorem which says that the inequality $|x(k)-y|<3/k$ has infinitely many solutions, where $x(k)=x_0+k\alpha \pmod 1$, $\alpha$ is an irrational number, and $x_0,y\...
- 11
2
votes
2
answers
133
views
formula for repeated finite differences
I am looking for a proof of a well-known fact, whose proof must be very easy, though I've been struggling to find it. Let $\Delta$ be the map from real-valued functions of a real variable, given by $(\...
- 301
1
vote
1
answer
334
views
Property Sigma Algebra [closed]
Is the set { $ \cup_{i \in \mathbb{N}} C_{i} \times D_{i} : C_{i} \in \mathcal{L} \ , D_{i} \in \mathcal{B}^{n} \ $ } a sigma algebra on $\mathbb{R} \times \mathbb{R}^{n}$ ?
- 11
4
votes
1
answer
627
views
Does such a smooth function exist?
I am looking for a $C^\infty $ function $g:\mathbb{R}^3\to \mathbb{R}^3$ such that $g(x)=0$ for $|x|\le 1$ and $g(x)=x$ for $|x|\ge 2$. Certainly such $g$ can be constructed, but I also want it to ...
- 450
0
votes
1
answer
208
views
The pth power of a distance function is twice continuously differentiable, for $p>2$?
Suppose $\mathcal{O}$ is an open convex connected strict subset in $\mathbb{R}^n$ and define $\beta(x)=dist(x, \mathcal{O})$, for each $x\in\mathbb{R}^n$.
Is $\beta^p$, $p>2$ a twice continuously ...
- 9
3
votes
1
answer
258
views
Subharmonic envelope
I came across a more complicated version of the following problem. It is so elementary, I think that there had to be some research done on this in the past. If someone has any ideas please let me know....
- 1,211