Physics Forums

## Action of Lie Brackets on vector fields multiplied by functions

Hi,

Is there a specific product rule or something one must follow when applying the lie bracket/ commutator to two vector fields such that one of them is multiplied by a function and added to another vector field? This is the expression given in my textbook but I don't see how:

[fX+Z,Y] = f[X,Y] + [Z,Y] - (Yf)Xg

I don't see where the third term on the right hand side comes from.

I'd really appreciate some help on this because I'm self-learning differential geometry for a research project and almost all my doubts revolve around my not understanding how lie brackets work. So any help will be appreciated.

Thanks!

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug

Mentor

Quote by tut_einstein 					 				 				Is there a specific product rule or something one must follow when applying the lie bracket/ commutator to two vector fields such that one of them is multiplied by a function
Yes.

Quote by tut_einstein 					 				 				This is the expression given in my textbook
Which book?

Let's go back a couple of steps.

If $X$ is a vector field and $f$ and $g$ are smooth functions, then both $Xf$ and $Xg$ are functions. Because $f$ and $g$ are both functions, the product $fg$ is also a function on which $X$ can act. Consquently, $X \left(fg\right)$ is a function. $X$ acts like a derivative (is a derivation) on the set (ring) of smooth functions, i.e.,
$$X \left(fg\right) = g Xf + f Xg.$$
Now, use the above and expand
$$\left[ fX,Y \right]g .$$

Thread Tools

|                                                                                      |                           |         |
|--------------------------------------------------------------------------------------|---------------------------|---------|
| Similar Threads for: Action of Lie Brackets on vector fields multiplied by functions |                           |         |
| Thread                                                                               | Forum                     | Replies |
|                                                                                      | Linear & Abstract Algebra | 7       |
|                                                                                      | Linear & Abstract Algebra | 3       |
|                                                                                      | Calculus                  | 5       |
|                                                                                      | General Math              | 1       |
|                                                                                      | Calculus                  | 16      |
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 11, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9107085466384888, "perplexity_flag": "middle"}