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
1answer
52 views

Characterization of contraction mapping

Let $T$ be a mapping from $\mathbb{R}^n \to \mathbb{R}^n$. Fix $x^\star \in \mathbb{R}^n$, and suppose that the Jacobian matrix of $T(x) $ at $x = x^\star$is symmetric. Then, I know that if all the ...
1
vote
1answer
118 views

Is this correct for Rudin exercise 3.7? Prove the series is convergent

This is Baby Rudin exercise 7 of Chapter 3. Prove that the convergence of $\sum{a_n}$ implies the convergence of $\sum{\sqrt {a_k} \over k}$ if $a_n \le 0$. Proof: I will attempt to show that the ...
0
votes
2answers
16 views

On the existence of a particular type of real sequence of functions

Does there exist a sequence of real valued functions $\{f_n\}$ with domain $\mathbb R$ which is uniformly convergent ( on some subset of $\mathbb R$ ) to a continuous function and such that each $f_n$ ...
1
vote
2answers
44 views

denseness of polynomials in bounded borel measurable functions

Let $K\subseteq \mathbb{R}$ be compact, consider $B(K)$ the set of all bounded borel measurable functions $f:K\to \mathbb{C}$ and endow $B(K)$ with the uniform norm, so you obtain a Banach space. My ...
1
vote
1answer
28 views

On the projection onto the image set of an $m\times n$ matrix

I came accross as statement that: "If $K$ is the image set of an $m\times n$ matrix $A$ with full column rank, then $$P_Kx=A(A^TA)^{-1}A^Tx."$$ How do I verify this? I know that the inequality ...
-1
votes
2answers
90 views

Improper rational/trig integral comes out to $\pi/e$ [closed]

During my studying to integration I find this integration. So I tried to prove but I got stuk. So I need help in this integration. $$\displaystyle\int_{-\infty}^{\infty} \frac{x \sin (x)}{1+x^2} ...
3
votes
1answer
58 views

the sequence of derivative cannot satisfy $|f^{(n)}(z_0)| > n!n^n$

Let $f: \Omega \to \mathbb{C}$. Prove that for any $z_0 \in \Omega$, the sequence of derivatives cannot satisfy $|f^{(n)}(z_0)| > n!n^n$ In this problem, I intend to prove by contradiction, and I ...
5
votes
2answers
69 views

A problem related to integration in $L^1$

If $f\in L^1[0, 1]$ and $\int_{0}^1 x^nf(x)=0$ for all $n = 0,1,2,...$then prove that $f$ is identically zero almost everywhere. This would be very easier to prove if $f$ were continuous on $[0, 1]$ ...
0
votes
0answers
317 views

Sensitivity Analysis: Calculating Allowable increase/Decrease for a Binding Constraint

Let say we have the following equations: Objective Function = $7T+5C$ Contraints $3T + 4C \le 2400$ $2T + C \le 1000$ $C \le 450$ $T\le 100$ How would we calculate the allowable increase and ...
0
votes
2answers
37 views

Open cover with no finite subcovers for the set [0, ∞)

I am trying to find an open cover with no finite subcovers for the set $[0, \infty)$ I am thinking union from $n=1$ to $\infty$ of the sets $(0,n)$ Does this work or does this give me $(0,\infty)$? ...
3
votes
1answer
115 views

When does $\exp\left(\sum_{i=1}^\infty a_i\right)=\prod_{i=1}^\infty \exp(a_i) ?$

Considering the complex logarithm, when do we have $$\exp\left(\sum_{i=1}^\infty a_i\right)=\prod_{i=1}^\infty \exp(a_i) ?$$ I originally wanted to try to prove it by showing $$\lim \prod^N ...
2
votes
1answer
31 views

Properties of unimodal functions

A probability density function $f$ is said to be unimodal if the value at which the maximum value of the function is attained is unique. I am reading some papers on econometrics that appear to use ...
0
votes
1answer
79 views

Fourier expansion of absolute value of a periodic function

For an arbitrary periodic function p(x), whose period and Fourier expansion might have been known in advance, how can we get the Fourier expansion/coefficients of |p(x)| from them? Or, if possible, ...
4
votes
2answers
57 views

Why can the elements of $L^\infty$ be approximated in $L^p$ by $C^1$-functions?

Let $\Omega\subseteq\mathbb R^n$ be a bounded domain and $f\in L^\infty(\Omega)$. From which theorem does the existence of $(f_k)_{k\in\mathbb N}\subseteq C^1(\overline\Omega)$ with ...
1
vote
0answers
22 views

f:Lebesgue measurable function ⇆ ∀ε>0, ∃g:continuous function s.t. λ({x|f(x)≠g(x)})<ε

my friend told me this non-obvious prop. I think false,but I can't understand. Does anyone solve this problem?
3
votes
1answer
60 views

Methods to Minimize Functions and Integrals over $\mathbb{N}$.

In a paper I'm writing, I have to minimize a messy function $f(\mu,n)$ where $\mu \in \mathbb{R}$ and $n \in \mathbb{N}$. That is, given $\mu \in \mathbb{R}$, I need to minimize the one variable ...
0
votes
1answer
37 views

conditions on Fourier Transform of derivative

At page 445 of Myint-U's Linear Partial Differential Equations (4th Ed), Fourier Tranform of derivative is defined as: Let $f$ be a continuous and piecewise smooth in $(-\infty, \infty)$. Let $f(x)$ ...
4
votes
1answer
59 views

Proving an equivalent definition of the $\lim_{x\to a}f(x)$ exists [duplicate]

Prove that the following statements are equivalent. (a) $\lim_{x\to a}f(x)$ exists (b) Given $\epsilon \gt 0$, there is a $\delta \gt 0$ such that if $0\lt |x-a| \lt \delta, 0\lt |y-a| \lt \delta$, ...
5
votes
1answer
82 views

Derivation of Gradshteyn and Ryzhik integral 3.876.1 (in question)

In the Gradshteyn and Ryzhik Table of Integrals, the following integral appears (3.876.1, page 486 in the 8th edition): \begin{equation} \int_0^{\infty} \frac{\sin (p \sqrt{x^2 + a^2})}{\sqrt{x^2 + ...
2
votes
2answers
47 views

Measure space and measurable function

Let $f :\mathbb R\rightarrow \mathbb R$ is a continuous function then the set $\{x \in \mathbb R : \mu ((f^{-1}(x)) >0 \}$ has a zero measure. I think in the case, if f is a step function this ...
0
votes
3answers
58 views

Find bounded function satisfying f(0)=0, f'(0)=0, and bounded first and second derivatives

I am looking for a bounded funtion $f$ on $\mathbb{R}_+$ satisfying $f(0)=0$, $f'(0)=0$ and with bounded first and second derivatives. My intitial idea has been to consider trigonometric functions or ...
0
votes
3answers
15 views

$A$ be a convex subset and $D$ be dense in a real NLS ; then for every non-empty open subset $U$ of the NLS , $U\cap D\cap V \ne \phi$?

Let $A$ be a convex subset of a real normed linear space $V$ and $D$ be a dense subset of $V$ ; then is it true that for every non-empty open subset $U$ of $V$ , $U\cap D\cap A $ is non-empty ?
1
vote
2answers
54 views

Sum over values of auxiliary function gets arbitrary big, justification

Let $f : \mathbb N_{>0} \to \mathbb R_{\ge 0}$ be a function satisfying $\sum_{n=1}^{\infty} 2^{-f(n)} = \infty$ (like $f(n) = \log n$). Define $$ F(n) = \left\lfloor \log_2\left( \sum_{i=1}^n ...
4
votes
1answer
37 views

Complement of the union of countably many , mutually disjoint , non-empty open balls in $\mathbb R^n , (n >1) $ is path connected?

Let $n \ge 2$ and $\{B_m\}_{m=1}^\infty$ be countably infinitely many , mutually disjoint , non-empty open balls in $\mathbb R^n$ , then is $\mathbb R^n \setminus \cup_{m=1}^\infty B_m$ ...
-1
votes
1answer
41 views

prove $\max \mathbf{a}^T \mathbf{b}_i \leq \mathbf{a}^T \mathbf{c}_i$

Can I prove the following (with or without assumptions, e.g. all the elements in $\mathbf{a}$ or $\mathbf{b}$ are positive? $\max \mathbf{a}^T \mathbf{b}_i \leq \mathbf{a}^T \mathbf{c}_i$ where ...
0
votes
0answers
21 views

Is it possible to prove $\arg\min_a f(\max(\mathbf{a}^T\mathbf{b}_i)) = \arg\min_a f(\mathbf{a}^T\max(\mathbf{b}_i))$

I have the following optimization problem, $ \arg\min_\mathbf{a} f(\max(\mathbf{a}^T\mathbf{b}_i))\;\; i=1, \dots ,N$ where $\mathbf{a}$ and $\mathbf{b}_i$ are vectors of dimension $d$. Let $B = ...
0
votes
0answers
41 views

Prob. 1, Sec. 28 in Munkres' TOPOLOGY, 2nd ed: An infinite subset of $[0,1]^\omega$ without limit points in the uniform topology?

Let $[0,1]^\omega$ denote the set of all sequences of real numbers in the closed unit interval $[0,1]$, and let the uniform metric $d$ on $[0,1]^\omega$ be given by $$d\left( (x_n)_{n\in\mathbb{N}} , ...
3
votes
1answer
80 views

A question on the Banach fixed point theorem.

Suppose $f:(X,\tilde{d})\rightarrow(X,d)$ be a continuous function satisfying \begin{eqnarray}d(f(x),f(y))\leq \lambda d(x,y),\end{eqnarray} $\lambda > 1$. Let $\tilde{d}(x,y)=\lambda d(x,y)$. I ...
0
votes
1answer
63 views

Given a real $x$ and an integer $N \gt 1$, prove that there exist integers $h$ and $k$ with $0 \lt k \le N$ such that $|kx-h|\lt 1/N$. [duplicate]

Given a real $x$ and an integer $N \gt 1$, prove that there exist integers $h$ and $k$ with $0 \lt k \le N$ such that $|kx-h|\lt 1/N$. Hint. Consider the $N+1$ numbers $tx-[tx]$ for $t=0,1,2,\dots, N$ ...
1
vote
0answers
56 views

Integral of a function which is everywhere discontinuous?

Yesterday, I tried to carry out a little thought experiment when it came to taking limits and have found that it has pushed my understanding of them to the breaking point. I tried considering the ...
4
votes
3answers
103 views

Asymptotic series of a matrix-valued function.

Consider the following matrix $$f(\lambda)=\left( \frac{\lambda-1}{\lambda + 1} \right)^{\nu \sigma_3} \ \ \ \lambda \in \mathbb{C} \setminus [-1,1]$$ where $\sigma_3=\begin{pmatrix} 1 & 0 \\ 0 ...
0
votes
2answers
74 views

Proof that |x-a| is continuous at x=a (epsilon delta), and nondifferentiable at x=a.

I need help justifying that $|x-a|$ is continuous and non-differentiable at $x=a$. I would also like to prove that it achieves a minimum at $x=a$, but I do not know if that is already clear enough.
2
votes
3answers
94 views

A question about complex integration of $\frac{1}{p(z)}$

Let $p(z)$ be a polynomial of degree $n\ge 2$. Is it true that, there is a $R>0$ such that $$\int\limits_{|z|=R}{\frac{1}{p(z)}dz}=0?$$ My attempt is: there is a $R>0$ such that $|p(z)|\ge ...
0
votes
1answer
35 views

Show the graph is Jordan region with volume 0

Let $f \colon [a, b] →\mathbb R$ be a continuous function. Then prove that the graph of $f$, $$\operatorname{Graph}(f) := \{\,(y, x) \in \mathbb R^2\mid y = f(x), x \in [a, b]\,\}$$ is a Jordan ...
2
votes
1answer
77 views

Fundamental solution for a parabolic PDE with costant coefficents

as it is well known, the fundamental solution of the heat equation is the function $G(t,x)=\frac{1}{(4\pi t)^{n/2}}e^{\frac{|x|^2}{4t}}$, for all $t>0,x\in\mathbb{R}^n$. I wonder if exists (and ...
0
votes
0answers
52 views

Prob. 10, Sec. 4.5 in Kreyszig's Functional Analysis: How to relate this result to solution of equations?

Let $T \colon X \to Y$ be a bounded linear operator, where $X$ and $Y$ are normed spaces, both real or both complex; let $B$ be a subset of the dual space $X^\prime$ (i.e. the normed space of all the ...
0
votes
0answers
30 views

Continuity of translation property [duplicate]

Let $u \in L^{p}(U)$ where $1 \leq p \lt \infty$ & $U \subseteq \mathbb R^{n}$ . Define : $F : \mathbb R^{n} \to L^{p}(U) $ by $ F(y) := u(x+y)$ . Prove that: as a function of $y$ ; $F(y) $ is ...
1
vote
1answer
79 views

Asymptotic expansion of integral with hyperbolic functions

Consider the integral given by $$f(r)=\int_{0}^{\tanh(r)} \arccos\left(\frac{\sigma}{\sinh(r)\sqrt{1-\sigma^2}}\right)\cdot \frac{1}{\sqrt{\sigma^2+a^2}}d\sigma,$$ where $a>0$. I am wondering ...
4
votes
2answers
180 views

Why doesn't this work for Rudin Exercise 3.8

The problem is 3.8 exercise in baby Rudin: If $ \sum{a_n} $ converges and $\{b_n\}$ is bounded and monotonic, prove that $\sum{a_nb_n}$ converges. Why can't I just do this?: Let $M$ be an ...
1
vote
0answers
40 views

continuous, compactly supported function with zero not in the image of the support

Rudin defines (Def. 2.9) the support $K$ of a complex function $f$ on a topological space $X$ to bet the closure of the set $\{x:f(x)\neq 0\}$. He then claims that if $X$ is not compact and $f$ is a ...
0
votes
0answers
70 views

Statement about the discrete (metric) space, and both an open and closed ball.

I have the following statement from my notes: "Let $(X,d)$ be the discrete space i.e. any non-empty set with the discrete metric ($d_d(x,y)=1$ for all $x\neq y$). Then, amazingly, $B_1(x)=\{x\}$, a ...
1
vote
1answer
211 views

Dense $G_{\delta}$ set implies comeagre set

Suppose that $X$ is a metric space. Show that if $D$ is a dense $G_{\delta}$ set, then $D$ is comeagre, that is, countable intersection of dense sets. My attempt: Let $D=\bigcap_{n \in ...
0
votes
1answer
50 views

Expressing $\cos(\varphi x)$ as a function of $x\sin\varphi,x\cos\varphi$

Let $\varphi,x\in\mathbb{R}$. I wonder if one can explicitly express $\cos(\varphi x)$ as a function of the variables $x\sin\varphi$ and $x\cos\varphi$. Suppose we denote ...
1
vote
1answer
43 views

Prob. 3, Sec. 3.2 in Kreyszig's Functional Analysis Book: Is the space of all polynomials of a fixed degree complete? [duplicate]

Let $n$ be a given natural number, and let $X$ denote the vector space consisting of the zero polynomial and of all polynomials of degree at most $n$, with real or complex numbers as co-efficients, ...
1
vote
0answers
41 views

How to prove the convergence of a sequence satisfying $a_{k+1} \leq c_{1} a_{k} + \frac{c_{2}}{a_{k}} +1$?

Assume a positive sequence $\left\{ a_{k} \right\}$ satisfying \begin{equation} a_{k+1} \leq c_{1} a_{k} + \frac{c_{2}}{a_{k}} +1, k \in \mathbb{N} \end{equation} where $c_{1},c_{2},a_{1} > 0$. ...
8
votes
2answers
176 views

How to prove there exist distinct $a_{i}$ such $f'(a_{1})f'(a_{2})f'(a_{3})\cdots f'(a_{n})=1$

Let $f$ be a continuous map from $[0,1]$ to $R$ that is differentiable on $(0,1)$,with $f(0)=0,f(1)=1$, show that for each postive integer $n$ there exist distinct numbers $a_{1},a_{2},\cdots,a_{n}\in ...
3
votes
0answers
65 views

“composition” of “pointwise convergent sequences of functions”

Intuitively, if $f_n\to f$ as $n\to\infty$ and $g^{(n)}_i\to f_n$ as $i\to\infty$, can we get $g_j\to f$ as $j\to\infty$? Formally, Let $\{f_n\}_n$ be a sequence of functions from $\mathbb{R}^d$ ...
0
votes
0answers
37 views

Existence and uniqueness of a pde solution

I have the PDE system: $\frac{\delta}{\delta t}u(t,r)=-\int_0^1 H(|r-r'|)v(t,r')dr'u(t,r)$ $\frac{\delta}{\delta t}v(t,r)=\int_0^1 H(|r-r'|)v(t,r')dr'u(t,r)-v(t,r)$ $x(0,r)=\rho(r), ...
0
votes
2answers
45 views

What can I say about the constant of a Lipschitz condition for a scaled norm?

Let's say $X$ is a vector space with inner product $\langle \cdot,\cdot\rangle$ and induced norm $\|\cdot\|$. Then for a scalar $\theta > 0$ we define $\langle \cdot,\cdot\rangle_{\theta} := ...
1
vote
0answers
46 views

why does a nonempty convex set have a nonempty interior

Suppose $A \neq \emptyset$ is a convex set in $R^n$, or generally a metric space, then is there any neat proof to show that $A$ has nonempty interior? Thanks for the help.