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

Suppose V is the real vector space of real-valued functions with a derivative. What is the dimension of the null space of the linear map

$$Tf = x\frac{df}{dx} - 4f\;\;?$$

The basis I found for the null space is $\{x^4\}$, which gives dimension 1, but the hint for problem was that the dimension is not 1. Why is that so?

share|cite|improve this question

You can solve the equation $x{dy\over dx}=4y$ using separation of variables: $$\tag{1} {1\over y}\,dy={4\over x}\,dx. $$ We want to avoid division by zero; so, in solving $(1)$, we consider the cases where $x<0$ and $x>0$. Integration of $(1)$ shows that for $k$ a constant, $y=k x^4$ is a solution for both the domain $x>0$ and the domain $x<0$.

One may then verify that the solutions of $(1)$ over $\Bbb R$ have the form $$\tag{2} f(x)=\cases{cx^4,&$x\ge0$\cr d x^4,&$x\le 0$ } $$ where $c$ and $d$ are constants (in particular, one can (and should) show such an $f$ is differentiable at $0$ with $f'(0)=0$).

Note that any such $f$ is a linear combination of the independent functions obtained by taking $(c=1, d=0)$ and $(c=0,d=1)$ in $(2)$.

share|cite|improve this answer
I think this is correct and I'm upvoting it, yet it'd perhaps be a little clearer if we write $$f_1(x):=\begin{cases}x^2&\,\text{if}\;\; x>0\\0&\,\text{if}\;\;x\leq 0\end{cases}$$and likewise for the other possibility – DonAntonio Dec 18 '12 at 14:17

We have a simple linear homogeneneous differential equation of order $\,1\,$ to solve

$$Tf=0\Longrightarrow x\frac{df}{dx}=4f\Longrightarrow \int\frac{df}{f}=4\int\frac{dx}{x}\Longrightarrow$$

$$\log|f|=4\log|x|+C\Longrightarrow f=kx^4\,\,,\,k=\,\text{a constant}$$

and yes: you're answer is correct.

Whose hint was that $\,\dim\ker T\neq 1\,$ ?

share|cite|improve this answer
Wouldn't you have $|f|=kx^4, k\ge 0$? This gives another solution: $f(x)=\cases{x^4,& $x\ge0$\cr -x^4,& $x\le0$}$ . – David Mitra Dec 18 '12 at 13:18
It was a hint from the professor as part of some review questions for an exam. – user53593 Dec 18 '12 at 13:21
That's true, David. Good point. Yet both cases are contained in the same $\,1-$dimensional subspace $\,Span\{x^4\}\,$... – DonAntonio Dec 18 '12 at 13:44
The $f$ in my comment certainly isn't in the span of $\{x^4\}$... – David Mitra Dec 18 '12 at 13:45
why is $f$ not in the span of $\{x^4\}$? – user53593 Dec 18 '12 at 14:13

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.