Beruflich Dokumente
Kultur Dokumente
Andrs Martnez de Azagra Paredes, Valentn Pando Fernndez & Jorge del Ro San Jos
Escuela Tcnica Superior de Ingenieras Agrarias
Universidad de Valladolid
Avenida de Madrid, 44
34004 Palencia (Espaa)
Tel: +34 979 108300
amap@iaf.uva.es
vpando@eio.uva.es
Junta de Castilla y Len
Servicio Territorial de Medio Ambiente
Duque de la Victoria, 5, 3 Planta
47001 Valladolid (Espaa)
Tel: +34 983 411088
riosanjo@jcyl.es
Resumen
Con el presente trabajo se generaliza el teorema de Buckingham a travs de un corolario. Una
generalizacin mayor del aludido teorema conduce al axioma de las conjeturas razonadas. Se plantea la
hiptesis de que el razonamiento humano se rija por el mencionado axioma. Conforme a esta hiptesis,
nuestra mente opera como una funcin de funciones que va transformndose (o cambiando de
perspectiva) segn el transcurrir del tiempo. Entre las funciones a considerar aparece un nuevo tipo, que
hemos denominado funciones divagada. Se describe la gnesis de una funcin divagada a partir de
neuronas divagantes. As mismo, se plantea la funcin del Mundo y se analiza su constitucin para
finalizar con una serie de consideraciones de ndole filosfica.
1. Introduccin
F (a, b, c, d ,........) = 0
R!
( 1 , 2 , 3 ,.........) = 0
con F y funciones, a, b, c, d variables dimensionales y 1, 2 , 3 variables
adimensionales.
1
Trabajo dedicado a la escuela pitagrica
A plantea:
FA (a, b, c, d ,........) = 0
R!
A ( 1 , 2 , 3 ,.........) = 0
B plantea:
FB ( f1 (a), f 2 (b), f 3 (c, d ),........) = 0
?
No llega a reducir el problema.
C plantea:
FC (a, b, c, f 4 (d ),........) = 0
R!
C ( 1* , 2 * , 3 ,.........) = 0
siendo f i ( x, y,....) funciones genricas.
Notas:
1) Entre las magnitudes fsicas de partida puede figurar simplemente el tiempo
(t) adems del espacio (x, y, z, ), tal y como nos ocurre a nosotros en la vida.
Pregunta: Qu propiedades tienen que tener las funciones internas f i ( x, y ,....) para
poder aplicar un teorema de Buckingham generalizado?
Las conjeturas pueden estar bien o mal razonadas (pues pueden deberse a
cambios errneos, a funciones divagada equivocadas), de manera que son en gran
medida imprevisibles. Hay en ellas un importante grado de incertidumbre. En el
pensamiento humano (vg.: salir por peteneras) pero tambin en las transformaciones del
Mundo (las fsicas y las inmateriales) las hay. Su evolucin concreta no es predecible.
Slo lo es a grandes rasgos, pero en el detalle probablemente no.
2
Se sobrentiende que el cambio de perspectiva tambin pueda mantener el nivel de complejidad.
Los monomios (i) en este caso ya no tienen que ser adimensionales (como en el
teorema de Buckingham) sino que son entes (entidades) con dimensiones. Entre ellos,
entre los i, figuramos nosotros con previsiblemente catorce dimensiones: siete
debidas a nuestras magnitudes fsicas (masa, longitud, tiempo, temperatura, intensidad
de corriente elctrica, intensidad luminosa, y cantidad de materia) y otras tantas debido
a nuestras magnitudes anmicas 3 (por razones de simetra conjeturamos ese nmero de
dimensiones anmicas, sin poderlo demostrar).
Por curiosidad cabe plantearse ahora, quines fueron Arqumedes, Newton o
Einstein, por citar a tres Genios de la Humanidad. Pues bien: Fueron monomios (entes)
que aplicaron el axioma de las conjeturas razonadas de manera eficiente, llegando a
entrever soluciones sencillas a fenmenos fsicos que eran con anterioridad irresolubles
o desconocidos. Un cambio acertado de perspectiva (una idea feliz, una intuicin, una
divagada) les permiti reducir el problema planteado (R!) y enunciar sus principios,
leyes o teoras.
As mismo aparecen en la funcin del mundo entes (i) adimensionales tanto
materiales (las partculas elementales de la materia y de la antimateria) como
inmateriales o conceptuales (los nmeros de las matemticas, los monomios
adimensionales de la fsica, etc.). Igualmente, la funcin del Mundo (M) incluye entes
de una, dos, tres y ms dimensiones. A aqullos entes con ms dimensiones que
nosotros se les puede considerar superiores al hombre. Su existencia est por comprobar
pero a nivel conceptual no existe ninguna razn para omitirlos. Es ms, la propia
funcin del Mundo parece tener infinitas dimensiones, pudiendo considerarse como Ser
Supremo (en una concepcin pantesta).
3
Existencia (ser o no ser), consciencia (capacidad de percibirse y de percibir un entorno), nimo (ilusin,
ganas de vivir), inteligencia, conocimientos, tica y trascendencia pudieran constituir un sistema de
magnitudes fundamentales de ndole anmica.
Mj ( 1 , 2 ,............................., ) = 1
R!
Mk (....., i* ,.......) = M ( M ) = 1
M ( M )
A!
Mi (..., i ,...) R
...... R
! o A!
! o A!
Mj (..., i* ,...)
R!
M ( M )
7. Paradoja aparente
No conviene concluir este trabajo sin apuntar una paradoja implcita del mismo:
Se ha deducido un axioma (el de las conjeturas razonadas) a partir de un teorema, es
decir: se ha seguido el camino inverso al de las deducciones formales de las
Matemticas. Cmo es eso posible?
La respuesta la podemos encontrar en el propio teorema de Buckingham (como
no puede ser de otra manera!): Al igual que todos los teoremas, el teorema Pi es fruto
del pensamiento humano pero a su vez y en este caso tan especial ste constituye un
modelo sencillo sobre la forma de pensar que tiene el propio ser humano. Este bucle
hace al teorema mucho ms potente de lo que en apariencia es, convirtindolo, en el
fondo, en el axioma de las conjeturas razonadas. Nos surge con ello una duda sin
importancia: Habremos aportado algo a la Ciencia?
4
y todos sus sinnimos
( 1 , 2 ,....., r n ) = 0 ,
[2]
siendo 1, 2, , r-n, (rn) monomios adimensionales formados por productos de
potencias de las Q variables, tomados como se indicar ms adelante.
Formemos la matriz de los coeficientes:
.............................................
a jk =
.............................................
a j1 a j 2 ....... a jn ........ a jm
..............................................
5
Los trabajos de los fsicos Vaschy (1892) y Riabouchinski (1911) pueden considerarse pioneros y precursores del
teorema Pi. Por otro lado, el matemtico Federman (1911) demuestra dicho teorema pero sin encontrar aplicacin
prctica a su hallazgo.
Pero los i son iguales a los i* por ser adimensionales, y como Qi Qi* , por
tener dimensiones, se deduce que en la funcin F(..) no pueden intervenir las
variables Q que necesariamente habrn sido eliminadas al efectuar la sustitucin [5] en
[1]; es decir, que dicha ecuacin F ha de ser de la forma:
( 1 , 2 ,........, r n ) = 0 [8]
Ejemplo de aplicacin:
F1 (a, b, c, d 0 , d1 , , c h , , , , , , k 0 , k1 , f , ) = 1 [9]
siendo: a, b, y c las longitudes de referencia del suelo considerado, segn unos ejes x y
z {L}
do la longitud de poros en la superficie del suelo (= dimetro caracterstico en el
horizonte superior) {L}
d1 el dimetro caracterstico en el segundo horizonte {L}
la tortuosidad {L}
ch el contenido de humedad del suelo {L}
la densidad absoluta del agua {ML-3}
el peso especfico del agua {ML-2T-2}
el coeficiente de viscosidad dinmico {ML-1T-1}
el mdulo de elasticidad volumtrica {ML-1T-2}
el coeficiente de tensin superficial {MT-2}
k0 la permeabilidad del horizonte superficial {LT-1}
k1 la permeabilidad del horizonte subyacente {LT-1}
f la capacidad de infiltracin del suelo {LT-1}
el potencial hdrico {ML-1T-2}
a a d0
1 = [10] 2 = [11] 3 = [12]
b c a
ch d0
4 = [13] 5 = [14] 6 = [15]
c c d1
k0 f f
7 = [16] 8 = [17] 9 = [18]
k1 k1 g d 0
f d 0 f f
10 = [19] 11 = [20] 12 = [21]
d 0
f
13 = [22]
con lo que la funcin de partida [9] que describe el proceso de infiltracin en un suelo
utilizando dieciseis variables puede reducirse a otra funcin equivalente () en la que
intervienen nicamente trece variables adimensionales, los trece monomios definidos
por las ecuaciones [10] a [22]:
( 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 , 12 , 13 ) = 1 [23]
1 a 0 1 0
2 b 0 1 0
3 c 0 1 0
4 d0 0 1 0
5 d1 0 1 0
6 0 1 0
7 ch 0 1 0
8 1 -3 0
9 1 -2 -2
10 1 -1 -1
11 1 -1 -2
12 1 0 -2
13 k0 0 1 -1
14 k1 0 1 -1
15 f 0 1 -1
16 1 -1 -2
7 = k0 c k1 = f 7 (k0 )
M 0 L0 T 0 = M L1+ + 2 T 1 2
Luego: =0
1 + + 2 = 0 = 0
1 2 = 0 = 1 con lo que queda comprobado.
F2 (a, 1 , 2 , d 0 , d1 , 5 , 4 , , , , , , 7 , k1 , f , ) = 1
Ordenando variables: F2 ( 1 , 2 , 4 , 5 , 7 , a, d 0 , d1 , , , , , , k1 , f , ) = 1
Es ahora, una vez obtenidos estos cinco monomios por aplicacin del corolario,
cuando aplicamos el teorema de Buckingham con las once variables restantes. La
matriz de coeficientes, convenientemente ordenada, es:
1 d0 0 1 0
2 f 0 1 -1
3 1 -3 0
4 a 0 1 0
5 d1 0 1 0
6 k1 0 1 -1
7 1 -2 -2
8 1 -1 -1
9 1 -1 -2
10 1 0 -2
11 1 -1 -2
y . Mediante la expresin general i = Qi d 0 f se obtienen los ocho monomios
que restan, a saber: 3, 6, 8, 9, 10, 11, 12 y 13. El procedimiento de clculo es
idntico al seguido con los ejemplos anteriores. Tan slo significar que en unos casos se
elige el exponente uno y en otros el exponente menos uno. A modo de ltimo ejemplo,
vamos a obtener 9, que se corresponde con el nmero de Froude elevado al cuadrado.
9 = 1d 0 f
{M LT }0 = {M L2 T 2 }1{L} {LT 1} {M L3 }
M 0 L0 T 0 = M 1+ L2 + + 3 T 2
Luego: 1 + = 0 = 1
2 + + 3 = 0 = 1
2=0 =2
1 f 2
con lo que 9 = 1d 0 f 2 1 = .
d 0
Entre la densidad absoluta () y el peso especfico () se cumple la siguiente
f2
relacin: = g , de manera que podemos escribir: 9 = , con lo que llegamos a
g d 0
una expresin coincidente con la indicada en la ecuacin [18]. El hecho de que aparezca
f
su raz no debe perturbarnos ya que cada monomio j puede ir elevado a
g d 0
( 1 , 2 , 3 , 4 , 5 , 6 , 7 , 8 , 9 , 10 , 11 , 12 , 13 ) = 1 [23]
funcin que puede ser simplificada por consideraciones de ndole fsica hasta quedar
slo ocho parmetros definitorios del proceso (Martnez de Azagra et al., 2006).
Entrada o
estmulo Sinapsis
x1 Soma
Regla de
o cuerpo celular
propagacin
x2 wi1
n
Dendrita
wi2 w x
j =1
ij j
Axn
h() yi
xj
wij n
w j =1
ij x j i Funcin de Respuesta o
salida
win salida
Estado de
xn activacin
i
Umbral de
activacin
xj son las variables de entrada a la neurona i-sima. Pueden proceder del espacio
sensorial o de otras neuronas. No existen limitaciones en cuanto a su naturaleza discreta
o continua. Cada entrada es procesada por una dendrita j-sima.
wij son los pesos sinpticos de cada dendrita j-sima. Representan la intensidad
de la interaccin entre cada entrada j-sima y la neurona i-sima.
w x
j =1
ij j , es la regla de propagacin considerada en el modelo de neurona
w x
j =1
ij j i , es el estado de activacin, resultado de restar al potencial
k 1 n
yi = wij x j + wik x k + wij x j i
'
[25]
j =1 k +1
La mente humana obra para sus actos de ndole fsica con una cortapisa de suma
prudencia (fruto de su experiencia). Las divagadas no tienen prcticamente cabida en el
plano de la realidad cotidiana. No ocurre lo mismo en sus pensamientos puros
(conjeturas, sueos, etc.) en los que la mente no tiene que imponer limitacin alguna a
la hora de hacer transformadas (es decir: cambios de perspectiva). Sin embargo y pese a
su frecuencia, slo muy lentamente se producen progresos en la ciencia, en el
conocimiento. Hemos de reconocerlo: los cerebros divagan con una eficiencia muy baja.
Slo de ciento al viento emergen, balbucientes, nuevos paradigmas cientficos que
exigen de la participacin de un intenso debate intelectual antes de su aceptacin,
debido al gran cambio de perspectiva que nos plantean. Una funcin divagada (es decir:
un hallazgo cientfico en el plano mental) conduce inicialmente a una duda o
inestabilidad general, hasta que termina siendo aceptada como cierta.
Smbolo Significado
a Variable dimensional genrica; Longitud caracterstica del suelo segn el eje
horizontal x {L}
ajk Dimensin k de la magnitud Qj respecto a la magnitud fundamental Qk
A! Ampliacin de la complejidad por el cambio de perspectiva
b Variable dimensional genrica; Longitud caracterstica del suelo segn el eje
y {L}
c Variable dimensional genrica; Longitud caracterstica del suelo segn el eje
vertical z {L}
ch Longitud de la humedad lineal segn el eje vertical z {L}
d Variable dimensional genrica
d0 Longitud de poros caracterstica en el horizonte superficial, dimetro
caracterstico del horizonte superficial {L}
d1 Dimetro caracterstico en el segundo horizonte {L}
e Variable genrica
f Capacidad de infiltracin del suelo {LT-1}
fi(.) Una funcin genrica
F, Fi() Una funcin genrica
g Aceleracin de la gravedad {LT-2}
h() Funcin de activacin de una neurona
k0 Permeabilidad del horizonte superficial {LT-1}
k1 Permeabilidad del horizonte subyacente {LT-1}
L Longitud {L}
M Masa {M}
Qj Magnitud genrica
R! Reduccin de la complejidad gracias al cambio de perspectiva
t, T Tiempo {T}
x Variable genrica
xj Variable de entrada j-sima a la neurona
y Variable genrica
yi, yi Variable de respuesta de la neurona i-sima
wij Peso sinptico para la variable xj
z Variable genrica
Exponente {adim}
Exponente {adim}
Variable dimensional genrica
Variable dimensional genrica
Mdulo de elasticidad volumtrica { ML-1T-2}
,i Una funcin genrica
Peso especfico del agua {ML-2T-2}
Exponente {adim}
,i() Una funcin genrica
Coeficiente de viscosidad dinmico { ML-1T-1}
e Media de la funcin de distribucin
i, i* Monomio genrico {adimensional o dimensional}
D Dios {infinitas dimensiones anmicas}
M Punto con toda la materia y energa del Universo
Densidad absoluta del agua {ML-3}
Coeficiente de tensin superficial {MT-2}
e Varianza de la funcin de distribucin
Variable dimensional genrica
, i Nmero aleatorio extrado de una funcin de distribucin
Potencial hdrico { ML-1T-2}
Tortuosidad del flujo, del agua infiltrada en el suelo {L}
i Umbral de activacin de la neurona i-sima
6. Bibliografa
Curtis, W.D.; David Logan, J. & Parker, W.A. (1982): Dimensional Analysis and the Pi
Theorem. Linear Algebra and its Applications, 47: 117 126
Martnez de Azagra Paredes, A.; Pando Fernndez, V.; del Ro San Jos, J. & Navarro
Hevia, J. (2006): Aproximacin al conocimiento de la infiltracin a travs del
anlisis dimensional. Ecologa, 20: 471 491
Pobedrya, B.E. & Georgievskii, D.V. (2006) : On the Proof of the -Theorem in
Dimension Theory. Russian Journal of Mathematical Physics, 13 (4) : 431 437
Vaschy, A. (1892): Sur les lois de similitude en physique. Annales Tlgraphiques, 19:
25 28