Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Salvo Tringali's user avatar
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 ...
T. Amdeberhan's user avatar
3 votes
0 answers
106 views

The behavior of an integral related to the inward normal vector near a point of the boundary of a domain

Inspired by this Q&A, I am asking for what kind of non-smooth domains $D$ the following limit $$ \lim_{r \to 0}\frac{1}{m(D \cap B(x,r))}\int\limits_{D \cap B(x,r)}\frac{z-x}{r}\,m(dz) $$ where $...
Daniele Tampieri's user avatar
3 votes
0 answers
166 views

Monotone version of one-dimensional Whitney extension theorem

Is there a version of the Whitney extension theorem that would extend a monotone $C^\infty$ function on a compact subset of $\mathbb R$ (satisfying the usual Whitney's compatibility conditions) to a ...
Igor Belegradek's user avatar
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. $...
Riku's user avatar
  • 839
3 votes
1 answer
1k views

A calculus question related to the nonnegative definite functions

I am looking for some sufficient conditions for an even, continuous, nonnegative, non increasing function $f(x)$ on $R$ such that $$ \int_0^\infty \cos(xz) f(z) d z \ge 0 \qquad\text{for all $x\ge 0$...
Anand's user avatar
  • 1,649
2 votes
1 answer
301 views

A question about pushforward measures and continuous Borel isomorphisms

It is fairly well known that if $\mu$ and $\nu$ are nonatomic measures on the standard Borel spaces $(X,B)$ and $(Y,C)$ such that $\mu(X)=\nu(Y)$. If $X$ and $Y$ are uncountable, then there exists a ...
O-Schmo's user avatar
  • 33
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$ ...
Shaq155's user avatar
  • 459
2 votes
2 answers
257 views

Reference request on Min-Max theorem

Consider the following min-max problem $$\inf_{x\in M} \sup_{y\in N} F(x,y),$$ where $F: M\times N\to\mathbb R$ is Lipschitz and $y\mapsto F(x,y)$ is concave for all $x\in M$. Could we derive $\...
user avatar
1 vote
1 answer
239 views

Reference request for weak solutions of an Elliptic PDE

Edit : I just learned that all weak solutions are $C^\infty$, so this question, by Willie, seems more appropriate than the current one. I want to find weak, non trivial, continuous, solutions of $$\...
Rajesh D's user avatar
  • 698
1 vote
1 answer
387 views

$L^p$ compactness for a sequence of functions from compactness of product with cut-off

Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
Zac's user avatar
  • 161
1 vote
1 answer
426 views

$L^p$ compactness for a sequence of functions from compactness of cut-off

Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
Zac's user avatar
  • 161
1 vote
1 answer
224 views

Sum of negative roots of a $5^{th}$ degree monic polynomial

Let $f(x)$ be a $4^{th}$ degree monic polynomial say $f(x) = x^4 + a_1x^3+a_2x^2+a_3x+a_4$ with the property that $a_1<0, a_4>0$ and $a_2<a_3$. They by Descartes' rule of signs we can ...
User8976's user avatar
  • 199
1 vote
0 answers
76 views

Error estimates for orthogonal polynomial approximation

tl;dr: Are there explicit bounds for the approximation error by orthogonal polynomials? There are various ways to formulate this question more precisely, so want I emphasize up front that this is a ...
user13322's user avatar
0 votes
0 answers
124 views

Reference for the Hardy maximal function on the torus

I am searching for a reference for the (sharp) Hardy maximal function on the torus $\mathbb{T}^2:=\mathbb{R^2}/\mathbb{Z}^2$, for instance I would need result result of the following type : if $g\in H^...
Ayman Moussa's user avatar
  • 3,425
-1 votes
1 answer
204 views

Cauchy reduction formula with measure (a variation)

The Cauchy reduction formula conveniently compresses $n$ integrations of a function $F(x)$ into a single integral. Here I am interested in reducing the following "curved-space" ...
Math2024's user avatar
  • 141
-6 votes
2 answers
2k views

Is there a transformation or a proof for these integrals?

Here are certain weighted Gaussian integrals I have encountered for which numerical computation reassures equality. Question. Is this true? If so, is there an underlying transformation or just a ...
T. Amdeberhan's user avatar

1
2