## Conformally invariant Laplacian

On a compact manifold ${(M^n,g)}$, ${n\geq 3}$,

$\displaystyle L_g=-\Delta_g+\frac{n-2}{4(n-1)}R_g$

is called conformal laplacian operator. This follows from the following fact. Suppose ${\tilde{g}=\phi^{\frac{4}{n-2}}g}$, then

$\displaystyle L_{\tilde{g}}(f)=\phi^{-\frac{n+2}{n-2}}L_g(\phi f), \quad\forall\,f\in C^\infty(M)$

Proof: Firstly suppose ${f>0}$, define ${\bar{g}=(\phi f)^{\frac{4}{n-2}}g}$, then

$\displaystyle L_{\bar{g}}(\phi f)=\frac{n-2}{4(n-1)}R_{\bar{g}}(\phi f)^{\frac{n+2}{n-2}}$

on the other hand ${\bar{g}=f^{\frac{4}{n-2}}\tilde{g}}$

$\displaystyle L_{\tilde{g}}(f)=\frac{n-2}{4(n-1)}R_{\bar{g}}(f)^{\frac{n+2}{n-2}}$

So we proved the equality. For general ${f\in C^\infty(M)}$, ${\exists\, C>0}$ such that ${f+C>0}$. By the special case

$\displaystyle L_{\tilde{g}}(f+C)=\phi^{-\frac{n+2}{n-2}}L_g(\phi (f+C))$

$\displaystyle L_{\tilde{g}}(C)=\phi^{-\frac{n+2}{n-2}}L_g(\phi (C))$

Thus the general case is also true. $\Box$
{"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 16, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9996316432952881, "perplexity": 390.9688670068391}, "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": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2017-34/segments/1502886101966.48/warc/CC-MAIN-20170816125013-20170816145013-00322.warc.gz"}