Mathematical analysis. Consider a more specific tag instead: (real-analysis), (complex-analysis), (functional-analysis), (fourier-analysis), (measure-theory), (calculus-of-variations), etc. For data analysis, use (data-analysis).

learn more… | top users | synonyms (1)

1
vote
0answers
13 views

How Fourier transform(opeartor) behaves with the operation composition?

It is well-known that Fourier transform takes convolution into a point-wise multiplication, that is, $\widehat{f\ast g}= \hat{f}\cdot \hat{g}$, for $f, g \in L^{1}(\mathbb R).$ That is, bit roughly, ...
-2
votes
1answer
37 views

IMPROPER INTEGRAL of euler formula [on hold]

Find the value of this improper integral given by $\int_\mathbb{R} e^{i \theta} d \theta$.
1
vote
4answers
41 views

How to prove that $\int_{0}^{\infty}{\frac{e^{-nx}}{\sqrt{x}}}dx$ exists

I am trying to show that the integral $\int_{0}^{\infty}{\frac{e^{-nx}}{\sqrt{x}}}dx$ exists ($n$ is a natural number). I tried to use the comparison theorem by bounding from above the integrand by ...
0
votes
1answer
34 views

What is missing? (Rudin's Principles of Mathematical Analysis - Theorem 2.30)

Let us first give a definition: Definition Given a metric space $X$, and a subset $Y\subseteq X$, we say a subset $E$ of $Y$ is open relative to $Y$ if for each $p\in E$ there is an associated ...
0
votes
1answer
39 views

Square integrability of functions

Suppose that for a function $f(x)\,\,, x\in\mathbb{R}$ holds \begin{align} \int_{0}^{T}|f(x)|^{2} ~\mathrm{d}x<\infty \end{align} Does it also holds that \begin{align} ...
2
votes
1answer
46 views

How to arrive at desired equality?

Why is the following second equality true? $$e^{1+1/2+...+1/(n+1)} - e^{1+1/2+...+1/n} \\= ...
1
vote
0answers
29 views

Stuck on continuity proof (like 8 sheets of A4…) $p_if$ is cont. iff $f$ is cont, $p_i:X\rightarrow X_i$ given by $p_i(a)=a_i$ for $a=(a_1,…,a_n)$

Let $Y$ be a metric space, let $f:Y\rightarrow X$ where $(X,d)$ is a metric space given by $X=\prod^n_{i=1}X_i$ equipped with the stadard metric ($\max$) I wish to prove $f$ is continuous iff ...
2
votes
1answer
32 views

If each uncountable set $T$ has a countable subset, can we form $T$ by a union of countable subsets?

I was working my way through the set theory chapter in my Analysis textbook when I stumbled across these two theorems: Every infinite set has a countable subset A union of countable subsets ...
1
vote
1answer
18 views

Lemniscate curve parametrization exercise

Let $\gamma (t) : \mathbb R \to \mathbb R^2$ be the function $$\gamma(t)=\left(\frac{(1+t^2)t}{1+t^4},\frac{(1-t^2)t}{1+t^4}\right)$$ Prove that the function is $\gamma$ is differentiable, regular ...
0
votes
1answer
34 views

Arc lenght of a curve is finite

Let $b<0<a$, and consider the function $\alpha:(0,+\infty) \to \mathbb R^2$ defined as $$\alpha(t)=(ae^{bt}\cos(t),ae^{bt}\sin(t))$$ Show that $\lim_{t \to +\infty} \alpha'(t)=(0,0)$ and ...
0
votes
1answer
32 views

Is there an explicit polynomial form for the product of consecutive integers?

I have the product $\prod_{j=0}^{r-1} (n+j)= n(n+1)\cdots(n+r-1)$ where n is a positive integer, and I was wondering if there was an explicit polynomial form for it (as a polynomial of degree r). I've ...
2
votes
0answers
35 views

simultaneous trigonometric equations

Consider the pair of simultaneous equations $p_5\cos(2\omega\tau)+p_4\omega\sin(2\omega\tau) = p_1\omega^2-p_3-p_6\cos(3\omega\tau) $, $p_4\omega\cos(2\omega\tau)-p_5\sin(2\omega\tau) = ...
0
votes
5answers
80 views

Assumptions in Word Problems (Calculus)

I just had a small question about assumptions in mathematical word problems. Suppose you are given a calculus problem (related-rates), "A spherical balloon is inflated with gas at the rate of 800 ...
1
vote
1answer
117 views

How to find this integral $\int_{0}^{\infty}\dfrac{f(x)}{g(x)}dx$ [duplicate]

show that: $$I=\int_{0}^{\infty}\dfrac{x^8-4x^6+9x^4-5x^2+1}{x^{12}-10x^{10}+37x^8-42x^6+26x^4-8x^2+1}dx=\dfrac{\pi}{2}$$ I found this : ...
0
votes
0answers
13 views

Coordinate Change Operator

Let $ f: \mathbb{R} \rightarrow \mathbb{R} $ be analytic. Recall that for $ h \in \mathbb{R} $, the translated function $ \tilde{f} (x) = f(x+h) $ can be formally written as $ \tilde{f} = e^{ h ...
0
votes
1answer
18 views

About a convergence of measurable functions

Let $f_{n}$ be a sequence of measurable functions in M(X,m), is that true that {$ {x∈X∣lim f_{n}∈R}$} $ $ = $⋃ _{M=1} ^∞⋂ _{N=1} ^∞ ⋃ _{n=N}^ ∞ ${x∈X∣ ∣f_{n} -f_{N} ∣< (1/M)}$ $ and that ...
1
vote
1answer
16 views

Is this a B-measurable funtion?

Is the function defined by: $f(x)=e^x $ if x is in E and $f(x)=e^{-x} $ if x is not in E measurable?, here f goes from R to R, and E is not member of the Borel-algebra
1
vote
0answers
31 views

Dirichlet Eigenvalues of Laplace-Beltrami operator in Hyperbolic space

Consider the hyperbolic half-plane $\mathbb{H}=\lbrace (x,y)\in\mathbb{R}^2: y>0 \rbrace$ with standard Riemannian metric. The Laplace-Beltrami Operator can be written as ...
2
votes
2answers
49 views

Some special Metric on R

Apart from usual and discrete metric is there a metric on R which satisfy: d(x, y) = d(x+r , y+r) where x and y are any real no. and r is arbitary real no. Similarly is there a ...
1
vote
1answer
36 views

Prove that $f(x) > g(x)$ where both functions are convex and have the same value and slope at $0$

Let $f: [-a,a] \to \mathbb{R}$ and $g: [-a,a] \to \mathbb{R}$ be two non-negative, convex and smooth functions. We further know $f(0) = g(0)=0$ and $f'(0) = g'(0)=0$. I'd like to show $$f(x) \ge ...
1
vote
2answers
56 views

$2\pi$ in the Definition of Fourier Transform

Most textbooks I read define Fourier transform of a function $f \in L^2(\mathbb R)$ as $$ \hat f (\xi) := \int_\mathbb R f(x) e^{-2\pi i x \xi} dx. $$ However, in class my teacher defines it without ...
1
vote
2answers
42 views

How to check for convexity of function that is not everywhere differentiable?

I have a question. I have just been introduced to the subject of convex sets and convex functions. I read this in wikipedia that a practical test for convexity is - to check whether the 2nd ...
2
votes
1answer
67 views

Proving a set of numbers has arithmetic progressions of arbitrary length, but none infinite

For each real number $x$, let $[x]$ be the largest integer less than or equal to $x$. For example, $$[5] = 5$$ $$[7.9] = 7,$$ and $$[−2.4] = −3.$$ An arithmetic progression of length $k$ is a ...
3
votes
1answer
64 views

Functions for which $\mathcal{F}g = f \ast f$

Suppose one is given $f \in L^{2}(\mathbb{R})$, my question is whether or not there exists a $g \in L^{1}(\mathbb{R})$ such that $f \ast f = \mathcal{F}g$ where $\mathcal{F}$ is the Fourier transform. ...
2
votes
2answers
27 views

How to show $\textrm{supp}(f*g)\subseteq \textrm{supp}(f)+\textrm{supp}(g)$?

Let $f, g\in C_0(\mathbb R^n)$ where $C_0(\mathbb R^n)$ is the set of all continuous functions on $\mathbb R^n$ with compact support. In this case $$(f*g)(x)=\int_{\mathbb R^n} f(x-y)g(y)\ dy,$$ is ...
0
votes
1answer
36 views

Prove limit of function

Let $f:(a,+\infty) \to \mathbb{R}$ and on every finite $(a,b)$ interval function $f$ is bounded. Then $$\lim_{x \to \infty}\frac{f(x)}{x}=\lim_{x \to \infty}f(x+1)-f(x)$$ How can we prove or ...
7
votes
1answer
88 views

Nonstandard complex numbers and categoricity

Let ${}^*\mathbb{C}$ be a nonstandard complex number field (given, for instance, as a countable ultrapower.) By the transfer principle ${}^*\mathbb{C}$ is algebraically closed of characteristic zero, ...
0
votes
2answers
54 views

How should I calculate $\displaystyle\int_{-\infty}^\infty\exp\left\{-\frac{1}{2}(x-it)^2\right\}dx$?

I've read that the residue theorem would help to calculate $$I:=\displaystyle\int_{-\infty}^\infty\underbrace{\exp\left\{-\frac{1}{2}(x-it)^2\right\}}_{=:f(x)}dx$$ Since $f$ is an entire function ...
2
votes
2answers
100 views

A continuously differentiable function with vanishing determinant is non-injective?

(This question relates to my incomplete answer at http://math.stackexchange.com/a/892212/168832.) Is the following true (for all n)? "If $f: \mathbb{R}^n \rightarrow \mathbb{R}^n$ is continuously ...
1
vote
0answers
52 views

Comparing a number with a line of power

How do you compare which is bigger (or maybe equal), LHS or RHS, in $$a \sim b_1^{b_2^{.^{.^{.^{b_n}}}}}$$ given $a$ and $b_i$, $1 \leq i \leq n$, are non-negative integers (also could be big)? The ...
1
vote
1answer
31 views

Entire functions such that $\limsup_{z \rightarrow \infty}\frac{|\log |f(z)||}{|z|} < \infty$

The problem I am working on is to find all entire functions satisfying $|f(z)| > 0$ for $|z|$ large and $$\limsup_{z \rightarrow \infty}\frac{|\log |f(z)||}{|z|} < \infty.$$ My guess is that ...
3
votes
0answers
50 views

Condition on Equality of closure of open ball and closed ball, suppose I have a counterexample

Let $(X, d)$ be a metric space. Also for $x \in X$ and $r \ge 0$ define: $$ B(x,r) = \{ y \in X : d(x,y) < r \} \quad \mbox{ and } \quad K(x,r) = \{ y \in X : d(x,y) \le r \}. $$ Denote by ...
0
votes
0answers
17 views

Is $d\mu = g\, dm$ a Radon measure for $g \in L^{1}(dm)$?

Let $m$ is the standard Lebesgue measure and let $g \in L^{1}(dm)$. We know that $m$ is a Radon measure. Is $\mu$ defined by $d\mu = g\, dm$ also a Radon measure? We first claim that $\mu(K) < ...
0
votes
1answer
31 views

Dense subset of $L^{2}$ such that $x^{-1/2}f \in L^{1}$ and $\int_{[0, 1]}x^{-1/2}f\, dx = 0$

Does there exist a dense set of functions $f \in L^{2}([0, 1])$ such that $x^{-1/2}f(x) \in L^{1}([0, 1])$ and $\int_{0}^{1}x^{-1/2}f(x)\, dx = 0$? I've noticed that $\int_{0}^{1}x^{-1/2}f(x)\, dx = ...
1
vote
1answer
10 views

Bound on the derivative of a cut-off function

Let $\rho$ be a smooth function in $\mathbb R^n$ such that $0 \leq \rho \leq 1$ and $\rho$ is supported in the unit disk and let $\rho_\epsilon(x) = \epsilon^{-n}\rho(\epsilon^{-1}\|x\|)$. If $f$ is ...
1
vote
1answer
21 views

Products of distributions ill-defined

This question concerns distributions, as often encountered in PDE theory, which are defined as continuous linear functionals on the space $C_0^{\infty}(\Omega)$ of test functions. The product of two ...
0
votes
0answers
31 views

Recommendation of analysis textbooks

I'm studying real&complex analysis, functional analysis, measure theory, and Lebesgue integral. I want to make sure which books to use in order to study these fields most rigorously and deeply. ...
0
votes
1answer
63 views

Continuity, and continuity in topology.

Metric spaces: Neighborhood of a point $a$ is a Set of point $N$, such that $\exists\delta>0:B_\delta(a)\subset N$ ($B_r(x)$ = open ball at x of radius r) Definition of open set: "A subset $O$ of ...
0
votes
5answers
92 views

Prove that if $n$ is an integer, then $n^2 + n^3$ is an even number

I am trying to work through some of the problems in Stephen Lay's Introduction to Analysis with Proof before my Real Analysis class in the fall term starts, and I was just wondering if I could get ...
1
vote
1answer
19 views

Proof, that equation decribes trace of curve, which is supposed to be simple

The equation, representing the trace of the curve $$ \varphi(x) = (\cos^3(t), \sin^3(t)) $$ is $1 = x^{\frac{2}{3}} + y^{\frac{2}{3}}$. Proof: Let $(x,y) = (\cos^3 t, \sin^3 t)$, then $x^{1/3} = ...
0
votes
1answer
16 views

Ways to represent functions of bounded variation as the difference of two monotone functions

I learnt (it is called Jordan's representation theorem) that every function $f : [a,b] \to \mathbb R$ with bounded variation could be represented as the difference $f = g - h$ of two monotone ...
0
votes
0answers
66 views
+50

Understanding last step of a proof that $\text{two trajectories cannot cross at a finite value of } t$ (Phase trajectories/nodes)

I have read that two trajectories cannot cross (Phase plane and nodes). The following proof was attached: Proof: Suppose $\vec y_A(t_A) = \vec y_{P_0} = \vec y_B (t_B)$ Set $\vec y(t) = \vec ...
1
vote
1answer
26 views

Discretization of an integral

Given $f: [a,b] \to R $ and $K: [a,b]$ x $[a,b]$ $\to R$, we want to find a solution $\varphi:[a,b] \to R $ to the Fredholm integral equation: $$\varphi(x) = f(x)+\int _{ a }^{ b }{ K( x,t)\varphi ...
0
votes
0answers
23 views

How many eligible bachelors in a city? [closed]

This is a very simple question posed to me by a friend of mine. I know it's a statistical analysis problem, but I suck at math. Given the total population of $x$ within a metropolitan area, what ...
0
votes
1answer
62 views

Does it converges? $ \sum \frac{\sqrt{n}\ln(n)}{n^2+1} $

As I checked on Wolfram Alpha I know that $$ \sum \frac{\sqrt{n}\ln(n)}{n^2+1} $$ Converges. But have tried many tests to show that, without success. I tried ratio/root (inconclusive). Cauchy test ...
1
vote
1answer
55 views

Consider the mapping $\mathbb{R}^3 (x,y,z)$ to $\mathbb{R}^3(u,v,w)$ given in coordinates

Consider the mapping $\mathbb{R}^3 (x,y,z)$ to $\mathbb{R}^3(u,v,w)$ given in coordinates $$ \left\{ \begin{array}{c} u = yz\sin(x)\\ v = y^2 - x\\ w = xz \end{array} \right. $$ Determine the ranks ...
1
vote
3answers
47 views

$f: \mathbb{R}^2 \to \mathbb{R}$ is a continuously differentiable function (of class $C^1$). Show that mapping f can not be one-to-one mapping.

$f: \mathbb{R}^2 \to \mathbb{R}$ is a continuously differentiable function (of class $C^1$). Show that mapping $f$ cannot be one-to-one mapping. Let $D_1F(x,y) \neq 0$ for all $(x,y)$ for some open ...
2
votes
0answers
16 views

Calderón reproducing formula : $\int_{0}^{\infty}\int_{R^d}|\phi_{t}(x-y)||(\phi_t*f)(y)|\frac{dt}{t}dy<\infty$

Suppose that $\int f=0$, $f \in L^2$ and $f$ has a compact support. Let $\phi$ be radial, and such that $\mathrm{supp}(\phi) \in B(0,1)$. Plus, assume that $\int_{R^+} ...
0
votes
0answers
30 views

Sum of function applied to parts not equal to function of total

The general goal is to determine the effectiveness of the test pill's ability to keep the test subjects from getting sick using the following data. | Test Subjects | Took Test Pill | ...
1
vote
1answer
23 views

Find sup$\{|f′(3)| : f$ maps $Ω$ analytically into the unit disk $\}.$

Let $Ω=\{z=x+iy∈C : |y|<x\}.$ Find sup$\{|f′(3)| : f$ maps $Ω$ analytically into the unit disk $\}.$ Okay. So I can find a conformal map from $Ω\rightarrow \mathbb{D}$. I used the map $f(z) = ...