All Questions
727 questions
3
votes
1
answer
255
views
Is this constraint convex?
I have an optimization problem where the following constraint causes DCP Rule Error.
$$e^{x_n} \leq B \log _2\left(1+\frac{e^{\rho_n} g_n^2}{\sum_{i=1}^{n-1} e^{\...
- 31
3
votes
0
answers
305
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
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
1
answer
115
views
Given a local metric which is $C^1$-close to another, can we extend it globally while preserving the approximation?
Let $M$ be a smooth closed manifold, and let $g_0$ be a Riemannian metric on $M$.
Let $U$ be a neighbourhood of $p \in M$, and suppose that we are given a metric $g$ on $U$, which satisfies $\| g-...
- 6,741
3
votes
0
answers
154
views
Inequality involving convolution roots
I am struggling with the following problem. Let $f$ be a real smooth function. Let assume that $f$ is:
increasing
strictly convex on $(-\infty,0)$
strictly concave on $(0,+\infty)$
Let $\sigma>0$ ...
- 393
3
votes
0
answers
689
views
"Nicely" strong measure zero sets
This question is essentially an expanded version of the unanswered half of Two strengthenings of "strong measure zero".
A set $X$ of reals is strong measure zero if, for any $f: \omega\...
- 21.2k
3
votes
0
answers
237
views
Reference request: Darboux properties of real-valued set functions (measures, densities, etc.)
Fix a set $S$ and let $f: \mathcal P(S) \rightharpoonup \mathbf R$ be a real-valued partial function on the power set of $S$; denote by $\mathcal D$ the domain of $f$. We say that $f$ has:
(i) the ...
- 10.5k
3
votes
2
answers
293
views
On convergence of convex-concave functions
Let $(f_n)$ be a sequence of twice differentiable functions on $\mathbb R$ such that for each $n$ there exists some $x_n\in\mathbb{R}$ such that:
$f_n$ is strictly convex on $(-\infty,x_n)$,
$f_n$ is ...
- 128k
3
votes
2
answers
309
views
Seeking proof to an asymptotics of a recursion or functional equation
My question on math.stackexchange.com and the continuation by an answer to it gives the two summation expressions for the recursion
$$a_n = 1+\frac1{2^n}\sum_{k=0}^n {n\choose k}a_k,\, \forall n\in\...
- 2,239
3
votes
1
answer
274
views
Function square-integrable
Let $f$ be an arbitrary function in $L^2(0,\infty)$ and consider the function
$$(g_f)(y) = \frac{1}{y-x_0} \int_{0}^{\infty} f(x) \left(\frac{xy}{(x^2+y^2+1)}\right)^2 \ dx$$
where $x_0$ is an ...
3
votes
1
answer
304
views
Question abouth Skorokhod representation of random variables
It is known that for any two probability measures $\mu$ and $\nu$ on $\mathbb R$ that are close in the Prokhorov metric $\rho$, i.e.
$$\rho(\mu,\nu)<\varepsilon,$$
then there exist two random ...
- 1,835
3
votes
1
answer
442
views
Error of midpoint method for functions that are not twice-differentiable
All of the bounds I've seen for the error of the midpoint method of integration are expressed in terms of the second derivative of the function. What bounds are available when the function is not ...
- 19.7k
3
votes
2
answers
472
views
Regularity of lipschitz and derivable function
Let be lipschitz $f$ on $[0,1]$ and everywhere derivable. Is it true that $f\in C^1([0,1])$ ?
- 4,074
3
votes
1
answer
299
views
Lipschitz functions that saturate the Lipschitz inequality on the average (part 1)
Consider a 1-Lipschitz function $f: \mathbb R^n \to \mathbb R$ satisfying the inequality
\begin{align*}
|f(x) - f(y)| \le \|x-y\|_2, \;\forall x,y \in \mathbb R^n.
\end{align*}
For $n \ge 2$, can we ...
- 1,731
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
1
answer
142
views
How does the integral of pseudo Gaussian kernel on $(0,\infty)$ depend on its variance?
Let $a, b: \mathbb R_+ \to [0,1]$ be continuous functions. Let $k: \mathbb R_+\times\mathbb R \to [1,2]$ be $1-$Lipschitz. Set, for $0<s<t$ and $y>0$,
$$A(s,t,y):=\int_s^t\frac{k(u,y)}{1+a(u)}...
user478492
3
votes
1
answer
251
views
Congruence modulo 2 for q-series
This quest arose from certain calculations with integer partitions (having distinct parts) and the corresponding values of their Dyson ranks.
I would like to ask:
QUESTION. Is this congruence true ...
- 43.2k
3
votes
1
answer
88
views
More on the inequality $f'(x)/(1-f(x)^2)-1/(1-x^2)\ge0$
A previous question was as follows:
Assume that $f\colon[0,1]\to[0,1]$ is a diffeomorphism so that $(f''(x)/f'(x))'<0$ and that $f''(0)=0$. It seems to me that $$\frac{1-f(x)^2}{1-x^2}\le f'(x)$$ ...
- 128k
3
votes
0
answers
105
views
Recursive differences of Cantor set
Let $C$ be the Cantor ternary set obtained by repeatedly deleting the middle thirds of the interval $[0,1].$ Now define
$$E_1=C$$
and $$E_{i+1}=\{ |x-y|,x \neq y\text{ and } \,x,y \in E_i \}$$
I ...
- 826
3
votes
2
answers
2k
views
Expected gradient vs. gradient of expectation
Suppose a function $f(x): \mathbb R^d \mapsto \mathbb R^D$, and its stochastic approximator, $g(x; W): \mathbb R^d \mapsto \mathbb R^D$. Here $W$ is some random variable. Then $g(x; W)$ is unbiased in ...
- 205
3
votes
1
answer
411
views
Continuation of a smooth function, whose every derivative is strictly monotonic
Let $f$ be a function defined on $(-\infty, a]$ such that every derivative of $f$ is strictly monotonic. Does it guarantee uniqueness of a smooth continuation $g$ of $f$ to the whole real line, where ...
3
votes
0
answers
238
views
Move one element of finite set out from A in plane
Suppose we are given two sets, $S$ and $A$ in the plane, such that $S$ is finite, with a special point, $s_0$, while neither $A$ nor its complement is a null-set, i.e., the outer Lebesgue measure of $...
- 18.7k
3
votes
1
answer
250
views
Characterization of a subset of [0,1] $II$
My question follows the previous one
Characterization of a subset of $[0,1]$
But I don't know whether it is correct to ask again with a new title.
Thanks a lot for pointing the mistake and I ...
- 1,835
3
votes
1
answer
383
views
"Nice" functions on infinite-dimensional space of germs of continuous functions at a point
Consider set of all germs of continuous functions at some point.
Question: What are some functions ("any/nice/constructive/whatever") from this set to R (reals) ? (Except evalution at point and made ...
- 24.9k
3
votes
3
answers
546
views
Determining Roots of a Polynomial with Interval Estimates of Coefficients
Let $f$ be a monic univariate polynomial with real coefficients:
$$f_A(x) = x^n + a_{n-1}x^{n-1} + ... + a_{0}$$
The values of $A=(a_{n-1},...,a_0)$ are unknown, but are estimated as $B=(b_{n-1},...,...
- 103
3
votes
1
answer
173
views
Weak Lebesgue spaces and an estimate for BV functions
Let $u \in BV(\Omega \subset \mathbb R^N, \mathbb{R}^N)$. Is it true that there exists a function $f$ in the weak $L^1$ space such that
$$|u(y)-u(x)| \le |x-y|\big|f(y) - f(x)\big|$$
holds for a.e. $...
- 839
3
votes
0
answers
290
views
Does there exist a supersmooth non-polynomial function?
Let's call a $C^{\infty}$-function $f:\mathbb{R}\rightarrow\mathbb{R}$ Lebesgue supersmooth if whenever $a_{n}\in\mathbb{R}$ for all $n$, then $\lim_{n\rightarrow\infty}a_{n}f^{(n)}(x)\rightarrow 0$ ...
3
votes
1
answer
557
views
Is there real or complex analytic function whose positive real zeros are the primes?
Related to this question
Q1 Is there real or complex analytic function $f(x)$ such
that its positive real zeros are the primes and it is
given in closed form of compositions of already named ...
- 25.4k
3
votes
2
answers
487
views
Integrating over the Intersection of Convex Regions
Is there a way to integrate over the intersection of a finite collection of convex regions, using only the definition of the regions (i.e. without actually calculating the intersections)?
The ...
- 13.2k
3
votes
1
answer
496
views
"Square root" of multiplication operator on Sobolev space
Let $f:\mathbb{R}^n\rightarrow\mathbb{R}$ be a non-negative, smooth, uniformly bounded function with uniformly bounded first derivative. Then $f$ defines a bounded operator on $L^2(\mathbb{R}^n)$ as ...
- 1,903
3
votes
2
answers
447
views
Algebraic curve intersecting square-grid
Let us subdivide the unit square into square-grid cells with sidelength $w$. This will give us roughly $w^{-2}$ cells.
Formally
$$ g_{ij} = \{(wi, wj) + (x,y) : 0\leq x,y\leq w \},$$
for $i,j = 0,\...
- 479
3
votes
0
answers
144
views
Noncrossing partitions in Hopf algebras/monoids via compositional inversion
Partition polynomials constructed from the face structures of the associahedra (OEIS A133437) and permutahedra (A133314) comprise the antipodes/compositional inverses in a Faa-di-Bruno-type Hopf ...
- 10.5k
3
votes
1
answer
496
views
Prove that these two definitions of "natural" integration constant coincide when both converge
These are two possible definitions of antiderivative (integral) incorporating a supposedly natural choice of an integration constant (see this question for further details).
The first one is based on ...
- 10.1k
3
votes
3
answers
427
views
Quantitative analytic continuation estimate for a function small on a set of positive measure
The following conjecture about analytic functions arose as a way to show the asymptotic growth for certain PDE solutions. As I am unfamiliar with any results of this type, I thought I'd ask here.
In ...
- 324
2
votes
1
answer
167
views
On a characterization of inward unit normal vector
Let $D$ be a smooth domain of $\mathbb{R}^d$. Let $\partial D$ denote the boundary of $D$. We denote by $B(x,r)=\{y \in \mathbb{R}^d \mid |y-x|<r\}$ the Euclidean ball centered at $x$ with radius $...
- 721
2
votes
1
answer
689
views
Partitions of an interval
This question asks about properties of functions which are "piecewise" polynomials. I would like to ask a specific question about the meaning of "piecewise" there.
Specifically, consider "partitions" ...
- 2,358
2
votes
1
answer
315
views
Are surjective homogeneous maps open at zero?
I'm asking this question as a follow-up inspired by this one: An open mapping theorem for homogeneous functions?
I'm actually wondering whether there exists an homogeneous map $f:\mathbb R^n\to\mathbb ...
- 311
2
votes
1
answer
142
views
Proving convexity of the expected logarithm of binomial distribution
I would like to prove that the following function, for an arbitrary integer $n$:
\begin{equation}
\begin{split}
f(x) & =x\cdot E \ \log(1+\text{Binomial(n,x)}) \\
& = x \cdot \sum_{k=0}^{n} \...
- 23
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
2
votes
1
answer
154
views
Grönwall-type inequality for $f(t) \le \alpha + \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(s)|^{\beta}] \, \mathrm d s$
Let $\alpha \in (0, \infty)$ and $\beta \in (0, 1]$. We assume $f : [0, 1] \to [0, \infty)$ is a measurable and bounded function such that
$$
f(t) \le \alpha + \int_0^t (t-s)^{-\frac{1}{2}} [f(s) + |f(...
- 835
2
votes
1
answer
320
views
Fourier series but different waveform
Given a nondegenerate smooth simple closed convex curve $f: [0,2\pi]\to \mathbb C \setminus \{0\}$ with winding number (around origin) $1$, and $f$ have zero mean. Let $f_n: [0,2\pi]\to \mathbb C \...
- 807
2
votes
1
answer
118
views
Proving that a polynomial $f(x,y)$ that is unbounded in every direction is bounded below by $1$ outside of a disc of finite radius
This is a follow up from this question.
I have a polynomial function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the ...
- 765
2
votes
1
answer
211
views
Hölder continuity in time of heat semigroup for regular initial distribution
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
Let $(p_t)_{t>0}$ be the standard Gaussian heat kernel on $\bR^d$, i.e.,
$$
p_t (x) := \frac{1}{(4 \pi t)^{\frac{d}{2}}} \...
- 835
2
votes
0
answers
470
views
Can any antidifference (indefinite sum) of a function be expressed in elementary functions and generalized polygamma function if its integral can be expressed in elementary functions?
If the integral or multiplicative integral of a function can be expressed with elementary functions, does it mean its indefinite sum (antidifference) or indefinite product respectively can be ...
- 10.1k
2
votes
1
answer
255
views
On the infimal convolution of two norms on $\mathbb R^n$
$\newcommand{\R}{\mathbb R}$For natural $n$, $a\in\R^n$, and real $t>0$, let
\begin{equation*}
K:=K_{n,t}(a):=\inf_{x\in\R^n}(\|a-x\|_2+t\|x\|_1),
\end{equation*}
\begin{equation*}
M:=M_{n,...
- 128k
2
votes
1
answer
105
views
Fix positive $t$. Construct $a_n \in \mathbb R^n$ such that $(\inf_x \|x-a_n\|_2 + t\|x\|_1 )/\min(\|a_n\|_2,t\|a_n\|_1) \to 0$
For any positive number $t$, nonnegative integer $n$, and nonzero vector $a \in \mathbb R^n$, define
$$
\begin{split}
K_n(a,t) &:= \inf_{x \in \mathbb R^n} \|x-a\|_2 + t\|x\|_1,\\
M_n(a,t) &:= ...
- 6,853
2
votes
1
answer
157
views
Inequality with decreasing rearrangement and non-decreasing function
This question is a continuation of the question here.
Let $f^{*}$ be the usual decreasing rearrangement function of a measurable function $f$ on a measure space $(X, \mu)$. Let $1<p<n$ and set $$...
- 459
2
votes
1
answer
307
views
Property so that $f(t)\equiv 0$ for all $t\geq T$ for some finite $T>0$?
Let $f:[0, \infty)\to [0, \infty)$ be non-decreasing and satisfy for all $t>t_{0}$, $$f(t)+C\int_{t_{0}}^{t}f^{\gamma}(s)ds\leq \frac{1}{t-t_{0}}\int_{t_{0}}^{t}f(s)ds,$$ where $0<\gamma<1$ ...
- 459
2
votes
1
answer
150
views
When is it true that $\sum_{k\ge 0}\frac{x^k}{\Gamma(1+a(k))}\sim\int_0^\infty \frac{x^t}{\Gamma(1+a(t))}\,dt$ as $x\to\infty$?
First, some notation. I'll write $f(x)=o(g(x))$ if $\lim_{x\to\infty} \left|\frac{f(x)}{g(x)}\right|=0$. I'll also write $g(x)=\omega(f(x))$ if $f(x)=o(g(x))$, i.e. $\limsup_{x\to\infty} \left|\frac{g(...
- 840
2
votes
1
answer
143
views
Roots of rational function
Sorry, I asked a similar question yesterday which contained a mistake in the question posed, here is the real question.
Let $(x_n)_{n=1}^N$ be a sequence taking values in $[1,2]$ with the property ...
- 73