XVIII Reunin Nacional Acadmica de Fsica y Matemticas 2013

Solucin de un modelo matemtico para el estudio del odo interno

Yarith Nayue del ngel1(*), J. G. Gonzlez-Santos2
1

Seccin de Estudios de Posgrado, ESFM-IPN, Mxico D.F., Mxico

2
Departamento de Matemticas, ESFM-IPN, Mxico D. F., Mxico
Telfono (55) 5729-6000 Ext. 55313 Fax (55) 5729-55051
E-mail: yarith@esfm.ipn.mx

Resumen En este trabajo analizamos un modelo matemtico

propuesto para el estudio del odo interno, especficamente la
cclea, donde se llevan a cabo los eventos ms importantes del
proceso de audicin. La cclea es modelada como una banda
infinita bidimensional donde el movimiento del fluido coclear
satisface las ecuaciones de Navier-Stokes sin considerar la no
linealidad. La membrana basilar, una de las membranas que
divide longitudinalmente la cclea, se modela como un
oscilador armnico amortiguado con masa nula y rigidez que
decae exponencialmente a lo largo de su longitud. Adems, el
movimiento de cualquier parte de la membrana se supone ser
independiente del movimiento de sus partes vecinas.
Hemos estudiado el modelo de la cclea utilizando la
transformada de Fourier en el sentido no clsico a travs de la
teora de distribuciones temperadas. Presentamos el anlisis
del modelo con y sin viscosidad incluida. Se obtuvo una
aproximacin asinttica para el caso que incluye viscosidad.
Los resultados obtenidos generalizan a los presentados
previamente por Peskin [11]. Asimismo, los resultados
obtenidos son similares cualitativamente con las observaciones
hechas por Bksy.

I. INTRODUCCIN
La cclea es la responsable de convertir las ondas sonoras
en impulsos nerviosos que llegan al cerebro por lo que no es
de extraarse que se considere como el rgano ms
importante en el proceso de audicin. A pesar de las
dificultades para observar experimentalmente lo que sucede
dentro de la cclea el conocimiento acerca del
funcionamiento de sta ha ido en progreso durante los
ltimos 50 aos. Desde las primeras observaciones
experimentales realizadas por Bksy [1] en 1928 varios
modelos matemticos [4-6,8-13,15] se han venido
proponiendo para simular el comportamiento de la cclea y
gran parte de ellos se han limitado en estudiar la
propagacin de ondas sobre la membrana basilar. Cada uno
de estos modelos debera, en principio, reproducir las
observaciones hechas por Bksy; la presencia de una onda
viajera en respuesta al estimular la cclea con un tono de
una sola frecuencia [5]. En este trabajo hemos estudiado el
modelo de la cclea propuesto por Leveque, et al. [8,9]
utilizando la transformada de Fourier en el sentido no
clsico a travs de la teora de distribuciones temperadas. En
la seccin II se describe algunos aspectos de la anatoma del
odo humano as como del modelo matemtico por el cual
ser representado. En la seccin III se presenta la solucin,
al problema con y sin viscosidad en el espacio de frecuencia.
En la seccin IV se presenta una aproximacin de la
solucin para el comportamiento de la membrana
excluyendo viscosidad del fluido y una introduccin de la
teora de distribuciones es presentada. Los resultados
obtenidos son similares cualitativamente con las
observaciones hechas por Bksy.

Palabras Clave distribuciones temperadas, membrana

basilar, odo interno, transformada de Fourier

Abstract In this work we deal with a model proposed to

study the inner ear, specifically the cochlea, which is modeled
as an infinite strip in x-y space. The motion of the cochlear
fluid satisfies the Navier-Stokes equations without considering
the nonlinearity. Additionally, is included the motion equation
of the basilar membrane; each point of the membrane is
modeled as a damped harmonic oscillator where its mass,
stiffness and damping vary along the length of the membrane.
Besides, is assumed the movement of any part of the membrane
as independent of the movement of neighboring parts.
We have studied the cochlear model through the theory of
tempered distributions and their Fourier transforms. We
analyze the model with and without viscosity and we obtained
an analytical approximation to model with viscosity. The
results are in agreement with the observations made by Bksy.

II. PLANTEAMIENTO DEL PROBLEMA

En esta seccin se presentan algunos aspectos
importantes de la anatoma del odo humano y como en ste
se lleva a cabo el complejo proceso de la audicin. Seguido
de esto, continuamos con la descripcin del modelo
matemtico que simplifica lo primero expuesto.

Keywords basilar membrane, Fourier transform, inner ear,

tempered distributions

Anatoma del odo

La anatoma del odo se divide en tres partes
principalmente: odo externo, odo medio, y odo interno. El
odo externo consiste del pabelln auricular (comnmente

Este trabajo est patrocinado en parte por la Secretara de

Investigacin y Posgrado del IPN, proyecto SIP-20130922. (*)
Becario Conacyt.

229

XVIII Reunin Nacional Acadmica de Fsica y Matemticas 2013

llamado oreja) y el meato acstico externo (conducto
auditivo externo) que termina en la membrana timpnica. El
tmpano es una membrana delgada que separa al odo
externo del odo medio.
El odo medio es una cavidad que se encuentra entre el
tmpano y el odo interno, del cual est separado por una
lmina de hueso con dos orificios llamados ventana
vestibular (oval) y ventana coclear (redonda). En el interior
del odo medio hay una cadena de huesos muy pequeos,
tambin llamados huesecillos, que debido a la forma que
tienen reciben los nombres de martillo, yunque y estribo,
articulados entre s. El odo interno est formado por el
laberinto seo que a su vez contiene en su interior el
laberinto membranoso; entre ambos hay un lquido llamado
perilinfa y adentro del laberinto membranoso hay otro
lquido llamado endolinfa. Los dos laberintos tienen la
misma forma y estn constituidos por las siguientes partes:
tres conductos llamados canales semicirculares, el vestbulo
y un conducto enrollado, aproximadamente dos vueltas y
media, llamado cclea. Este conducto desenrollado mide
aproximadamente 35 mm y en su interior tiene una
membrana que divide y recorre longitudinalmente la cclea,
la membrana basilar, en la cual est el rgano de Corti; el
rgano receptor especializado de la audicin.
La cclea funciona en la percepcin del sonido. Los
estmulos llegan al odo en forma de ondas sonoras, que,
captadas por la oreja son conducidos por el meato acstico
externo haca el tmpano; ste vibra y mueve la membrana
timpnica convirtiendo las ondas sonoras en energa
mecnica. El movimiento de los huesecillos, debido al
movimiento de la membrana timpnica, amplifica 20 veces
la energa mecnica y hacen mover la ventana oval. Los
movimientos de la ventana oval inducen ondas de presin en
la perilinfa que aumentan la presin sobre la endolinfa para
estimular la vibracin de la membrana basilar, la cual est
llena de terminaciones nerviosas sensibles al movimiento.
Estas terminaciones nerviosas forman parte del rgano de
Corti donde diferentes frecuencias estimulan diferentes
grupos de nervios.

Fig. 2.1 Cclea idealizada bidimensional.

La membrana divide los dos compartimentos y yace

sobre = 0 cuando se encuentra en reposo, fuera del
equilibrio su desplazamiento se denota por (, ). Se
considera un solo fluido en la cclea y su movimiento en
ambos compartimentos satisface las ecuaciones de NavierStokes junto con la ecuacin de continuidad:

+
= 0,

1 2 2
+
+
+
= (
+
) ,

2 2

1 2 2
+
+
+
= (
+
) ,

2 2

(1)
(2)

(3)

donde
= ((, , ), (, , )) es la velocidad, (, , )
es la presin y es la viscosidad dinmica. Obsrvese que
no hay un trmino forzante para este modelo. Las
ecuaciones (2-3) pueden simplificarse si se considera que las
amplitudes de la membrana son pequeas. De acuerdo con
lo reportado por Bksy, el desplazamiento mximo, ,
es alrededor de 107 en condiciones normales de presin
sonora y ~3 102 en la cclea humana. Si el perodo de
oscilacin de la membrana es entonces:

( ) ( /)
~
~
1 ,
(/)
/ 2

Modelo matemtico

( /)
~
~
~
1.
(/) (/)
/

De acuerdo con algunos resultados reportados [10,

13, 15], el efecto de espiral parece no afectar
significativamente la respuesta mecnica de la cclea,
por lo que, por simplicidad y como una posible
aproximacin aceptable, sta se considera desenrollada
como se muestra en la Figura (2.1) considerando el
caso bidimensional.

As, si se suponen pequeas amplitudes de la membrana,

1, los trminos no lineales en (2-3) pueden ignorarse

cuando estos se comparan con el trmino que depende del

tiempo. Con estas suposiciones las ecuaciones (2-3) se
reducen para 0 a:

La cclea, idealizada como se muestra en la Figura 2.1,

se divide en dos compartimentos: superior e inferior. El
primero se llama escala vestibular y el segundo escala
timpnica.

2 2
+
= ( 2 + 2) ,

2 2

+
= ( 2 + 2) .

230

(4)
(5)

XVIII Reunin Nacional Acadmica de Fsica y Matemticas 2013

La cclea se modela como una banda infinita (, )
(, ) en el espacio pero de acuerdo con Keller y Neu
[3] el comportamiento mecnico de la cclea parece no
verse afectado, al menos en este modelo, cuando se
incrementa el ancho. Por lo tanto, por simplificacin
consideraremos = y as el modelo de la cclea ocupa
todo el plano .
Se tienen las siguientes condiciones de frontera:
en = 0 ;

, 0 cuando ,

(6)

(, 0, ) = 0 ,
(, 0, ) =

anterior simplifica la condicin de frontera justificndose

por las pequeas amplitudes de la membrana. Note tambin
que la presin que experimenta la membrana basilar debido
al fluido en la escala timpnica, 2 (, (, ), ), se denota
como (, 0 , ) y se ha omitido el subndice del hecho que
est evaluada en = 0. Caso similar para la escala
vestibular. Las ecuaciones (4-9) junto con (1) conforman
nuestro problema de la cclea.
III. SOLUCIN DEL MODELO EN EL ESPACIO DE FRECUENCIA

(7)

(, )
.

Se busca soluciones peridicas de la forma:

(, ) = (() ) , (, , ) = ((, , ) ) ,

(8)

y similarmente para y . Sustituyendo la forma de estas

soluciones en (4-5) y (1) obtenemos respectivamente:

El espesor y la rigidez de la membrana basilar no son

constantes a lo largo de sta. Tanto la rigidez como el
espesor varan de ms grueso y rgido cerca de la ventana
oval a ms delgada y flexible en el otro extremo. En la
mayora de trabajos reportados cada punto de la membrana
basilar se modela como un oscilador armnico amortiguado
con masa, amortiguamiento y rigidez que vara a lo largo de
su longitud. El movimiento de cualquier parte de la
membrana se supone ser independiente del movimiento de
sus partes vecinas. La posicin de la membrana basilar, =
(, ), se especifica como:
()

= ,

+
= ,

+
=0 ,

+ ()
+ ()
2

= 2 (, (, ), ) 1 (, (, ), ) ,

(, 0 , ) (, 0 , ) = 0

( +

(11)
(12)

donde es el operador Laplaciano. Las condiciones de

frontera, Ecs. (6-9), se transforman en:
, 0 cuando ,
(, 0) = 0 ,
(, 0) = () ,
[]() = 0 (1 + ) () ,

donde () es la masa por unidad de rea de la membrana

basilar, () es el coeficiente de amortiguamiento y () es
la rigidez por unidad de rea. Obsrvese que la membrana
experimenta una fuerza restauradora debido a la diferencia
de presin en el punto (, ). La ecuacin anterior puede
simplificarse si se considera que la membrana basilar tiene
masa cero, () = 0. Adems, como observado por Bksy
[1], la rigidez decae exponencialmente con la distancia a la
ventana oval, esta variacin de la rigidez en funcin de la
posicin es representado por 0 . El factor en la
dependencia exponencial fue medido por Bksy y para la
cclea humana tiene un valor aproximado de 1 0.7 cm,
0 es una constante de rigidez. El coeficiente de
amortiguamiento debido a la variacin en la rigidez tambin
depende de la posicin. ste es representado por 0 ,
donde es una constante. Por lo tanto, la ecuacin anterior
puede reescribirse como:

(10)

(13)
(14)
(15)
(16)

donde []() = (, 0+ ) (, 0 ).
Utilizaremos la
transformada de Fourier en la variable para resolver el
sistema (10-12). Sea

(, ) = (, ) 2 ,

y similarmente para , , . Entonces, las ecuaciones (1015) se transforman para 0 < || < :

2
),
2

2
+
= (4 2 2 + 2 ) ,

+
2
= 0,

con las condiciones de frontera,

+ 2 = (4 2 2
+

) (, ) . (9)

, 0 cuando ,

(, = 0) = 0 ,

() .
(, = 0) =

Obsrvese que en (9) la fuerza restauradora que experimenta

la membrana debido a la presin ahora est evaluada sobre
= 0 y no en su posicin instantnea = (, ), lo

231

(17)
(18)
(19)

(20)
(21)
(22)

XVIII Reunin Nacional Acadmica de Fsica y Matemticas 2013

(, 0+ ) = (, 0 ) ,
4 2 2
[ ] .
[ ]() =

Para transformar la Ec. (16) hacemos uso de la identidad

2 () = 2 () 2

( + ) ,
=
la cual es vlida siempre que la transformada exista, es
() puede ser extendida en el plano
decir, siempre que
(), = + . De esta
complejo a la funcin analtica
manera, la ecuacin (16) se transforma como:

),
2

(1 1+ + 2 2+ ) = 0 ,
1 1 + 2 2 = 0 ,
1+ + 2+ = 1 + 2 ,

(23)

(, ) = 1 1 || + 2 2|| ,

1 1 + 2 2 = 0 ,
1 3 1 + 2 3 2 =

22 2

[ ] ,
1
22 2
[ ] ,
2 =
2
1 =

(36)
(37)

(25)
y as (35) se expresa finalmente:

Dado que 0 cuando || , se considera:

(, ) = (

1 y 2 para > 0 ,
+1 y +2 para < 0 .

1 || 2 || 22 2
[ ] . (38)

)
1
2

De (22) y (38) obtenemos:

1
1
1 22 2
(, 0) = ( ) 2 [ ]( ),

1 2
1
||
= (1
) 2 [ ] .
2
2

1 + /4

De esta manera se tiene:

() =

> 0,
< 0.

(26)

Obsrvese que se desconocen cuatro constantes (en funcin

de ) que pueden determinarse usando las siguientes
condiciones de frontera:
(, 0+ ) = 0 ,
(, 0 ) = 0 ,

2 2 2
[ ] .

Resolviendo el sistema de ecuaciones se obtiene:

La solucin de (24) es una combinacin lineal de 1 y

2 donde:

+ 1 + 2+ 2 ,
(, ) = { 1 1
1
+ 2 2 ,

(35)

donde se ha omitido los superndices . Obsrvese que (35)

es una funcin par, (, ) = (, ). Las constantes 1 y
2 se determinan resolviendo el sistema:

2
2 2

(4

+
))
(
4 2 2 ) = 0 . (24)
2

, 2 = 2|| .

4 2 2
[ ] . (34)

Manipulando las ecuaciones (31-33) podemos concluir que

1+ = 1 y 2+ = 2 y entonces (26) puede escribirse en la
forma:

() =
( + ) es analtica para < < 0
donde
2
[14]. Si se considera un parmetro fijo el sistema de
ecuaciones (17-19) forma un sistema de ecuaciones
diferenciales ordinarias con coeficientes constantes. El
objetivo ser entonces resolver el sistema de ecuaciones de
tal manera que podamos expresar (, 0) (y por lo tanto
()) en trminos de []() y as (23) se reduce a un

problema que involucra solamente a la membrana basilar.

de (19) para as expresar (18) en
Despejando de (17) y
trminos de la funcin obtenemos:

1 = 4 2 2 +

(31)
(32)
(33)

(1 3 1+ + 2 3 2+ ) (1 3 1 + 2 3 2 ) =

(30)

Las ecuaciones (27-28) se obtienen a partir de (19) y (21).

La ecuacin (29) es consecuencia de (22). La ecuacin (30)
de (19) y sustituyendo en (17) y
se obtiene despejando

evaluando en = 0 . De (26) junto con (27-30) obtenemos

el siguiente sistema de ecuaciones:

= 2(+) ()

(
[]() = 0 (1 + )

(29)

(39)

() y
La ecuacin (39) es la relacin que se buscaba entre

[ ](). Sustituyendo (23) en (39) se tiene:

(27)
(28)

() = || (1

232

1
1 +

/ 2

(
)

),
2

(40)

XVIII Reunin Nacional Acadmica de Fsica y Matemticas 2013

donde =

0
2

(1 + ) y =

42

() = () + () ,
donde podemos despejar () :

. La ecuacin (40) es

la ecuacin funcional cuya transformada inversa determina

el comportamiento de la membrana basilar. Por simplicidad,
en la siguiente seccin estudiamos la Ec. (40) suponiendo
viscosidad nula.

() =

En esta seccin se estudia un caso particular del modelo de

la cclea. Suponemos que el fluido coclear tiene viscosidad
nula, 0, entonces y la ecuacin (40) se reduce a
la siguiente ecuacin funcional:

).
2

(41)

Para encontrar la transformada inversa de (41) consideremos

el caso generalizado siguiente:
() =
()
(

).
2

Teora de distribuciones
La teora de distribuciones se desarrollo para formalizar el
uso de las funciones singulares, como la funcin delta de
Dirac, que dada la inconsistencia con el concepto de funcin
no podan estudiarse desde la teora del anlisis clsico [3].
Aqu revisaremos algunos conceptos y resultados necesarios
para continuar nuestro problema en estudio. La teora de
distribuciones y sus transformadas de Fourier puede
encontrarse, por ejemplo, en [2,3,14,16].
Sea () el conjunto de todas las funciones (),
, con soporte compacto . Los elementos de
() se conocen como funciones prueba. es una espacio
lineal. Una sucesin de funciones prueba { }
=1 se dice
converger en si , si desaparecen en un
mismo intervalo fijo acotado y si para todo entero k la

(42)

La dificultad para encontrar una solucin analtica al

problema en estudio se debe, en gran parte, a la condicin
de frontera dada por la ecuacin (9) cuya transformada de
( + ) es la continuacin analtica de
Fourier existe si
(). La funcin
() que satisface la ecuacin
que
funcional (42) est definida para , donde
= { = + /2 0} ,
y adems debe satisfacer las siguientes condiciones:

()

c)

)=

lim

( + ) ,

(43)

( )
2

() =
()
( ) ,
d)
2
( + ) tiene transformada de Fourier inversa
e)
para todo , /2 0 .
La idea de la solucin se describe a continuacin.
Sea
() y () = ln
() .
() = ln

1) Linealidad de : para 1 , 2 arbitrarios y

cualesquiera dos funciones 1 y 2 se tiene:
, 1 1 + 2 2 = 1 , 1 + 2 , 2 .
2) Continuidad de : un funcional se dice ser continuo
en si cualquier sucesin de funciones prueba { }
=1
que converge a en la sucesin de nmeros
{, }
=1 converge al nmero , en el sentido
usual.

(44)

Tomando el logaritmo a (43.d) obtenemos:

() = () + (

).
2

sucesin { ()}=1
converge uniformemente para
< < . Diremos que : es un funcional lineal
continuo sobre si existe una regla de correspondencia tal
que asigne un nmero complejo , y satisfaga
las siguientes dos caractersticas:

() es analtica en = { = + < < 0},

2
() = lim
( + ),
b)

a)

(47)

Tomando la transformada de Fourier de (47) obtenemos

() y de sta ltima tomar
() de donde podemos obtener
la transformada inversa para finalmente obtener la solucin
() no
al problema. Obsrvese que se ha supuesto que
tiene ceros en ya que de lo contrario () no sera
analtica y por lo tanto (46) no tendra sentido. Por otro lado,
() crece logartmicamente cuando por lo que su
transformada inversa, (), no existe en el sentido clsico y
debe tratarse desde la teora de distribuciones (funciones
generalizadas).

IV. ANLISIS DEL MODELO SIN VISCOSIDAD

() = ||
(

()
.
1

(46)

Un funcional lineal continuo es una distribucin o funcin

generalizada. El espacio de todas las distribuciones se
denota como . es un subespacio lineal de , .
Sea : una funcin localmente integrable, es

decir, |()| existe , . Se puede definir una

distribucin a travs de la integral convergente:

(45)

Si () es analtica en entonces (45) tiene transformada

inversa y se obtiene:

233

XVIII Reunin Nacional Acadmica de Fsica y Matemticas 2013

() = (

, = (), () = ()() .

(48)

()
) 2 .
1

Entonces () = ( + ) existe y es analtica en .

Adems,

La distribucin se dice que estar generada por la funcin

. Las distribuciones generadas por (48) de funciones
localmente integrables se llaman distribuciones regulares,
de lo contrario sern llamadas distribuciones singulares.
El espacio de Schwartz sobre , (), consiste de todas
las funciones suaves tal que y todas sus derivadas
, , , () , , decaen rpidamente, en el sentido que:

() = lim ( + ) ,
0

( ) = lim + ( + ),
2
(/2)

(49)

y se satisface la ecuacin (45). Ms an, esta solucin es

nica (salvo una constante) y toma valores en sobre la
frontera.
Demostracin.
Obsrvese que () es una distribucin temperada en
/2 0. Dado que la transformada de Fourier y su
inversa establecen una correspondencia uno a uno en el
espacio basta probar que , definida como

sup
|| | () ()| < , {0} .

Esta propiedad tambin puede escribirse en otra forma.

() si:
lim || | () ()| = 0 , {0} .

||

Toda funcin prueba es una funcin que decae rpidamente,

. Toda funcin de es absolutamente integrable.
Una distribucin se dice ser de bajo crecimiento si es un
funcional lineal continuo sobre el espacio (). Estas
distribuciones tambin son llamadas distribuciones
temperadas. El espacio de distribuciones temperadas se
denota como . Una funcin se dice ser bajo crecimiento si

() =

2
,
1

es una funcin de bajo crecimiento. En efecto, basta poner

= 1 para verificar que
lim ||1 () = 0 ,

||

lim || () = 0 ,

||

para todo . Por el teorema 1 ( + ) es analtica en

< < 0 y se satisface (49). Adems, la ecuacin (45)

2
tambin se satisface. En efecto,

para algn entero . Toda funcin localmente integrable de

bajo crecimiento define una distribucin temperada de la
forma (48). Toda distribucin temperada tiene una
transformada de Fourier definida por , = ,
, = , ) donde es la
(o bien como
transformada de Fourier clsica y .
Si = y = entonces:

() (

() ^
()
)=(
)

(
)
2
1
1

1
= (()
) = () .
1

1 , = , 1 ,

Para mostrar la unicidad de basta suponer que existen dos

soluciones, 1 y 2. Ambas soluciones satisfacen (49) y
adems:

donde y . 1 es tambin una distribucin

temperada.
Teorema 1. Supongamos que () = () 2 es una
distribucin temperada para 1 2 . Entonces la
transformada de Fourier, () = ( + ), existe como
una funcin ordinaria para 1 < < 2 y es analtica en la
banda + del plano complejo. Adems,

) = () ,
2

2 () 2 ( ) = () .
2
1 () 1 (

Por lo tanto, 0 () = 1 () 2 () satisface la ecuacin

homognea () = 0,

( + ) = lim ( + ) ,

para = 1,2 cuando se aproxima por el interior de la

banda.
Teorema 2. Supongamos que () es una distribucin
temperada con transformada de Fourier (). Sea

0 () = 0 (

234

).
2

XVIII Reunin Nacional Acadmica de Fsica y Matemticas 2013

Dado que 1 y 2 son analticas en y adems con valores

de frontera se concluye que 0 () hereda estas mismas
propiedades y por lo tanto tiene sentido la transformada de
Fourier inversa 0 () = 0 (). As, 0 () = () lo
cual implica que 0 = , donde es una constante. Se
concluye que () es nica salvo una constante.
(), ver (44), se tiene:
Dado que () = ln
() =
() = () ,

para

3 = 2() 2 .

Las integrales de arriba pueden obtenerse a partir de las

propiedades de distribuciones. Por ejemplo, mostramos el
clculo de (54.a).
Sea , entonces:
( ), () = ( ), ()
= (1) ( ), (())
= (1) (())

= [(1) () 2 ]

=

(50)

< < 0 , = + . Sin embargo, no siempre

() satisfaga todas las condiciones
podemos asegurar que
() satisface (43.a) del
de (43). Observemos primero que
hecho que () es analtica en .
() = 0 para algn
Obsrvese tambin que si
entonces este procedimiento no aplica ya que esta raz no
podra recuperarse a partir de (50).
2

= (2) 2 ()

= (2) 2 , ().

Para el caso particular del modelo de la cclea en estudio se

tiene:
donde =

0
(1 + ).
2

(51)

0 ln = ln ,

Tomando el logaritmo a (51), obtenemos:

() = ln + ln|| 2() ,

ln|| = {
< 0 ln() = ln() .

(52)

Entonces, |ln||| = ln|| y as ln|| genera una

distribucin regular. Adems, ln|| no est acotada cuando
0, es decir, tiene una singularidad en = 0. Para
calcular (55.b) similarmente como se hizo en (55.a) se debe
tener en cuenta que:
(ln||) 1
= ,

0 <0
es la funcin de Heaviside. La
1 0
justificacin del ltimo trmino en (52) ser hecha ms
adelante. Calculando la transformada inversa de (52) se
obtiene (ver tablas en Lavoine[7]):
donde () = {

() = {ln ()} {

1
+ () + (ln 2) ()}
2||

1
+ { ()}

= (ln ln 2 )()

1
1
+ ,
2||

(55)

De (55) se deduce que {()} = 1 () = 1 {1} y

por lo tanto (55.a) ha quedado justificada. Obsrvese que la
funcin delta, (), no es una funcin localmente integrable
y por lo tanto, de acuerdo con (48), define una distribucin
singular. Por otro lado, la funcin ln|| es localmente
integrable ya que la integral indefinida existe y es un
nmero finito:

Solucin del modelo de la cclea

() = ||,

(54. )

y sta ltima funcin no es localmente integrable, adems de

tener una singularidad en = 0, y por lo tanto no genera
una distribucin regular. Sin embargo, es posible obtener
distribuciones teniendo en cuenta que en integrales con
alguna singularidad pueden obtenerse a partir de la parte
finita de Hadamard o el valor principal de Cauchy [16].

(53)

donde = 0.57721 es la constante de Euler. Antes de

continuar conviene observar lo siguiente. Para calcular la
transformada inversa de (52) las siguientes integrales
debieron haberse calculado:

Podemos descomponer () de la forma siguiente:

() =

1 = ln 2 ,

(54. )

2 = ln|| 2 ,

(54. )

2
1
1 2
=
+( +
) + () ,

donde lim () existe y adems si

0

< < 0 entonces

() decae exponencialmente cuando || . Por otro

235

XVIII Reunin Nacional Acadmica de Fsica y Matemticas 2013

lado, lim 0 () = 1 y lim /2 () = 1. Utilizando
+

La transformada de Fourier de la funcin 0 () ha sido

aproximada de la siguiente manera. Descomponemos la
funcin 0 () como

el teorema 2 y descomponiendo () de la siguiente forma:

() = (ln ln 2 )() ()
1
1
+(
) [() 2 () (+2)
2||
1 1 2
+ || ( + +
)] + () ,
2

donde est dada por

1
1
1
1
0 () = (
) () + (
) () ,
2|| 0
2||
donde () es como definida antes y () es:
1 1 2
() = {() + () || ( + +
)} .
2

1
1
) [ () () 2
() = (
2||
1 1 2
+() (+2) || ( + +
)].
2

La transformada de Fourier de () puede obtenerse de

forma cerrada consultando las tablas en Lavoine [7]. Por
otro lado, hemos utilizado la expansin en serie de 0 ()
hasta de orden 10 y ya truncada la serie es posible completar
la transformada de 0 () consultando, una vez ms, las
() puede
tablas de Lavoine. La influencia de 0 () sobre
observarse en la Fig. (2). Note que la funcin decrece para
|| y contribuye muy poco en (57).

Obsrvese que es absolutamente integrable, ()

1 (), y por lo tanto su transformada de Fourier existe

para todo [ , 0]. Por lo tanto, () = ( + )

2

est dada por (utilizando tablas de Lavoine [7]):

1 2
( ))
() = ( + ) = (ln ) ( +
2

1
5
2
ln( + ) + ( + ( )) ln ( 2 + ( ) )
2
4
2
3

4
2
ln ( + ) (2 +
( + )) tan1 (
)
2
2

2
+ () 2 +
2.
(56)

() = () y por (43.b)
Ahora, de (50) sabemos que
() = lim (+) = () . Adems, del teorema 2

sabemos que () es nica salvo una constante y por lo

() tambin. As, tomando la exponencial a (56)
tanto
obtenemos:

Fig. 2: Aproximacin de |exp (0 ())| con 0 () aproximada

hasta de orden 10, [cm]. La funcin es acotada cuando || y,
() se ha
para nuestros propsitos, su influencia sobre
considerado insignificante.

2
() = exp {

[(1 2()) + sgn()

2
1
2
2 1 (
) + (1 + 0 ln ( 2 + ( ) ))

2
2
2

2 + ( )
1
2 )
(57)
+ ln (
||
2

() tiene una singularidad en = 0, sin

Obsrvese que

embargo () decae exponencialmente cuando || . Lo

anterior puede observarse en la Fig. (3a-3c) donde se han
tomado valores de 0 = 1 [gm/cm2 seg 2 ], = 1[gm/cm3 ],
= 0.71 [cm], = 104 seg 1 .

tan1 (
) sgn() + 0 ()} ,
2

El comportamiento de la membrana basilar est dado por

la transformada inversa de (57), sin embargo deseamos
aproximar esta ecuacin y obtener una expresin
aproximada para ().

donde es, en principio, una constante arbitraria y

1
0
0 = ln ( 2 1 + 2 2 ) .

236

XVIII Reunin Nacional Acadmica de Fsica y Matemticas 2013

1
2
() = () exp {

tan1 + ln||
2

i2
}.
+(1 + 0 ln||)

a)

(58)

La aproximacin para () estara dada por

() 2 =
0 () 2() ,
() =
donde:

1
2
tan1 + ln||} ,
2

1
() = {( + 0 ) + (1 ln||)} .

0 () = () exp {

Haciendo el cambio de variable = (+0 ) se tiene:

b)

( ) =

( ) = 0 ,

( ) =

0 () y () alrededor de y aproximando a
Expandiendo
primero y segundo orden, respectivamente, se obtiene:
2( ) ( )2/ ,
0 ( )
()~

2 /

Dado que ( )
simplificando se tiene:

= /4

[]

()~ exp {( + 0 )

c)

2 (+ )
0 (tan1 + i)}.

(59)

A partir de (59) se obtiene que el punto mximo es

alcanzado cuando
1

= 0 + ln (
).

2 tan1
Considerando tan1 =

(1+2 2 )3

+ (5 5 ) entonces

toma la forma:
(), Re[
()].
Fig. 3a-3c. Comportamiento de la parte real de

()|, en todos
Para cada caso se muestran ambas envolventes, |
los casos = 1.

1
0 (1 + 2 2 )5/6
ln (
).

2 3

Finalmente, la Ec. (59) se expresa en trminos de como:

() est cercanamente a cero

Obsrvese que la funcin
() alcanza un mximo y un
para > 0. Para < 0,
mnimo muy cerca del origen y decae exponencialmente
cuando . De esta manera, obtenemos que (57) puede
aproximarse por la siguiente expresin:

()~ exp{( ) + ln (
)
2 1
( ) (1

+ /(tan1 ))} .
(60)

237

XVIII Reunin Nacional Acadmica de Fsica y Matemticas 2013

El comportamiento de la membrana basilar puede
observarse en las siguientes figuras para distintas
frecuencias y con los mismos valores de 0 , , , y
considerados anteriormente.

CONCLUSIONES
Se analiz un modelo para estudiar el odo interno,
especficamente la cclea. Una aproximacin analtica es
obtenida a travs de la teora de distribuciones temperadas.
Los resultados obtenidos generalizan a los ya presentados
por Peskin[11] y son similares cualitativamente con las
observaciones hechas por Bksy; la membrana basilar
alcanza un punto mximo dependiendo de la frecuencia a la
qu es estimulada.

a)

REFERENCIAS
[1]
[2]
[3]
[4]
[5]

[6]

b)

[7]
[8]

[9]

[10]
[11]

[12]
[13]
[14]

c)

[15]
[16]

Fig. 4a-4c. Se muestra la parte real de la frmula asinttica (60) y

sus respectivas envolventes, |()|. Las graficas estn
normalizadas y tomando como origen el punto respectivo a cada
caso.

238

Bksy, G. von. 1960. Experiments in Hearing. McGraw-Hill.

GelFand, I. M. and Shilov, G. E. Generalized Functions: Properties
and operations. Vol. 1, Academic Press Inc, New York, 1964. 423 pp.
Griffel, D. H. Applied Functional Analysis. John Wiley & Sons, New
York, 1988. 390 pp.
Holmes, Mark H. 1982. A mathematical model of the dynamics of the
inner ear. J. Fluid Mechanics. 116: 59-75.
Inselberg, A. and Chadwick, Richard S. 1976. Mathematical model of
the Cochlea. I: Formulation and Solution. SIAM J. Appl. Math. 30(1):
149-163.
Keller, Joseph B. and Neu, John C. 1985. Asymptotic analysis of a
viscous cochlear model. J. Acoust. Soc. Am. 77(6): 2107-2110.
Lavoine, J. Tranformation de Fourier des pseudo-fonctions. Centre
National de la Recherche Scientifique, Paris, 1963. 157 pp.
Leveque, R. J., Peskin, C. S., and Lax, Peter D. 1985. Solution of a
two-dimensional cochlea model using transform techniques. SIAM J.
Appl. Math. 45(3): 450-464.
Leveque, R. J., Peskin, C. S., and Lax, Peter D. 1988. Solution of a
two-dimensional cochlea model with fluid viscosity. SIAM J. Appl.
Math. 48(1): 191-213.
Loh, C. H. 1983. Multiple scale analysis of the spirally coiled
cochlea. J. Acoust. Soc. Am. 74(1): 95-103.
Peskin, Charles S. Partial Differential Equations in Biology. Courant
Institute of Mathematical Sciences, New York University, 1976. 227
pp.
Steele, Charles R. 1972. Behavior of the basilar membrane with puretone excitation. . Acoust. Soc. Am. 55(1): 148-162.
Steele, Charles R. and Zais, Jeffrey G. 1985. Effect of coiling in a
cochlear model. J. Acoust. Soc. Am. 77(5): 1849-1852.
Strichartz, Robert S. A Guide to Distribution Theory and Fourier
Transforms. CRC Press, Inc., USA, 1994. 213 pp.
Viergever, Max A. 1978. Basilar membrane motion in a spiral-shaped
cochlea. J. Acoust. Soc. Am. 64(4): 1048-1053.
Zemanian, A.H. Distribution Theory and Transform Analysis.
McGraw-Hill, New York, 1965. 371 pp.