Jump to content

Wikipedia:Reference desk/Archives/Mathematics/2011 January 14

From Wikipedia, the free encyclopedia
Mathematics desk
< January 13 << Dec | January | Feb >> January 15 >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is an archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.


January 14

[edit]

Gradients

[edit]

What does it mean to take a gradient with respect to a bilinear form? If ψ is a smooth function and h is a non-degenerate bilinear form then gradh(ψ) denotes "the gradient with respect to the non-degenerate bilinear form h". Fly by Night (talk) 11:48, 14 January 2011 (UTC)[reply]

I suppose. I am not sure. Bo Jacoby (talk) 13:19, 14 January 2011 (UTC).[reply]
That would seem to transform very irregularly under (even orthogonal) basis changes. And what would dh/dx mean when h is a bilinear form? –Henning Makholm (talk) 13:39, 14 January 2011 (UTC)[reply]
You are correct. Sorry. I thought of a quadratic form. Bo Jacoby (talk) 14:03, 14 January 2011 (UTC).[reply]
The gradient of ψ at p (a point of the domain of ψ, say an open set of the space V) with respect to the non-degenerate bilinear form h (defined on the space V) is just the element of V that corresponds to the linear form Dψ(p) (the Fréchet differential) in the isomorphism (described in the linked article) induced by h. Thus, for any x in V we have
h( x, gradh(ψ))=Dψ(p)[x],
and for instance if h was the standard scalar product of the gradient is the usual vector of the partial derivatives of ψ. Warning: in your case one may use instead than to define the isomorphism, which would affect the definition of gradh(ψ) if h is not symmetric. Also note that this definition of "gradient" is used in infinite dimension too (for instance, the gradient of a functional defined on is an element of the conjugated space ; the gradient of a functional on C(K) is a Radon measure on K etc).--pma 14:49, 14 January 2011 (UTC)[reply]
Thanks for the reply pma. I'm not sure I follow you, so let's try and unravel it. In my case ψ is a smooth function on a smooth hypersurface MRn. The bilinear form is non-degenerate by assumption (we impose an open and dense condition on the manifold M), and it actually is symmetric, so h(X, Y) = h(Y, X) for all vector fields X and Y on M. In the notation I'm used to, D usually means the covariant derivative on Rn. When you write Dψ(p)[x], is that the same as dXψ evaluated at pM, i.e. the exterior derivative of ψ at p, evaluated on X ∈ TpM ? If all of this is correct, then what is gradh(ψ) explicitly? (As a concrete example, consider a smooth surface in R3. One choice for h would be the second fundamental form, (II). The non-degeneracy of h means that we exclude parabolic points. In this case, what is grad(II)(ψ) for some smooth ψ : MR. Fly by Night (talk) 00:35, 15 January 2011 (UTC)[reply]
Yes, the notations vary in the various contexts. In any case, the differential of at ( or or ) is a linear form on and it is a purely differential object, in that it is well-defined for any differentiable function on a differentiable manifold. If there is a Riemann structure on , the natural way to represent the differential at p is using the scalar product with a vector (the gradient), as said. The same can be done done with semi-riemannian structures. But, honestly I do not have an idea of what is the meaning of using the second fundamental form to represent a differential of a function, and what is the meaning of the corresponding "II-gradient" vector. --pma 18:01, 15 January 2011 (UTC)[reply]
For what it's worth, what I get from pma's explanation, paraphrased into the physicist's notation I have learned (which may or may not actually be helpful to Fly by Night) is this:
The quadratic form can be represented by a symmetric rank 2 covariant tensor . Because it is non-degenerate, it has an inverse which we can call , with the property . Then the is simply the contravariant vector that results from contracting the ordinary (covariant) gradient of with the inverse of h: . –Henning Makholm (talk) 20:39, 15 January 2011 (UTC)[reply]
I think you might be right. Our article on the Laplace–Beltrami operatorsays, and I quote... The gradient of a scalar function ƒ is the vector field grad f that may be defined through the inner product on the manifold, as
for all vectors vx anchored at point x in the tangent bundle TxM [sic] of the manifold at point x. Here, dƒ is the exterior derivative of the function ƒ; it is a 1-form taking argument vx. In local coordinates, one has
As pma said: ; so we would get
Nice work chaps. Thank you both for your help. It does turn up quite a lot in different calculations; for example if you have non-standard connections. Now I just need to work out if it has any real meaning or is just used to simplify notation. Fly by Night (talk) 02:51, 16 January 2011 (UTC)[reply]
A notational caveat, possibly with real consequences: In a (pseudo-)Riemannian space the metric tensor g (that is, the first fundamental form if the space is embedded in an Euclidean one) is specially distinguished, and I would expect to mean with both indices raised by the metric, i.e. , which is quite a different creature than the inverse of h. This is why I used a capital H for the inverse. –Henning Makholm (talk) 04:05, 16 January 2011 (UTC)[reply]
Interesting. I'm sure I've seen for the inverse of is differential geometry books. I haven't read any physics books since high school. Although, maybe I had misunderstood what was used to mean. Anyway, I'll be writing it in a coordinate-free way anyway, so I shouldn't need any subscripts or superscripts. Everything's written using connections, e.g.
where D is the covariant derivative of Rn, X and Y are vector fields on a hypersurface MRn, ξ is any transverse vector field on M (an example would be the unit normal), ∇ is an induced (torsion-free) connection of M dependant on the choice of ξ, and h is symmetric bilinear form dependant on the choice of ξ but whose non-degeneracy does not depend upon the choice of ξ. Fly by Night (talk) 14:10, 16 January 2011 (UTC)[reply]
I must confess that I've never managed to become comfortable with that sort of notation. Plain abstract index notation is quite coordinate-free as far as I'm concerned, and so much easier to grasp. In the mathematician's notation I'm never quite sure even which rank/type each expression is supposed to have, without using half an hour crossreferencing all of the symbols and figuring out which of their overloads the author meant in this case. With index notation it's just a matter of counting the unpaired indices: there's the rank plain as day. –Henning Makholm (talk) 00:31, 17 January 2011 (UTC)[reply]