EntityStore de transformadas integrales
Una transformada integral es una operación matemática que mapea una función con otra
por medio de una integral de la forma
donde
se conoce como un núcleo. Las transformadas integrales son extremadamente importantes en muchas áreas, incluyendo el procesamiento de señales, imágenes médicas y teoría de la probabilidad. Aquí se ilustra la construcción de un almacén de entidades que contiene propiedades de importantes transformadas.
El almacén de entidades puede ser codificado a mano grabando las propiedades más importantes de las transformadas integrales en una estructura de datos de EntityStore.
![Click for copyable input](assets.es/integral-transform-entitystore/In_150.png)
EntityStore[<|
"Types" -> <|
"IntegralTransform" -> <|
"Entities" -> <|
"ExponentialFourierTransform" -> <|
"Label" -> "exponential Fourier transform",
"StandardName" -> "ExponentialFourierTransform",
"StandardNotation" -> Hold[f[t]],
"Definition" -> Inactive[FourierTransform][f[t], t, z] \!\(\*
TagBox["==",
"InactiveToken",
BaseStyle->"Inactive",
SyntaxForm->"=="]\)
Inactive[Integrate][
E^(I t z) f[t], {t, -\[Infinity], \[Infinity]}]/Sqrt[
2 \[Pi]],
"GeneralProperties" -> <|
"Linearity" -> {Inactive[FourierTransform][
a f[t] + b g[t], t, z] \!\(\*
TagBox["==",
"InactiveToken",
BaseStyle->"Inactive",
SyntaxForm->"=="]\)
a Inactive[FourierTransform][f[t], t, z] +
b Inactive[FourierTransform][g[t], t, z],
Inactive[FourierTransform][f[t], t, z] \!\(\*
TagBox["==",
"InactiveToken",
BaseStyle->"Inactive",
SyntaxForm->"=="]\)
Inactive[FourierTransform][f[-t] UnitStep[t], t, -z] +
Inactive[FourierTransform][f[t] UnitStep[t], t, z]},
"Reflection" -> {Inactive[FourierTransform][f[-t], t,
z] \!\(\*
TagBox["==",
"InactiveToken",
BaseStyle->"Inactive",
SyntaxForm->"=="]\) Inactive[FourierTransform][f[t], t, -z]},
"Dilation" -> {ConditionalExpression[
Inactive[FourierTransform][f[a t], t, z] \!\(\*
TagBox["==",
"InactiveToken",
BaseStyle->"Inactive",
SyntaxForm->"=="]\) Inactive[FourierTransform][f[t], t, z/a]/Abs[a],
a \!\(\*
TagBox["\[Element]",
"InactiveToken",
BaseStyle->"Inactive",
SyntaxForm->"\[Element]"]\) Reals && a \!\(\*
TagBox["!=",
"InactiveToken",
BaseStyle->"Inactive",
SyntaxForm->"!="]\) 0]},
"Shifting or translation" -> {ConditionalExpression[
Inactive[FourierTransform][f[-a + t], t, z] \!\(\*
TagBox["==",
"InactiveToken",
BaseStyle->"Inactive",
SyntaxForm->"=="]\) E^(I a z) Inactive[FourierTransform][f[t], t, z],
a \!\(\*
TagBox["\[Element]",
"InactiveToken",
BaseStyle->"Inactive",
SyntaxForm->"\[Element]"]\) Reals]}|>|>|>|>|>|>]
![](assets.es/integral-transform-entitystore/O_108.png)
Una versión más completa puede ser encontrada en el siguiente CloudObject.
![Click for copyable input](assets.es/integral-transform-entitystore/In_151.png)
itstore =
CloudGet[CloudObject[
"https://www.wolframcloud.com/objects/c21b356b-607a-406c-af91-\
5088f435fe99"]]
![](assets.es/integral-transform-entitystore/O_109.png)
Registre el almacén para esta sesión.
![Click for copyable input](assets.es/integral-transform-entitystore/In_152.png)
PrependTo[$EntityStores, itstore];
Vea las entidades en el almacén.
![Click for copyable input](assets.es/integral-transform-entitystore/In_153.png)
EntityValue["IntegralTransform", "Entities"]
![](assets.es/integral-transform-entitystore/O_110.png)
Agregue una nueva transformada.
![Click for copyable input](assets.es/integral-transform-entitystore/In_154.png)
Entity["IntegralTransform", "HilbertTransform"]["Label"] =
"Hilbert transform";
Entity["IntegralTransform", "HilbertTransform"]["Definition"] =
Inactive[HilbertTransform][f[t], t, x] \!\(\*
TagBox["==",
"InactiveToken",
BaseStyle->"Inactive",
SyntaxForm->"=="]\)
1/\[Pi] Inactive[Integrate][f[t]/(
t - x), {t, -\[Infinity], \[Infinity]}, PrincipalValue -> True,
Assumptions -> x \!\(\*
TagBox["\[Element]",
"InactiveToken",
BaseStyle->"Inactive",
SyntaxForm->"\[Element]"]\) Reals];
Recupere las propiedades actuales disponibles para transformadas integrales.
![Click for copyable input](assets.es/integral-transform-entitystore/In_155.png)
EntityValue["IntegralTransform", "Properties"]
![](assets.es/integral-transform-entitystore/O_111.png)
Recupere las definiciones para transformadas exponenciales de Fourier y Mellin.
![Click for copyable input](assets.es/integral-transform-entitystore/In_156.png)
EntityValue[
Entity["IntegralTransform", "LaplaceTransform"], "Definition"]
![](assets.es/integral-transform-entitystore/O_112.png)
![Click for copyable input](assets.es/integral-transform-entitystore/In_157.png)
EntityValue[
Entity["IntegralTransform", "MellinTransform"], "Definition"]
![](assets.es/integral-transform-entitystore/O_113.png)
Compare con las expresiones dadas por las correspondientes funciones incorporadas.
![Click for copyable input](assets.es/integral-transform-entitystore/In_158.png)
Activate[EntityValue[Entity["IntegralTransform", "LaplaceTransform"],
"Definition"][[2]] /. f :> Function[t, ArcTan[t]]]
![](assets.es/integral-transform-entitystore/O_114.png)
![Click for copyable input](assets.es/integral-transform-entitystore/In_159.png)
LaplaceTransform[ArcTan[t], t, z]
![](assets.es/integral-transform-entitystore/O_115.png)
Muestre la propiedad de convolución de la transformada Z.
![Click for copyable input](assets.es/integral-transform-entitystore/In_160.png)
Entity["IntegralTransform", "ZTransform"][
"GeneralProperties"]["Convolution"]
![](assets.es/integral-transform-entitystore/O_116.png)
Compare las propiedades actualmente almacenadas de las transformadas exponenciales de Fourier y Mellin.
![](assets.es/integral-transform-entitystore/O_117.png)