Intereting Posts

Integrating $\int_\Gamma1/z \, dz$ Through a “Branch Cut”
Is it possible to intuitively explain, how the three irrational numbers $e$, $i$ and $\pi$ are related?
Is there something like Cardano's method for a SOLVABLE quintic.
shortest distance between two points on $S^2$
Identifying the series $\sum\limits_{k=-\infty}^{\infty} 2^k x^{2^k}$
Prime divisors of $5a^4-5a^2+1$
Domain of a random variable – sample space or probability space?
Prove (or disprove) the equivalence of AP, LUB, NIT and MCT
In what order should the following areas of mathematics be learned?
A game with two dice
Do polynomials in two variables always factor in linear terms?
Matrix of Infinite Dimension
Summation of $\sum\limits_{n=1}^{\infty} \frac{x(x+1) \cdots (x+n-1)}{y(y+1) \cdots (y+n-1)}$
Verifying Hilberts Nullstellensatz on a particular example
Show that $y = \frac{2x}{x^2 +1}$ lies between $-1$ and $1$ inclusive.

I have seen here, that the operator norm of a Fredholm operator $T_k(f)(s):=\int_0^1 k(s,t) f(t) dt $, where $k \in L^2([0,1]^2)$ and $f \in L^2([0,1])$ is not equal to the $L^2$ norm of the Kernel.

But can I show that for $T_k:C(a,b)\rightarrow C(a,b)$ and $k\in C([a,b]^2)$ $$\Vert T_k\Vert=\sup_{x\in [a,b]}\int_a^b|k(x,y)|dy\;?$$

- Closure of a set of real-valued functions…
- Property of sum $\sum_{k=1}^{+\infty}\frac{(2k+1)^{4n+1}}{1+\exp{((2k+1)\pi)}}$
- Why if $f'$ is unbounded, then $f$ isn't uniformly continuous?
- Show that $\lim_{n \rightarrow \infty} \frac{\sin^{n}(\frac{x}{\sqrt{n}})}{\left(\frac{x}{\sqrt{n}} \right)^n} = e^{-\frac{x^2}{6}} $
- Continuity of the Characteristic Function of a RV
- Are angles ever multiplied?

- For $f$ continuous, show $\lim_{n\to\infty} n\int_0^1 f(x)x^n\,dx = f(1).$
- Trying to prove that operator is compact
- Characterisation of one-dimensional Sobolev space
- Hahn-Banach to extend to the Lebesgue Measure
- Does there exist unique $u \in V$ satisfying integral equation?
- A paradox on Hilbert spaces and their duals
- How prove this $g(x)=\sup{\{f(x,y)|0\le y\le 1\}}$ is continuous on $$
- Function which takes every value uncountably often
- Every collection of disjoint non-empty open subsets of $\mathbb{R}$ is countable?
- Why is there no space whose dual is $C_\mathbb{R}$?

One direction is easy: just take supremum over $s$ on both sides of

$$|T_kf(s)|\le \int_a^b |k(s,t)| |f(t)| \,dt \le \|f\|_{C[a,b]} \int_a^b |k(s,t)| \,dt$$

The converse direction is also easy when $k\ge 0$, because we can take $f\equiv 1$ to immediately obtain

$$ T_kf(s) = \int_a^b k(s,t) \,dt $$

for all $s$.

But in general case we have to work harder. It’s a little easier for real-valued functions, but I’ll go with the complex case (which also works for real case).

Fix $s_0$ that achieves the supremum of $\int_a^b |k(s,t)| \,dt$. The function $g(t) = \operatorname{sign} k(s,t)$ is in $L^1[a,b]$ and therefore can be approximated in $L^1$ norm by a continuous function $h$. Say, $\|h-g\|_{L^1}<\epsilon$. Moreover, we can make sure $|h|\le 1$ pointwise by truncation: when $|h(t)|>1$, define $\tilde h(t) = h(t)/|h(t)|$; otherwise $\tilde h(t)=h(t)$. It’s an exercise to check that $$|\tilde h(t)-g(t)|\le |h(t)-g(t)|$$ pointwise. Consequently, $\|\tilde h-g\|_{L^1}<\epsilon$. Finally, estimate $T_k\tilde h(s_0)$:

$$

|T_k\tilde h(s_0)|\ge |T_k g(s_0)| – \epsilon \sup|k| = \int_a^b |k(s_0,t)| \,dt – \epsilon \sup|k|

$$

Since $\epsilon$ was arbitrarily small, and $\|\tilde h\|_{C[a,b]}\le 1$, the claim follows.

- Combinatorial proof involving partitions and generating functions
- Greatest common divisor of real analytic functions
- How to factor $a^n – b^n$?
- Is statistical dependence transitive?
- Optimisation Problem on Cone
- Generators of $H^1(T)$
- Well-ordering theorem and second-order logic
- recurrence relation $f(n)=5f(n/2)-6f(n/4) + n$
- Distribution of $(XY)^Z$ if $(X,Y,Z)$ is i.i.d. uniform on $$
- Extension by adjoining roots of unity and ramification
- uniform convergence of few sequence of functions
- what is exactly analytic continuation of the product log function
- Extreme points of unit ball of Banach spaces $\ell_1$, $c_0$, $\ell_\infty$
- Is the sets of all maps from $\mathbb{N}$ to $\mathbb{N}$ countable?
- Continuous local martingales with same crochet have the same law?