<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=158.39.149.68</id>
	<title>formulasearchengine - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=158.39.149.68"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/wiki/Special:Contributions/158.39.149.68"/>
	<updated>2026-05-30T08:57:01Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Atmospheric_tide&amp;diff=16643</id>
		<title>Atmospheric tide</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Atmospheric_tide&amp;diff=16643"/>
		<updated>2013-12-02T17:15:56Z</updated>

		<summary type="html">&lt;p&gt;158.39.149.68: /* General Solution of Laplaces Equation */&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;In [[mathematics]], in the field of [[ordinary differential equation]]s, the &#039;&#039;&#039;Sturm–Picone comparison theorem&#039;&#039;&#039;, named after [[Jacques Charles François Sturm]] and [[Mauro Picone]], is a classical theorem which provides criteria for the [[oscillation theory|oscillation]] and [[oscillation theory|non-oscillation]] of solutions of certain [[linear differential equation]]s in the real domain.&lt;br /&gt;
&lt;br /&gt;
Let &amp;lt;math&amp;gt;p_i,\, q_i,\,&amp;lt;/math&amp;gt; &#039;&#039;i&#039;&#039;&amp;amp;nbsp;=&amp;amp;nbsp;1,&amp;amp;nbsp;2, be real-valued continuous functions on the interval [&#039;&#039;a&#039;&#039;,&amp;amp;nbsp;&#039;&#039;b&#039;&#039;] and let&lt;br /&gt;
#&amp;lt;math&amp;gt;(p_1(x) y^\prime)^\prime + q_1(x) y = 0 \,&amp;lt;/math&amp;gt; &lt;br /&gt;
#&amp;lt;math&amp;gt;(p_2(x) y^\prime)^\prime + q_2(x) y = 0 \,&amp;lt;/math&amp;gt;&lt;br /&gt;
be two homogeneous linear second order differential equations in [[self-adjoint form]] with&lt;br /&gt;
:&amp;lt;math&amp;gt;0 &amp;lt; p_2(x) \le p_1(x)\,&amp;lt;/math&amp;gt;&lt;br /&gt;
and&lt;br /&gt;
:&amp;lt;math&amp;gt;q_1(x) \le q_2(x).\,&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
Let &#039;&#039;u&#039;&#039; be a non-trivial solution of (1) with successive roots at &#039;&#039;z&#039;&#039;&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt; and &#039;&#039;z&#039;&#039;&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt; and let &#039;&#039;v&#039;&#039; be a non-trivial solution of (2). Then one of the following properties holds.&lt;br /&gt;
*There exists an &#039;&#039;x&#039;&#039; in [&#039;&#039;z&#039;&#039;&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;,&amp;amp;nbsp;&#039;&#039;z&#039;&#039;&amp;lt;sub&amp;gt;2&amp;lt;/sub&amp;gt;] such that &#039;&#039;v&#039;&#039;(&#039;&#039;x&#039;&#039;)&amp;amp;nbsp;=&amp;amp;nbsp;0; or&lt;br /&gt;
*there exists a λ in &#039;&#039;&#039;R&#039;&#039;&#039; such that &#039;&#039;v&#039;&#039;(&#039;&#039;x&#039;&#039;)&amp;amp;nbsp;=&amp;amp;nbsp;λ&amp;amp;thinsp;&#039;&#039;u&#039;&#039;(&#039;&#039;x&#039;&#039;).&lt;br /&gt;
&lt;br /&gt;
NOTE: The first part of the conclusion is due to Sturm (1836).&amp;lt;ref&amp;gt;C. Sturm, Mémoire sur les équations différentielles linéaires du second ordre, J. Math. Pures Appl. 1 (1836), 106–186&amp;lt;/ref&amp;gt; The second (alternative) part of this theorem is due to Picone (1910)&amp;lt;ref&amp;gt;M. Picone, Sui valori eccezionali di un parametro da cui dipende un&#039;equazione differenziale lineare ordinaria del second&#039;ordine, Ann. Scuola Norm. Pisa 11 (1909), 1–141.&amp;lt;/ref&amp;gt;&amp;lt;ref&amp;gt;{{cite doi|10.1007/3-7643-7359-8_1}}&amp;lt;/ref&amp;gt; whose simple proof was given using his now famous [[Picone identity]]. In the special case where both equations are identical one obtains the [[Sturm separation theorem]]. For an extension of this important theorem to a comparison theorem involving three or more real second order equations see the [[Hartman–Mingarelli comparison theorem]] where a simple proof was given using the [[Mingarelli identity]].&lt;br /&gt;
&lt;br /&gt;
== References ==&lt;br /&gt;
&lt;br /&gt;
{{Reflist}}&lt;br /&gt;
*Diaz, J. B.; [[Joyce McLaughlin|McLaughlin, Joyce R.]] &#039;&#039;Sturm comparison theorems for ordinary and partial differential equations&#039;&#039;. Bull. Amer. Math. Soc. 75 1969 335&amp;amp;ndash;339 [http://projecteuclid.org/DPubS/Repository/1.0/Disseminate?view=body&amp;amp;id=pdf_1&amp;amp;handle=euclid.bams/1183530292 pdf]&lt;br /&gt;
* [[Heinrich Guggenheimer]] (1977) &#039;&#039;Applicable Geometry&#039;&#039;, page 79, Krieger, Huntington ISBN 0-88275-368-1 .&lt;br /&gt;
*{{cite book| last = Teschl| given = G.|authorlink=Gerald Teschl| title = Ordinary Differential Equations and Dynamical Systems| publisher=[[American Mathematical Society]]| place = [[Providence, Rhode Island|Providence]]| year = 2012| isbn= 978-0-8218-8328-0| url = http://www.mat.univie.ac.at/~gerald/ftp/book-ode/}}&lt;br /&gt;
&lt;br /&gt;
{{DEFAULTSORT:Sturm-Picone comparison theorem}}&lt;br /&gt;
[[Category:Ordinary differential equations]]&lt;br /&gt;
[[Category:Theorems in analysis]]&lt;/div&gt;</summary>
		<author><name>158.39.149.68</name></author>
	</entry>
</feed>