Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Consider the space $C\bigl([a,b];\mathbb{R}\bigr)$ equipped with the $\sup$ norm. Define the operator $$\mathfrak{f} : C\bigl([a,b];\mathbb{R}\bigr) \to C\bigl([a,b];\mathbb{R}\bigr) \: \text{by} \ \ \mathfrak{f}(\varphi)(t) = \int_{a}^{b}(\varphi(s))^{3} ds \cdot \varphi(t), \ \ \text{for} \ \varphi\in C\bigl([a,b];\mathbb{R}\bigr)$$

  • Now for a given $\chi\in C\bigl([a,b];\mathbb{R}\bigr)$,I want to find a linear operator $\mathscr{L} : C\bigl([a,b];\mathbb{R}\bigr) \to C\bigl([a,b];\mathbb{R}\bigr)$ satisfying $$\lim_{||\varphi||_{\infty}\to 0} \: \frac{\mathfrak{f}(\chi+\psi)-\mathfrak{f}(\chi)-\mathscr{L}\varphi}{||\varphi||_{\infty}}=0.$$

  • I also want to show $\mathscr{L}$ is continuous. I know that it suffices to show $\mathscr{L}$ is bounded.

  • Also I want to calculate the derivative of $D\mathfrak{f}(\chi)$ of $\mathfrak{f}$ at $\chi$ $?$

A solution would be of great help.

share|cite|improve this question
First, we should denote $(\mathfrak f(\varphi))(t)$, since $\varphi(t)$ is a real number, and $\mathfrak f$ acts on functions, not numbers. I think you mean "$\mathcal L$ is continuous" not $\chi$. – Davide Giraudo Dec 15 '12 at 16:52
@DavideGiraudo Thanks, is it ok now. – Mithun Dec 15 '12 at 16:56
There still is a typo in the second item in the list ($\mathcal L$ instead of $\chi$), and the map $\mathfrak f$ is not linear (so the title needs an edit). – Davide Giraudo Dec 15 '12 at 17:15
@DavideGiraudo: Thanks. – Mithun Dec 15 '12 at 17:22
Expand $(\varphi+h)^3$, and multiplying by $\varphi+h$, we can remove terms in $h^j$, $j\geqslant 2$. What is the linear part in $h$? – Davide Giraudo Dec 15 '12 at 17:28

You can proceed as follows: Consider the difference quotient $$\frac{\mathfrak{f}(\chi + \epsilon\phi) - \mathfrak{f}(\chi)}{\epsilon}$$ and then pass to the limit $\epsilon\to 0$. You should observe that the result will be linear in $\phi$ and call the corresponding linear operator $\mathcal{L}$. In your case, Davide already told you what to do (this goes through without complications).

For your last bullet: What you did was calculating the Gateaux-derivative of $\mathfrak{f}$ (there are several other notions of derivatives around, so you should be more precise in what kind of derivative you want).

share|cite|improve this answer
Could you please elaborate more. – Mithun Dec 15 '12 at 18:17

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.