Talk:Dirichlet's principle
WikiProject Mathematics  (Rated Startclass, Midpriority)  


What are the constraints on the boundary?
It sounds like the principle holds in only certain cases, but its not clear what these are. What can be said about fractal boundaries? (i.e. nowhere differentiable boundaries)? linas 03:23, 26 August 2006 (UTC)
 I think you need to be able to integrate by parts and you should have good trace and extension operators. I am pretty certain that a Lipschitz boundary for and are sufficient. Kusma (討論) 06:09, 26 August 2006 (UTC)
What example?
The article says "Weierstraß gave an example of a functional that does not attain its minimum. Hilbert later justified Riemann's use of Dirichlet's principle." What's the example? —Ben FrantzDale 18:08, 19 December 2006 (UTC)
According to Giaquinta/Hildebrandt, Calculus of Variations, vol. I, p. 43, the example Weierstraß gave is
in the set . It is clear that . A minimizing sequence is given by
 .
For , . However, there is no function v such that F(v)=0, since that would imply (as we are asking for smoothness) that the derivative is zero everywhere, a contradiction to the boundary conditions. Note that converge to the sign function as . Hope that helps, Kusma (討論) 18:23, 19 December 2006 (UTC)
Nonnegative?
The entry for Dirichlet’s energy does not mention the free component f at all. It is obvious that the integral is nonnegative for harmonic functions (f ≡ 0) but I do not believe it is nonnegative in the general case. Yecril (talk) 10:36, 18 September 2008 (UTC)
When is nozero, and a solution exists, then an integration by parts shows that
So the functional is bounded below in the case also. When the boundary value , we can even compute that
The lower bound is therefore negative whenever is such that is not identically zero.
It is not immediately obvious to me that a similar lower bound can be written down in the case that there is no solution to the boundaryvalue problem.
An example of a boundary value problem with no solution is to take to be the punctured unit disc, take , and impose boundary conditions that on the outer boundary and at the origin. The functions satisfy the boundary conditions and as . But implies that is constant, so the limiting function does not satisfy the boundary condition at the origin.
Mike Stone (talk) 18:50, 8 January 2013 (UTC)
Jargon
means what? Any GOOD reason that so much here is left undefined/unexplained? Are we supposed to know (and if so, based on what) what these symbols mean in this case? I've taken math through ordinary differential equations, so my knowledge is "above average" for a layperson. Most of these symbols have various meanings in various mathematical contexts, and need to be defined prior to indiscriminate use. Writing articles for the specialist seems unproductive in this forum. 71.31.146.16 (talk) 12:26, 19 June 2012 (UTC)