7
$\begingroup$

Does the Wronskian have anything to do with the product rule in calculus. I ask this because i noticed the form looking similar to the product rule. $$W=g(x)f'(x)-g'(x)f(x)$$ where as the product rule is $$(f(x)g(x))' = g(x)f'(x)+g'(x)f(x)$$ they only differ by a plus operation.

  • 1
    If you assume that $g\neq 0$, then it's $g(x)^2$ times the derivative of the quotient, and when it's $0$ it means that $f$ and $g$ are proportional.2011-11-02
  • 2
    If $W = \left( \begin{array}{ccccc} f_1(x) & f_2(x) & f_3(x) & \dots & f_n(x) \\ f_1'(x) & f_2'(x) & f_3'(x)& \dots & f_n'(x) \\ 1 & 1 & 1 & \dots & 1 \\ \vdots & & &\ddots & \\ 1 & 1 & 1 &\dots & 1 \end{array} \right)$, the product rule is determined by the [permanent](http://en.wikipedia.org/wiki/Permanent) of the matrix $W$.2011-11-02
  • 1
    @DavideGiraudo: Careful. A classic example is $f(x)=x^2$ and $g(x)=x|x|$. Then $g'(x) = 2x$ if $x\geq 0$, $g'(x)=-2x$ if $x\lt 0$, $W(f,g)=0$, but $f$ and $g$ are not proportional (they are equal on the nonnegative numbers, and $f=-g$ on the nonpositive ones).2011-11-02
  • 0
    @ArturoMagidin yes you're right. So we have to assume that $g$ never vanishes.2011-11-02
  • 1
    @DavideGiraudo: There are any number of conditions you can put to ensure the implication"$W(f,g)=0$ implies $f$ and $g$ proportional"; for example, if they are both analytic (due to Peano). See [this paper](http://www.sciencedirect.com/science/article/pii/002437958990548X), and Wikipedia for other situations.2011-11-02
  • 0
    @ArturoMagidin Thanks for the reference.2011-11-02
  • 0
    @JavaMan: I think this is incorrect. In product rule, there is a linear number of summands ($(fgh)'=f'gh+fg'h+fgh'$) while your permanent expression has $n!$ summands.2012-02-05
  • 0
    @AlexW.H.B. Have you read Peter's answer below? Does it help?2012-02-05

1 Answers 1

1

Not really. The Wronskian is a determinant of functions and their derivatives. In your case you have that, for two functions $f$ and $g$,

$$W(f,g) = \det\begin{pmatrix}f & g \\ f' & g'\end{pmatrix} = fg'-f'g$$

In general, the Wronskian of $n$ different functions is the determininant of the square $n\times n$ matrix where each column is composed of the $f$ and its derivatives up to the $(n-1)$ th derivative (such that every derivative exists in an interval $I$), ordered from lower to higher order from top to bottom. In general, $$W(f,g) \neq W(g,f)$$ as opposed to $(f·g)'$ and the same goes for higher order Wronskians.

Here you have an example of the Wronskian of two functions, and here one of three.

Wikipedia can give you some info on the Wronskian, and you can visualize what the layout of a Wronskian is. (I don't know how to code matrices here. I tried LaTeX but it didn't work.)

  • 0
    I had to look up what a Wronskian is, so I didn't feel that I could evaluate either the question or any answers without putting in some work. I only noticed your comment regarding TeX at the end. This, I think, is why some (good) answers are under-appreciated, particularly if the writer is not well known. It's hard to think of a good solution for that problem.2012-02-05