# Peeter Joot's (OLD) Blog.

• 234,178

## Effect of sinusoid operators

Posted by peeterjoot on May 23, 2010

# Problem 3.19.

[1] problem 3.19 is

What is the effect of operating on an arbitrary function $f(x)$ with the following two operators

\begin{aligned}\hat{O}_1 &\equiv \partial^2/\partial x^2 - 1 + sin^2 (\partial^3/\partial x^3)+ cos^2 (\partial^3/\partial x^3) \\ \hat{O}_2 &\equiv + cos (2 \partial/\partial x) + sin^2 (\partial/\partial x)+ \int_a^b dx\end{aligned} \hspace{\stretch{1}}(1.1)

On the surface with $\sin^2 y + \cos^2 y = 1$ and $\cos 2y + 2 \sin^2 y = 1$ it appears that we have just

\begin{aligned}\hat{O}_1 &\equiv \partial^2/\partial x^2 \\ \hat{O}_2 &\equiv 1 + \int_a^b dx\end{aligned} \hspace{\stretch{1}}(1.3)

but it this justified when the sinusoids are functions of operators? Let’s look at the first case. For some operator $\hat{f}$ we have

\begin{aligned}\sin^2 \hat{f} + \cos^2 \hat{f}&=-\frac{1}{{4}} \left( e^{i\hat{f}} -e^{-i\hat{f}}\right)\left( e^{i\hat{f}} -e^{-i\hat{f}}\right)+\frac{1}{{4}} \left( e^{i\hat{f}} +e^{-i\hat{f}}\right)\left( e^{i\hat{f}} +e^{-i\hat{f}}\right) \\ &=\frac{1}{{2}} \left(e^{i\hat{f}} e^{-i\hat{f}} +e^{-i\hat{f}} e^{i\hat{f}}\right)\end{aligned}

Can we assume that these cancel for general operators? How about for our specific differential operator $\hat{f} = \partial^3/\partial x^3$? For that one we have

\begin{aligned}e^{i \partial^3/\partial x^3} e^{-i \partial^3/\partial x^3} g(x)&=\sum_{k=0}^\infty \frac{1}{{k!}} \left(\frac{\partial^3}{\partial x^3}\right)^k\sum_{m=0}^\infty \frac{1}{{m!}} \left(\frac{\partial^3}{\partial x^3}\right)^m g(x)\end{aligned}

Since the differentials commute, so do the exponentials and we can write the slightly simpler

\begin{aligned}\sin^2 \hat{f} + \cos^2 \hat{f} = e^{i\hat{f}} e^{-i\hat{f}} \end{aligned}

I’m pretty sure the commutative property of this differential operator would also allow us to say (in this case at least)

\begin{aligned}\sin^2 \hat{f} + \cos^2 \hat{f} = 1\end{aligned}

Will have to look up the combinatoric argument that allows one to write, for numbers,

\begin{aligned}e^x e^y = \sum_{k=0}^\infty \frac{1}{{k!}} x^k \sum_{m=0}^\infty \frac{1}{{m!}} y^m =\sum_{j=0}^\infty \frac{1}{{j!}} (x+y)^j = e^{x+y}\end{aligned}

If this only assumes that $x$ and $y$ commute, and not any other numeric properties then we have the supposed result 1.3. We also know of algebraic objects where this does not hold. One example is exponentials of non-commuting square matrices, and other is non-commuting bivector exponentials.

# References

[1] R. Liboff. Introductory quantum mechanics. 2003.

1. ### On commutation of exponentials « Peeter Joot's Blog.said

[…] while working a Liboff problem, I wondered about what the conditions were required for exponentials to commute. In those problems […]
{"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": 14, "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.9911843538284302, "perplexity": 6063.796225925663}, "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-2015-32/segments/1438042982502.13/warc/CC-MAIN-20150728002302-00339-ip-10-236-191-2.ec2.internal.warc.gz"}