Main Page: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
← Older edit
mNo edit summary
No edit summary
 
(458 intermediate revisions by more than 100 users not shown)
Line 1: Line 1:
The [[mathematical notation]] of '''multi-indices''' simplifies formulae used in [[multivariable calculus]], [[partial differential equation]]s and the theory of [[distribution (mathematics)|distribution]]s, by generalising the concept of an integer [[index notation|index]] to an ordered [[tuple]]  of indices.  
This is a preview for the new '''MathML rendering mode''' (with SVG fallback), which is availble in production for registered users.


==Multi-index notation==
If you would like use the '''MathML''' rendering mode, you need a wikipedia user account that can be registered here [[https://en.wikipedia.org/wiki/Special:UserLogin/signup]]
An ''n''-dimensional '''multi-index''' is an ''n''-[[tuple]]
* Only registered users will be able to execute this rendering mode.
* Note: you need not enter a email address (nor any other private information). Please do not use a password that you use elsewhere.


:<math>\alpha = (\alpha_1, \alpha_2,\ldots,\alpha_n)</math>
Registered users will be able to choose between the following three rendering modes:  


of [[natural number|non-negative integers]] (i.e. an element of the ''n''-[[dimension]]al [[set]] of [[natural number]]s, denoted <math>\mathbb{N}^n_0</math>). For multi-indices <math>\alpha, \beta \in \mathbb{N}^n_0</math> and <math>x = (x_1, x_2, \ldots, x_n) \in \mathbb{R}^n</math> one defines:
'''MathML'''
:<math forcemathmode="mathml">E=mc^2</math>


;Componentwise sum and difference
<!--'''PNG'''  (currently default in production)
:<math>\alpha \pm \beta= (\alpha_1 \pm \beta_1,\,\alpha_2 \pm \beta_2, \ldots, \,\alpha_n \pm \beta_n)</math>
:<math forcemathmode="png">E=mc^2</math>


;[[Partial order]]
'''source'''
:<math>\alpha \le \beta \quad \Leftrightarrow \quad \alpha_i \le \beta_i \quad \forall\,i\in\{1,\ldots,n\}</math>
:<math forcemathmode="source">E=mc^2</math> -->


;Sum of components (absolute value)
<span style="color: red">Follow this [https://en.wikipedia.org/wiki/Special:Preferences#mw-prefsection-rendering link] to change your Math rendering settings.</span> You can also add a [https://en.wikipedia.org/wiki/Special:Preferences#mw-prefsection-rendering-skin Custom CSS] to force the MathML/SVG rendering or select different font families. See [https://www.mediawiki.org/wiki/Extension:Math#CSS_for_the_MathML_with_SVG_fallback_mode these examples].
:<math>| \alpha | = \alpha_1 + \alpha_2 + \cdots + \alpha_n</math>


;[[Factorial]]
==Demos==
:<math>\alpha ! = \alpha_1! \cdot \alpha_2! \cdots \alpha_n!</math>


;[[Binomial coefficient]]
Here are some [https://commons.wikimedia.org/w/index.php?title=Special:ListFiles/Frederic.wang demos]:
:<math>\binom{\alpha}{\beta} = \binom{\alpha_1}{\beta_1}\binom{\alpha_2}{\beta_2}\cdots\binom{\alpha_n}{\beta_n} = \frac{\alpha!}{\beta!(\alpha-\beta)!}</math>


;[[Multinomial coefficient]]
:<math>\binom{k}{\alpha} = \frac{k!}{\alpha_1! \alpha_2! \cdots \alpha_n! } = \frac{k!}{\alpha!} </math>


where <math>|\alpha|=k\,</math>
* accessibility:
** Safari + VoiceOver: [https://commons.wikimedia.org/wiki/File:VoiceOver-Mac-Safari.ogv video only], [[File:Voiceover-mathml-example-1.wav|thumb|Voiceover-mathml-example-1]], [[File:Voiceover-mathml-example-2.wav|thumb|Voiceover-mathml-example-2]], [[File:Voiceover-mathml-example-3.wav|thumb|Voiceover-mathml-example-3]], [[File:Voiceover-mathml-example-4.wav|thumb|Voiceover-mathml-example-4]], [[File:Voiceover-mathml-example-5.wav|thumb|Voiceover-mathml-example-5]], [[File:Voiceover-mathml-example-6.wav|thumb|Voiceover-mathml-example-6]], [[File:Voiceover-mathml-example-7.wav|thumb|Voiceover-mathml-example-7]]
** [https://commons.wikimedia.org/wiki/File:MathPlayer-Audio-Windows7-InternetExplorer.ogg Internet Explorer + MathPlayer (audio)]
** [https://commons.wikimedia.org/wiki/File:MathPlayer-SynchronizedHighlighting-WIndows7-InternetExplorer.png Internet Explorer + MathPlayer (synchronized highlighting)]
** [https://commons.wikimedia.org/wiki/File:MathPlayer-Braille-Windows7-InternetExplorer.png Internet Explorer + MathPlayer (braille)]
** NVDA+MathPlayer: [[File:Nvda-mathml-example-1.wav|thumb|Nvda-mathml-example-1]], [[File:Nvda-mathml-example-2.wav|thumb|Nvda-mathml-example-2]], [[File:Nvda-mathml-example-3.wav|thumb|Nvda-mathml-example-3]], [[File:Nvda-mathml-example-4.wav|thumb|Nvda-mathml-example-4]], [[File:Nvda-mathml-example-5.wav|thumb|Nvda-mathml-example-5]], [[File:Nvda-mathml-example-6.wav|thumb|Nvda-mathml-example-6]], [[File:Nvda-mathml-example-7.wav|thumb|Nvda-mathml-example-7]].
** Orca: There is ongoing work, but no support at all at the moment [[File:Orca-mathml-example-1.wav|thumb|Orca-mathml-example-1]], [[File:Orca-mathml-example-2.wav|thumb|Orca-mathml-example-2]], [[File:Orca-mathml-example-3.wav|thumb|Orca-mathml-example-3]], [[File:Orca-mathml-example-4.wav|thumb|Orca-mathml-example-4]], [[File:Orca-mathml-example-5.wav|thumb|Orca-mathml-example-5]], [[File:Orca-mathml-example-6.wav|thumb|Orca-mathml-example-6]], [[File:Orca-mathml-example-7.wav|thumb|Orca-mathml-example-7]].
** From our testing, ChromeVox and JAWS are not able to read the formulas generated by the MathML mode.


;[[Power (mathematics)|Power]]
==Test pages ==
:<math>x^\alpha = x_1^{\alpha_1} x_2^{\alpha_2} \ldots x_n^{\alpha_n}</math>.


;Higher-order [[partial derivative]]
To test the '''MathML''', '''PNG''', and '''source''' rendering modes, please go to one of the following test pages:
*[[Displaystyle]]
*[[MathAxisAlignment]]
*[[Styling]]
*[[Linebreaking]]
*[[Unique Ids]]
*[[Help:Formula]]


:<math>\partial^\alpha = \partial_1^{\alpha_1} \partial_2^{\alpha_2} \ldots \partial_n^{\alpha_n}</math> 
*[[Inputtypes|Inputtypes (private Wikis only)]]
where <math>\partial_i^{\alpha_i}:=\part^{\alpha_i} / \part x_i^{\alpha_i}</math> (see also [[4-gradient]]).
*[[Url2Image|Url2Image (private Wikis only)]]
 
==Bug reporting==
==Some applications==
If you find any bugs, please report them at [https://bugzilla.wikimedia.org/enter_bug.cgi?product=MediaWiki%20extensions&component=Math&version=master&short_desc=Math-preview%20rendering%20problem Bugzilla], or write an email to math_bugs (at) ckurs (dot) de .
The multi-index notation allows the extension of many formulae from elementary calculus to the corresponding multi-variable case. Below are some examples. In all the following, <math>x,y,h\in\mathbb{C}^n</math> (or <math>\mathbb{R}^n</math>), <math>\alpha,\nu\in\mathbb{N}_0^n</math>, and <math>f,a_\alpha\colon\mathbb{C}^n\to\mathbb{C}</math> (or <math>\mathbb{R}^n\to\mathbb{R}</math>).
 
;[[Multinomial theorem]]
 
:<math> \biggl( \sum_{i=1}^n x_i\biggr)^k = \sum_{|\alpha|=k} \binom{k}{\alpha} \, x^\alpha</math>
 
;[[Multi-binomial theorem]]
 
:<math> (x+y)^\alpha = \sum_{\nu \le \alpha} \binom{\alpha}{\nu} \, x^\nu y^{\alpha - \nu}.</math>
 
;[[Leibniz rule (generalized product rule)|Leibniz formula]]
For smooth functions ''f'' and ''g''
 
:<math>\partial^\alpha(fg) = \sum_{\nu \le \alpha} \binom{\alpha}{\nu} \, \partial^{\nu}f\,\partial^{\alpha-\nu}g.</math>
 
;[[Taylor series]]
For an [[analytic function]] ''f'' in ''n'' variables one has
 
:<math>f(x+h) = \sum_{\alpha\in\mathbb{N}^n_0}^{}{\frac{\partial^{\alpha}f(x)}{\alpha !}h^\alpha}.</math>
In fact, for a smooth enough function, we have the similar '''Taylor expansion'''
:<math>f(x+h) = \sum_{|\alpha| \le n}{\frac{\partial^{\alpha}f(x)}{\alpha !}h^\alpha}+R_{n}(x,h),</math>
where the last term (the remainder) depends on the exact version of Taylor's formula. For instance, for the Cauchy formula (with integral remainder), one gets
:<math>R_n(x,h)= (n+1) \sum_{|\alpha| =n+1}\frac{h^\alpha}{\alpha !}\int_0^1(1-t)^n\partial^\alpha f(x+th)\,dt.</math>
 
;General [[partial differential operator]]
A formal ''N''-th order partial differential operator in ''n'' variables is written as
 
:<math>P(\partial) = \sum_{|\alpha| \le N}{}{a_{\alpha}(x)\partial^{\alpha}}.</math>
 
;[[Integration by parts]]
For smooth functions with [[compact support]] in a bounded domain <math>\Omega \subset \mathbb{R}^n</math> one has
 
:<math>\int_{\Omega}{}{u(\partial^{\alpha}v)}\,dx = (-1)^{|\alpha|}\int_{\Omega}^{}{(\partial^{\alpha}u)v\,dx}.</math>
 
This formula is used for the definition of [[Distribution (mathematics)|distribution]]s and [[weak derivative]]s.
 
==An example theorem==
If <math>\alpha,\beta\in\mathbb{N}^n_0</math> are multi-indices and <math>x=(x_1,\ldots, x_n)</math>, then
 
:<math> \part^\alpha x^\beta =
\begin{cases}
\frac{\beta!}{(\beta-\alpha)!} x^{\beta-\alpha} & \hbox{if}\,\, \alpha\le\beta,\\
0 & \hbox{otherwise.} \end{cases}</math>
 
===Proof===
The proof follows from the [[power rule]] for the [[differential calculus|ordinary derivative]]; if ''&alpha;'' and ''&beta;'' are in {0,&nbsp;1,&nbsp;2,&nbsp;.&nbsp;.&nbsp;.}, then
 
:<math> \frac{d^\alpha}{dx^\alpha} x^\beta = \begin{cases} \frac{\beta!}{(\beta-\alpha)!} x^{\beta-\alpha} & \hbox{if}\,\, \alpha\le\beta, \\ 0 & \hbox{otherwise.} \end{cases}\qquad(1)</math>
 
Suppose <math>\alpha=(\alpha_1,\ldots, \alpha_n)</math>, <math>\beta=(\beta_1,\ldots, \beta_n)</math>, and <math>x=(x_1,\ldots, x_n)</math>. Then we have that
 
:<math>\begin{align}\part^\alpha x^\beta&= \frac{\part^{\vert\alpha\vert}}{\part x_1^{\alpha_1} \cdots \part x_n^{\alpha_n}} x_1^{\beta_1} \cdots x_n^{\beta_n}\\
&= \frac{\part^{\alpha_1}}{\part x_1^{\alpha_1}} x_1^{\beta_1} \cdots
\frac{\part^{\alpha_n}}{\part x_n^{\alpha_n}} x_n^{\beta_n}.\end{align}</math>
 
For each ''i'' in {1,&nbsp;.&nbsp;.&nbsp;.,&nbsp;''n''}, the function <math>x_i^{\beta_i}</math> only depends on <math>x_i</math>. In the above, each partial differentiation <math>\part/\part x_i</math> therefore reduces to the corresponding ordinary differentiation <math>d/dx_i</math>. Hence, from equation (1), it follows that <math>\part^\alpha x^\beta</math> vanishes if ''&alpha;<sub>i</sub>''&nbsp;>&nbsp;''&beta;<sub>i</sub>'' for at least one ''i'' in {1,&nbsp;.&nbsp;.&nbsp;.,&nbsp;''n''}. If this is not the case, i.e., if ''&alpha;''&nbsp;&le;&nbsp;''&beta;'' as multi-indices, then
 
:<math> \frac{d^{\alpha_i}}{dx_i^{\alpha_i}} x_i^{\beta_i} = \frac{\beta_i!}{(\beta_i-\alpha_i)!} x_i^{\beta_i-\alpha_i}</math>
for each <math>i</math> and the theorem follows. <math>\Box</math>
 
== See also ==
 
*[[Einstein notation]]
*[[Index notation]]
*[[Ricci calculus]]
 
== References ==
* Saint Raymond, Xavier (1991). ''Elementary Introduction to the Theory of Pseudodifferential Operators''. Chap 1.1 . CRC Press. ISBN 0-8493-7158-9
 
{{PlanetMath attribution|id=4376|title=multi-index derivative of a power}}
 
[[Category:Combinatorics]]
[[Category:Mathematical notation]]
[[Category:Articles containing proofs]]
 
[[bg:Мултииндекс]]
[[de:Multiindex]]
[[fr:Multi-indice]]
[[it:Notazione multi-indice]]
[[pl:Notacja wielowskaźnikowa]]
[[pt:Índice múltiplo]]
[[ru:Мультииндекс]]
[[zh:多重指标]]

Latest revision as of 23:52, 15 September 2019

This is a preview for the new MathML rendering mode (with SVG fallback), which is availble in production for registered users.

If you would like use the MathML rendering mode, you need a wikipedia user account that can be registered here [[1]]

  • Only registered users will be able to execute this rendering mode.
  • Note: you need not enter a email address (nor any other private information). Please do not use a password that you use elsewhere.

Registered users will be able to choose between the following three rendering modes:

MathML


Follow this link to change your Math rendering settings. You can also add a Custom CSS to force the MathML/SVG rendering or select different font families. See these examples.

Demos

Here are some demos:


Test pages

To test the MathML, PNG, and source rendering modes, please go to one of the following test pages:

Bug reporting

If you find any bugs, please report them at Bugzilla, or write an email to math_bugs (at) ckurs (dot) de .

Retrieved from "https://en.formulasearchengine.com/index.php?title=Main_Page&oldid=329754"