DLMF:36.12.E3 (Q10686): Difference between revisions

From MaRDI portal
Created a new Item: Initial DLMF data seeding
 
Added link to MaRDI item.
 
(17 intermediate revisions by 2 users not shown)
Property / Symbols used
 
Property / Symbols used: order not exceeding / rank
 
Normal rank
Property / Symbols used: order not exceeding / qualifier
 
DLMF defining formula:

O ( x ) Big-O 𝑥 {\displaystyle{\displaystyle O\left(\NVar{x}\right)}}

\bigO@{\NVar{x}}
Property / Symbols used: order not exceeding / qualifier
 
xml-id: C2.S1.E3.m2adec
Property / Symbols used
 
Property / Symbols used: Q10742 / rank
 
Normal rank
Property / Symbols used: Q10742 / qualifier
 
DLMF defining formula:

δ j , k Kronecker 𝑗 𝑘 {\displaystyle{\displaystyle\delta_{\NVar{j},\NVar{k}}}}

\Kroneckerdelta{\NVar{j}}{\NVar{k}}
Property / Symbols used: Q10742 / qualifier
 
xml-id: introduction.Sx4.p1.t1.r4.m5adec
Property / Symbols used
 
Property / Symbols used: canonical integral function / rank
 
Normal rank
Property / Symbols used: canonical integral function / qualifier
 
DLMF defining formula:

Ψ K ( 𝐱 ) canonical-integral 𝐾 𝐱 {\displaystyle{\displaystyle\Psi_{\NVar{K}}\left(\NVar{\mathbf{x}}\right)}}

\canonint{\NVar{K}}@{\NVar{\mathbf{x}}}
Property / Symbols used: canonical integral function / qualifier
 
xml-id: C36.S2.E4.m2adec
Property / Symbols used
 
Property / Symbols used: exponential function / rank
 
Normal rank
Property / Symbols used: exponential function / qualifier
 
DLMF defining formula:

exp z 𝑧 {\displaystyle{\displaystyle\exp\NVar{z}}}

\exp@@{\NVar{z}}
Property / Symbols used: exponential function / qualifier
 
xml-id: C4.S2.E19.m2aadec
Property / Symbols used
 
Property / Symbols used: imaginary unit / rank
 
Normal rank
Property / Symbols used: imaginary unit / qualifier
 
DLMF defining formula:

i imaginary-unit {\displaystyle{\displaystyle\mathrm{i}}}

\iunit
Property / Symbols used: imaginary unit / qualifier
 
xml-id: C1.S9.E1.m2aadec
Property / Symbols used
 
Property / Symbols used: partial derivative of $$f$$ with respect to $$x$$ / rank
 
Normal rank
Property / Symbols used: partial derivative of $$f$$ with respect to $$x$$ / qualifier
 
DLMF defining formula:

f x partial-derivative 𝑓 𝑥 {\displaystyle{\displaystyle\frac{\partial\NVar{f}}{\partial\NVar{x}}}}

\pderiv{\NVar{f}}{\NVar{x}}
Property / Symbols used: partial derivative of $$f$$ with respect to $$x$$ / qualifier
 
xml-id: C1.S5.E3.m4aadec
Property / Symbols used
 
Property / Symbols used: partial differential of $$x$$ / rank
 
Normal rank
Property / Symbols used: partial differential of $$x$$ / qualifier
 
DLMF defining formula:

x 𝑥 {\displaystyle{\displaystyle\partial\NVar{x}}}

\pdiff{\NVar{x}}
Property / Symbols used: partial differential of $$x$$ / qualifier
 
xml-id: C1.S5.E3.m2aadec
Property / Symbols used
 
Property / Symbols used: integer / rank
 
Normal rank
Property / Symbols used: integer / qualifier
 
DLMF defining formula:

n 𝑛 {\displaystyle{\displaystyle n}}

n
Property / Symbols used: integer / qualifier
 
xml-id: C36.S1.XMD2.m1dec
Property / Symbols used
 
Property / Symbols used: variable / rank
 
Normal rank
Property / Symbols used: variable / qualifier
 
DLMF defining formula:

k 𝑘 {\displaystyle{\displaystyle k}}

k
Property / Symbols used: variable / qualifier
 
xml-id: C36.S1.XMD4.m1adec
Property / Symbols used
 
Property / Symbols used: codimension / rank
 
Normal rank
Property / Symbols used: codimension / qualifier
 
DLMF defining formula:

K 𝐾 {\displaystyle{\displaystyle K}}

K
Property / Symbols used: codimension / qualifier
 
xml-id: C36.S1.XMD7.m1dec
Property / Symbols used
 
Property / Symbols used: oscillatory integral (locally) / rank
 
Normal rank
Property / Symbols used: oscillatory integral (locally) / qualifier
 
DLMF defining formula:

I ( 𝐲 , k ) 𝐼 𝐲 𝑘 {\displaystyle{\displaystyle I(\mathbf{y},k)}}

I(\mathbf{y},k)
Property / Symbols used: oscillatory integral (locally) / qualifier
 
xml-id: C36.S12.XMD1.m1adec
Property / Symbols used
 
Property / Symbols used: function (locally) / rank
 
Normal rank
Property / Symbols used: function (locally) / qualifier
 
DLMF defining formula:

a m ( 𝐲 ) subscript 𝑎 𝑚 𝐲 {\displaystyle{\displaystyle a_{m}(\mathbf{y})}}

a_{m}(\mathbf{y})
Property / Symbols used: function (locally) / qualifier
 
xml-id: C36.S12.XMD10.m1dec
Property / Symbols used
 
Property / Symbols used: function (locally) / rank
 
Normal rank
Property / Symbols used: function (locally) / qualifier
 
DLMF defining formula:

A ( 𝐲 ) 𝐴 𝐲 {\displaystyle{\displaystyle A(\mathbf{y})}}

A(\mathbf{y})
Property / Symbols used: function (locally) / qualifier
 
xml-id: C36.S12.XMD7.m1dec
Property / Symbols used
 
Property / Symbols used: function / rank
 
Normal rank
Property / Symbols used: function / qualifier
 
DLMF defining formula:

𝐳 ( 𝐲 , k ) 𝐳 𝐲 𝑘 {\displaystyle{\displaystyle\mathbf{z}(\mathbf{y},k)}}

\mathbf{z}(\mathbf{y},k)
Property / Symbols used: function / qualifier
 
xml-id: C36.S12.XMD8.m1dec
Property / Symbols used
 
Property / Symbols used: function / rank
 
Normal rank
Property / Symbols used: function / qualifier
 
DLMF defining formula:

z m ( 𝐲 , k ) subscript 𝑧 𝑚 𝐲 𝑘 {\displaystyle{\displaystyle z_{m}(\mathbf{y},k)}}

z_{m}(\mathbf{y},k)
Property / Symbols used: function / qualifier
 
xml-id: C36.S12.XMD9.m1dec
Property / instance of
 
Property / instance of: Digital Library of Mathematical Functions Formula / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI formula profile / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 09:08, 3 March 2024

No description defined
Language Label Description Also known as
English
DLMF:36.12.E3
No description defined

    Statements

    I ( 𝐲 , k ) = exp ( i k A ( 𝐲 ) ) k 1 / ( K + 2 ) m = 0 K a m ( 𝐲 ) k m / ( K + 2 ) ( δ m , 0 - ( 1 - δ m , 0 ) i z m ) Ψ K ( 𝐳 ( 𝐲 ; k ) ) ( 1 + O ( 1 k ) ) , 𝐼 𝐲 𝑘 𝑖 𝑘 𝐴 𝐲 superscript 𝑘 1 𝐾 2 superscript subscript 𝑚 0 𝐾 subscript 𝑎 𝑚 𝐲 superscript 𝑘 𝑚 𝐾 2 Kronecker 𝑚 0 1 Kronecker 𝑚 0 𝑖 partial-derivative subscript 𝑧 𝑚 canonical-integral 𝐾 𝐳 𝐲 𝑘 1 Big-O 1 𝑘 {\displaystyle{\displaystyle I(\mathbf{y},k)=\frac{\exp\left(ikA(\mathbf{y})% \right)}{k^{1/(K+2)}}\sum\limits_{m=0}^{K}\frac{a_{m}(\mathbf{y})}{k^{m/(K+2)}% }\left(\delta_{m,0}-\left(1-\delta_{m,0}\right)i\frac{\partial}{\partial z_{m}% }\right)\Psi_{K}\left(\mathbf{z}(\mathbf{y};k)\right)\left(1+O\left(\frac{1}{k% }\right)\right),}}
    0 references
    O ( x ) Big-O 𝑥 {\displaystyle{\displaystyle O\left(\NVar{x}\right)}}
    C2.S1.E3.m2adec
    0 references
    δ j , k Kronecker 𝑗 𝑘 {\displaystyle{\displaystyle\delta_{\NVar{j},\NVar{k}}}}
    introduction.Sx4.p1.t1.r4.m5adec
    0 references
    Ψ K ( 𝐱 ) canonical-integral 𝐾 𝐱 {\displaystyle{\displaystyle\Psi_{\NVar{K}}\left(\NVar{\mathbf{x}}\right)}}
    C36.S2.E4.m2adec
    0 references
    exp z 𝑧 {\displaystyle{\displaystyle\exp\NVar{z}}}
    C4.S2.E19.m2aadec
    0 references
    i imaginary-unit {\displaystyle{\displaystyle\mathrm{i}}}
    C1.S9.E1.m2aadec
    0 references
    f x partial-derivative 𝑓 𝑥 {\displaystyle{\displaystyle\frac{\partial\NVar{f}}{\partial\NVar{x}}}}
    C1.S5.E3.m4aadec
    0 references
    x 𝑥 {\displaystyle{\displaystyle\partial\NVar{x}}}
    C1.S5.E3.m2aadec
    0 references
    n 𝑛 {\displaystyle{\displaystyle n}}
    C36.S1.XMD2.m1dec
    0 references
    k 𝑘 {\displaystyle{\displaystyle k}}
    C36.S1.XMD4.m1adec
    0 references
    K 𝐾 {\displaystyle{\displaystyle K}}
    C36.S1.XMD7.m1dec
    0 references
    I ( 𝐲 , k ) 𝐼 𝐲 𝑘 {\displaystyle{\displaystyle I(\mathbf{y},k)}}
    C36.S12.XMD1.m1adec
    0 references
    a m ( 𝐲 ) subscript 𝑎 𝑚 𝐲 {\displaystyle{\displaystyle a_{m}(\mathbf{y})}}
    C36.S12.XMD10.m1dec
    0 references
    A ( 𝐲 ) 𝐴 𝐲 {\displaystyle{\displaystyle A(\mathbf{y})}}
    C36.S12.XMD7.m1dec
    0 references
    𝐳 ( 𝐲 , k ) 𝐳 𝐲 𝑘 {\displaystyle{\displaystyle\mathbf{z}(\mathbf{y},k)}}
    C36.S12.XMD8.m1dec
    0 references
    z m ( 𝐲 , k ) subscript 𝑧 𝑚 𝐲 𝑘 {\displaystyle{\displaystyle z_{m}(\mathbf{y},k)}}
    C36.S12.XMD9.m1dec
    0 references

    Identifiers