Multiply the separated Sturm-Liouville problem by real and apply integration by parts:
The outer endpoint term vanishes because . At zero, regularity gives vanishing radial flux. This can be obtained from the equation without assuming a bounded derivative: let . Since and is bounded, has a finite limit at zero. If that limit were nonzero, positive bounded thermal diffusivity would make have fixed sign and magnitude at least a constant times sufficiently near zero, contradicting bounded . Hence , and in fact . This also forces for bounded .
The boundary terms therefore vanish, proving
As usual for diffusion, is nonnegative and positive for ; the later power-law case may vanish at the centre. The argument applies in that case as well.

Articles by others on the same topic (0)

There are currently no matching articles.