The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
109 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 ...
7
votes
1answer
186 views

Is the sequence of Apéry numbers a Stieltjes moment sequence?

Consider the sequence of Apéry numbers $$ A_n = \sum_{k=0}^n \binom{n}{k}\binom{n+k}{k}\sum_{j=0}^k \binom{k}{j}^3 = \sum_{k=0}^n \binom{n}{k}^2\binom{n+k}{k}^2 . $$ In an email, physicist Alan Sokal ...
3
votes
3answers
294 views

Non-zero smooth functions vanishing on a Cantor set

It is easy to give examples of continuous functions $f:[0,1]\to \mathbb R_+\cup\{0\}$ non-zero but vanishing on a Cantor set (ex: Can Cantor set be the zero set of a continuous function?). It is ...
0
votes
0answers
89 views

how to solve f(f(x))=x^2+x [duplicate]

Now I just know the equation f(f(x))=x^2+x, how can I find the f(x)? I have already tired many times,but I found it is difficult to solve it by any way I knew.So please help me solve the problem,and ...
0
votes
0answers
11 views

Hello, everyone, I want to ask you a question about a proof in the Terence Tao's Real Analysis notes [migrated]

everyone. I am using Terence Tao's Real Analysis notes to self learn Analysis 1. There is one thing in the proof of Theorem 27 (Least Upper Bound Property) in “week 2 note” that I don’t understand ...
13
votes
7answers
765 views

Continuous relations?

What might it mean for a relation $R\subset X\times Y$ to be continuous? In topology, category theory or in analysis? Is it possible, canonical, useful? I have a vague idea of the possibility of ...
0
votes
0answers
24 views

Equivalence of ordered field and an order relation [on hold]

I found this theorem in 'Set Theory and Structure of Arithmetic by Hamilton and Landin' A field K is an ordered field with respect to a subset P if and only if there is a binary relation < on K ...
2
votes
0answers
55 views

If the generating function summation and zeta regularized sum of a divergent exist, do they always coincide?

One could assign a value to divergent series by means of several summation methods. One summation method we could consider is the generating function method. Let's sum, for example, the fibonacci ...
0
votes
1answer
184 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 ...
2
votes
1answer
240 views

Beurling density and interpolation

Let $\Lambda=\{\lambda_n\}_1^\infty$ a set of points on the real line. We denote by $\bar{n}(r)$ the largest number of points in any interval $[x,x+r]$, $r>0$. Define the upper uniform density ...
-2
votes
1answer
372 views

Why calculus textbooks do not include the natural integration constants in the tables of integrals? [on hold]

The formulas for integrals in the textbooks usually define indefinite integral up to a constant term. Yet the natural integration constant for antiderivative can be fixed from the following formula ...
2
votes
1answer
189 views

Differentiability: Partially Defined Functions

These ideas came to my mind while reading Lee's Introduction to Smooth Manifolds. (Cf. discussion on p. 45.) Definition Let $E$ and $F$ be two Banach spaces together with a plain subset ...
0
votes
0answers
109 views

Simultaneous root of polynomials — must it exist by continuity? [closed]

Suppose we have $n$ polynomials in $n$ variables $p_1, \dots, p_n$ and $n$ scalars $y_1, \dots, y_n$ which are in the range $[0,1]$. These polynomials have all positive coefficients. We want to find a ...
-3
votes
0answers
34 views

Approximation of non-Lipschitz (but continuous) functions by Lipschitz functions [closed]

Is there any algorithm to approximate non-Lipschitz (but continuous) functions by Lipschitz functions ?
11
votes
2answers
635 views

“Converse” of Taylor's theorem

Let $f:(a,b)\to\mathbb{R}$. We are given $(k+1)$ continuous functions $a_0,a_1,\ldots,a_k:(a,b)\to\mathbb{R}$ such that for every $c\in(a,b)$ we can write $f(c+t)=\sum_{i=0}^k a_i(c)t^i+o(t^k)$ (for ...
6
votes
3answers
2k views

Hilbert's 17th Problem for smooth functions

Consider an open subset $U \subseteq \mathbb{R}^n$ and a smooth function $f\colon U \longrightarrow \mathbb{R}$ with $f(x) \ge 0$ for all $x \in U$. It is then known (if I remember correctly: by ...
0
votes
0answers
28 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 ...
19
votes
2answers
2k views

Is this statement which relates the Fourier transform of a function to its singularities correct?

I am working on a problem, which would possibly relate the Fourier transform/series with the jump singularities of the function where the function itself or one of its derivatives jump. ((some kind of ...
4
votes
2answers
189 views

What is the status of the extreme value theorem in forms of constructive mathematics, such as Smooth Infinitesimal Analysis?

In certain intuitionistic frameworks the extreme value theorem cannot be proved. Depending on the exact framework, counterexamples can be constructed as well; see for example pp. 294-295 in ...
1
vote
2answers
190 views

Set of distinct real numbers such that all combination of sums are distinct

Let $\Lambda :=\{\lambda_1, \dots, \lambda_n\}$ be a set of $n$ distinct real numbers. For a given $p \in \mathbb N$, consider further the set $$I_p := \{ \{i_1, i_2, \dots, i_p\} : i_j \in \{1, ...
2
votes
1answer
131 views

Can't figure out “standard application” of the Garsia-Rodemich-Rumsey Lemma

I'm currently reading the paper http://arxiv.org/abs/0908.2473 and can't figure out what they call a "standard application" of the Garsia-Rodemich-Rumsey lemma (see p.8). Summed up, they have a ...
0
votes
0answers
58 views

what is the best estimation for the following

Suppose a continuous $2\pi$-periodic function $f:R\rightarrow R$ satisfies $$ |f(x+\delta)+f(x-\delta)-2f(x)|\leq \mathrm{const}\frac{\delta}{\Big(\log\frac{1}{\delta}\Big)^{\gamma}}, \,\,\, ...
1
vote
1answer
107 views

The class of bounded uniformly continuous functions in viscosity solution theory for Hamilton-Jacobi equations

Dumb question: Usually in viscosity solution theory for Hamilton Jacobi equations (with convex, coercive Hamiltonians), solutions are said to be in the class $BUC(\mathbb{R}^n)$ or ...
6
votes
1answer
159 views

Finiteness as a motivation for compactness

Another history question, and I am not sure if I will get any answers. (If anyone knows of a good history of math list to use for this question I would be happy for any tips. The one I used to post to ...
1
vote
0answers
68 views

Estimating convolutions of powers

I would like an asymptotic estimate of $$ \sum_{y \in \mathbb{Z}^d} \frac{1}{|y-a_1|^{d-1} \ldots |y-a_n|^{d-1}} $$ that does not involve any infinite summation. In order to lighten the notation, I ...
0
votes
1answer
55 views

Continuous real function on germs

Let $C_0^{m,n}$ be the space of germs of continuous maps from $\mathbb{R}^m$ to $\mathbb{R}^n$, located at $0\in\mathbb{R}^m$, with the usual inductive limit topology. One can also consider ...
2
votes
1answer
143 views

Is $\lim_{n \rightarrow \infty}\sum_{k=0}^{n} \frac{|(1-\frac{n p_n}{n})|^{n-k}- e^{- \lambda}|}{k!}=0$?

I am currently the convergence of different processes. Doing this, I ended up with this expression and was wondering whether it is true that$$\lim_{n \rightarrow \infty}\sum_{k=0}^{n} ...
4
votes
1answer
102 views

On a.e. approximate differentiability of certain continuous real functions

I have the following question: If $f:[0,1]\to \mathbb{R}$ is a bounded continuous function of $\sigma$-finite variation in sense 1, then is it true that $f$ is approximately differentiable a.e. on ...
2
votes
2answers
103 views

Name of a generalized version of semi-continuity

I have recently made use of the following generalization of a continuous function, which seems simple enough it ought to have been used before, but I cannot find any references. We will say a ...
3
votes
0answers
64 views

Almost everywhere in a rectangle [duplicate]

I would like to ask a question about the product (Lebesgue) measure on rectangle. I tried to solve the problem but I couldn't. Let $S$ be a subset of a region, say $R$ which is enclosed by a ...
6
votes
1answer
186 views

Spectrum of this ODE

I noticed something interesting studying this Sturm-Liouville Problem: $$ \frac{d}{dx}\left(\sqrt{(1-x^{2})}\frac{df}{dx} \right)+\frac{\left(n \alpha x+\alpha^2 x^{2} + ...
2
votes
1answer
190 views

The class of uniformly accelerated curves and surfaces

Once upon a time I was travelling by train and noticed an intresting optic effect I started to think about in terms of math. Let's consider two examples of curves: 1)The curve defined by the ...
2
votes
1answer
186 views

Measure of the same set in different models of ZF

Let $A$ be a definable subset of $\mathbb{R}$ in $\mathsf{ZF}$, and let $\mathcal{M},\mathcal{N}\models\mathsf{ZF}$ such that $A$ is lebesgue measurable in both models. Is ...
0
votes
1answer
108 views

The Largest Root of Associated Laguerre Polynomial

The Laguerre polynomial $L_n(x)$ is the solution to the Laguerre differential equation \begin{equation*} x\,y'' + (1 - x)\,y' + n\,y = 0. \end{equation*} The associated Laguerre polynomial ...
18
votes
2answers
1k views

An Entropy Inequality (generalized)

Let $X,Y$ be probability measures on $\{1,2,\dots,n\}$. For $0\le \alpha \le 1$, set $K=\sum_i X(i)^\alpha Y(i)^{1-\alpha}$ so that $Z:=\frac{1}{K}X^\alpha Y^{1-\alpha}$ is also a probability ...
2
votes
4answers
1k 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 ...
43
votes
13answers
5k views

Proofs of the uncountability of the reals.

Recently, I learnt in my analysis class the proof of the uncountability of the reals via the Nested Interval Theorem. At first, I was excited to see a variant proof (as it did not use the diagonal ...
0
votes
1answer
167 views

Limits of functions with converging zeros

What can one say about the derivatives of a smooth function of several variables that is a limit of smooth functions with converging zeros? More precisely, suppose that $f_i: R^n \to R^m$ is a ...
2
votes
2answers
95 views

Boundedness of ratio of linear functions

Consider the function \begin{eqnarray} f(x_1,x_2,\cdots, x_n) = \frac{\sum_{i}^{n}a_ix_i}{\sum_{i}^{n}b_ix_i}, \end{eqnarray} over the set $S = \{x := (x_1,x_2,\cdots, x_n):-1 \leq x_i \leq 1,\; ...
1
vote
0answers
52 views

A Density Problem

Let $ \mathscr{D}=\mathscr{D}(\mathbb{R}^n - {0}) $ be the space of all smooth functions with compact support in $ \mathbb{R}^n - {0} $ topologized by the standard Schwartz topology and let $ ...
14
votes
2answers
937 views

Generalization of Darboux's Theorem

Darboux's Theorem. If $f:[a,b]\to\mathbb R$ is differentiable and $f'(a)<\xi<f'(b)$, then there exists a $c\in (a,b)$, such that $\,f'(c)=\xi$. Does any of the following generalizations Let ...
2
votes
2answers
136 views

Product of Lebesgue and counting measures

Let $\mathbb R$ be endowed with the standard Euclidean topology and let $\widetilde {\mathbb R}$ denote the line endowed with the discrete topology. Let $\mu$ and $\nu$ denote the Lebesgue and ...
1
vote
0answers
51 views

How to test whether a distribution follows a power law? [closed]

I have the data of how many users post how many questions. For example, [UserCount, QuestionCount] [2, 100] [9, 10] [3, 80] ... ... it means each of the 2 users posts 100 questions, each of the 9 ...
5
votes
1answer
107 views

Is this graph of reciprocal power means always convex?

Let $$ p = (p_1, \ldots, p_n) $$ be a finite probability distribution, which for convenience I'll assume to have no zeroes: thus, $p_i > 0$ for all $i$ and $\sum_i p_i = 1$. Is the function ...
8
votes
2answers
568 views

Mathematical equivalent to ladder operators?

A powerful method in theoretical physics are ladder operators. They are used in QM to solve problems like the harmonic oscillator and the hydrogen atom. The idea is to solve with their help the ...
1
vote
0answers
127 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
vote
0answers
83 views

Inequality for an integral [closed]

How to prove that the function $$f(r)=(1 - r^2) \int_0^{2\pi}|Re[\frac{e^{i a} (2 - e^{-i s} r)}{(-e^{i s} + r)^2}]|ds$$ for real $a$ and $r\in[0,1]$ attains its maximum for $r=0$ with $f(0)=8$.
8
votes
1answer
310 views

Partition $\Bbb{R}$ into a family of sets each one homeomorphic to the Cantor set

It is known that there is no (nontrivial) partition of $\Bbb{R}$ into a countable number of closed set. But is there a partition of $\Bbb{R}$ into sets, each one homeomorphic to the cantor ternary ...
4
votes
0answers
203 views

Why does it seem that $rca=rba$? [closed]

The following paradox has got me stumped. I'm hoping someone can point out the error. Take a locally compact metric space $X$ and define the $C_b(X)$ and $C_0(X)$ as the spaces of continuous ...
7
votes
3answers
1k views

the dual space of C(X) (X is noncompact metric space)

It is well known that when $X$ is a compact space (or locally compact space), the dual space of $C(X)=\{f |f: X\rightarrow X \text{ is continuous and bounded} \}$ is $M(X)$, the space of Radon ...