Presentaremos la demostración del Teorema probado por Louis de Branges en (1984): “Si f:D C es analítica e inyectiva cuya expansión de series de potencias es dada por ∑_(n=1)^∞▒〖a_n z^n 〗 con a_1 = 1, entonces |a_n |n para todo n  1. Además si la igualdad se da para algún n  1, entonces f(z)=z/〖(1-αz)〗^2 , pertenece a C, con |α|=1 y todo z en D, donde D es el disco unitario en el plano complejo”. En un primer momento, presentaremos las conjeturas de Robertson y de Bieberbach una vez que la conjetura de Milin implica la de Robertson, que a su vez alude a de Bieberbach. Lo que Branges probo, en verdad fue la conjetura propuesta por Milin en (1967), que afirma: “Si f:D C es analítica e inyectiva cuya expansión de series de potencias es dada por ∑_(n=1)^∞▒〖a_n z^n 〗 con a_1 = 1, entonces ∑_(m=1)^n▒∑_(k=1)^m▒〖(k|γ_k |^2- 1/k) ≤0〗 donde γ_k son los coeficientes de expansión de series de potencias de la función (1/2) log⁡(z^(-1) f(z))" la cual implica la conjetura de Bieberbach.

La conjetura de Fermat fue uno de los acertijos matemáticos más misteriosos hasta 1995. El problema fue formulado en 1637 por Pierre de Fermat. Él afirmó saber cómo resolverlo, sin embargo, no podía mostrar la prueba debido a que el espacio en el margen de su copia de Arithmetica de Diofanto era insuficiente. Desde entonces mucho misticismo rodeó a la conjetura. Mientras tanto, independientemente, nuevas ramas de las matemáticas se desarrollaban. La geometría algebraica y el análisis complejo permitieron a Andrew Wiles resolver finalmente la conjetura. La solución involucra, entre otras herramientas, el uso de curvas elípticas. Esto es suficiente motivo para estudiarlas. En líneas generales las curvas elípticas son polinomios cúbicos no singulares en dos variables con un punto especial de coordenadas racionales en los que podemos establecer una estructura de grupo. Para manipular las operaciones cómodamente transformamos la ecuación de la curva elíptica en una más apropiada con menos términos. Para lograr esto exploramos los aspectos fundamentales de los espacios proyectivos que facilitarían la transición. Como ya es conocido, existen casos en las matemáticas en los que hay un intercambio entre simpleza y elegancia. Uno debe profundizar un poco para alcanzar la estética. Nuestro objetivo es probar la propiedad de asociatividad del grupo en las curvas elípticas por medio del grupo de Picard de una variedad algebraica asociada. Esto provee una prueba alternativa de dicha propiedad y reemplaza los cálculos engorrosos de la prueba directa que usa solo la definición de la operación del grupo. Para lograr esto desarrollamos la teoría de divisores. Esto nos conduce al estudio de funciones racionales sobre las curvas y de este modo nos enfrentamos a uno de los resultados más importantes de la geometría algebraica: el teorema de Riemann-Roch. Basados en esto probamos que las curvas elípticas sobre los cuerpos de característica cero tienen genero uno. Finalmente definimos el grupo de Picard. Este grupo mide el grado de cuánto del conjunto de divisores no tiene origen en las funciones racionales. Luego establecemos un homomorfismo entre este grupo y la curva elíptica: esta es en una manera elaborada de afirmar que la asociatividad de una estructura se preserva en la otra. / The Fermat conjecture was one of the most mysterious puzzles of mathematics until 1995. The problem was formulated in 1637 by Pierre de Fermat. He claimed that he knew how to solve it, but was however unable to exhibit the proof because of the lack of space on the margin of his copy of Diophantus's Arithmetica. Since then a lot of mysticism surrounded the conjecture. Meanwhile, independently, new branches of mathematics were developed. Algebraic geometry and complex analysis allowed Andrew Wiles to finally solve the conjecture. The solution involves, among other tools, the use of elliptic curves. That is enough reason for their study. Roughly speaking elliptic curves are non-singular cubic polynomials in two variables with a special point of rational coordinates where a group structure can be set. In order to handle computations comfortably we transform the equation of the elliptic curve into an appropriate one with fewer terms. To achieve this goal we explore fundamental aspects of projective spaces which facilitate the transition. As it is known, in some cases there is a trade-o_ in mathematics between simplicity and elegance. One must dig a little deep to reach aesthetics. We aim to prove the associativity law of the group on elliptic curves by means of the Picard group of an associated algebraic variety. This provides an alternative proof of the property and replaces the usual burdensome computations of the straight proof by definition of the group operation. In order to achieve this, we develop the theory of divisors. This leads us to the study of rational functions on curves, and thus face one of the crucial results of algebraic geometry: the Riemann-Roch theorem. Based on this we prove that elliptic curves over fields of characteristic zero have genus one. Finally we define the Picard group. This group measures the extent of how much of the set of divisors fails to have its origin on rational functions. Then we establish a homomorphism between this group and the elliptic curve: this yields a fancy way of saying that associativy of one structure is preserved in the other. / Tesis

Se presenta una manera de usar el programa de matemática dinámica GeoGebra, como medio para estimular la elaboración de conjeturas enla enseñanza y el aprendizaje de las matemáticas. Se usa la expresión general de la función cuadrática y se examina en la Vista Gráfica del GeoGebra la variación de sus parámetros para elaborar conjeturas que se demuestran algebraicamente. En el artículo, se hace uso del enfoque de los registros de representación semiótica de Duval.

Tesis para optar al grado de Magíster en Ciencias de la Ingeniería, Mención Matemáticas Aplicadas / Memoria para optar al título de Ingeniero Civil Matemático / En este trabajo de tesis se presenta un estudio sobre la veracidad de la conjetura no local de Lazer-Mckenna para un problema de tipo Ambrosetti-Prodi \begin{equation}\label{ProblemaPrincipal} \begin{cases} (-\Delta)^s = g(u)-\sigma\varphi_1 & \text{ en } \O\\ u=0 & \text{ en } \R^N\setminus \O, \end{cases}\end{equation} donde $\O$ es un subconjunto de $\R^N$ con frontera $C^1$, $s\in(0,1)$, $\varphi_1$ es la primera función propia del laplaciano fraccionario $(-\Delta)^s$ con condición de borde Dirichlet, $\sigma$ es un parámetro real que tiende a infinito y $g(u)=|u|^p$, con $p\in(1,\frac{N-m+1+2s}{N-m+1-2s})$ para $m\in \N$ a definir más adelante y es super-crítico con respecto a $N$. Además $\O$ cumple una condición de simetría parcial que será expuesta más adelante. Más en concreto, la conjetura de Lazer-McKenna predice la existencia de un número no acotado de soluciones a medida que $\sigma$ crece a infinito. A pesar de que la conjetura fue planteada en 1981, solo hasta inicios del siglo XXI se produjeron resultados con la identificación del caso $N$-dimensional y subcrítico como un problema de límites singulares. Este trabajo prueba la veracidad de la conjetura para \eqref{ProblemaPrincipal}. Se probó en este trabajo la existencia de una familia de soluciones indexada por un parámetro natural que presentan concentración en una esfera $m-1$ dimensional cerca de máximos locales de $\varphi_1$. A fin de lograr este propuesto se usó el método Lyapunov-Schmidt, el cual consiste en buscar soluciones de la forma $U+v$, donde $U$ es una función escogida adecuadamente para lograr las propiedades buscadas. Más en concreto $U$ resulta ser una solución fundamental de \eqref{ProblemaPrincipal} para el cual se conocen además su comportamiento asintótico. $v$ por otro lado es un termino de corrección que por lo general se espera que tienda a cero cuando $s$ crece al infinito. Esto va muy en concordancia con los trabajos de Dancer y Yan en \cite{DY,DY2,DY-Supercritico} y los de Abdellaoui, Dieb y Mahmoudi en \cite{Mahmoudi-Boumediene-Dieb}. / Fondecyt regular 1180526, Fondecyt regular 1140311 y CMM Conicyt PIA AFB170001

We give a short and elementary proof of Jung’s theorem, which states that for a field K of characteristic zero the automorphisms of K[x, y] are generated by elementary automorphisms and linear automorphisms. / Presentaremos una prueba corta y elemental del teorema de Jung. Este teorema establece que para un cuerpo K de caracterstica cero los automor smos de K[x; y] son generados por automorsmos lineales y los llamados elementales.

La conjetura de Fermat fue uno de los acertijos matemáticos más misteriosos hasta 1995. El problema fue formulado en 1637 por Pierre de Fermat. Él afirmó saber cómo resolverlo, sin embargo, no podía mostrar la prueba debido a que el espacio en el margen de su copia de Arithmetica de Diofanto era insuficiente. Desde entonces mucho misticismo rodeó a la conjetura. Mientras tanto, independientemente, nuevas ramas de las matemáticas se desarrollaban. La geometría algebraica y el análisis complejo permitieron a Andrew Wiles resolver finalmente la conjetura. La solución involucra, entre otras herramientas, el uso de curvas elípticas. Esto es suficiente motivo para estudiarlas. En líneas generales las curvas elípticas son polinomios cúbicos no singulares en dos variables con un punto especial de coordenadas racionales en los que podemos establecer una estructura de grupo. Para manipular las operaciones cómodamente transformamos la ecuación de la curva elíptica en una más apropiada con menos términos. Para lograr esto exploramos los aspectos fundamentales de los espacios proyectivos que facilitarían la transición. Como ya es conocido, existen casos en las matemáticas en los que hay un intercambio entre simpleza y elegancia. Uno debe profundizar un poco para alcanzar la estética. Nuestro objetivo es probar la propiedad de asociatividad del grupo en las curvas elípticas por medio del grupo de Picard de una variedad algebraica asociada. Esto provee una prueba alternativa de dicha propiedad y reemplaza los cálculos engorrosos de la prueba directa que usa solo la definición de la operación del grupo. Para lograr esto desarrollamos la teoría de divisores. Esto nos conduce al estudio de funciones racionales sobre las curvas y de este modo nos enfrentamos a uno de los resultados más importantes de la geometría algebraica: el teorema de Riemann-Roch. Basados en esto probamos que las curvas elípticas sobre los cuerpos de característica cero tienen genero uno. Finalmente definimos el grupo de Picard. Este grupo mide el grado de cuánto del conjunto de divisores no tiene origen en las funciones racionales. Luego establecemos un homomorfismo entre este grupo y la curva elíptica: esta es en una manera elaborada de afirmar que la asociatividad de una estructura se preserva en la otra. / The Fermat conjecture was one of the most mysterious puzzles of mathematics until 1995. The problem was formulated in 1637 by Pierre de Fermat. He claimed that he knew how to solve it, but was however unable to exhibit the proof because of the lack of space on the margin of his copy of Diophantus's Arithmetica. Since then a lot of mysticism surrounded the conjecture. Meanwhile, independently, new branches of mathematics were developed. Algebraic geometry and complex analysis allowed Andrew Wiles to finally solve the conjecture. The solution involves, among other tools, the use of elliptic curves. That is enough reason for their study. Roughly speaking elliptic curves are non-singular cubic polynomials in two variables with a special point of rational coordinates where a group structure can be set. In order to handle computations comfortably we transform the equation of the elliptic curve into an appropriate one with fewer terms. To achieve this goal we explore fundamental aspects of projective spaces which facilitate the transition. As it is known, in some cases there is a trade-o_ in mathematics between simplicity and elegance. One must dig a little deep to reach aesthetics. We aim to prove the associativity law of the group on elliptic curves by means of the Picard group of an associated algebraic variety. This provides an alternative proof of the property and replaces the usual burdensome computations of the straight proof by definition of the group operation. In order to achieve this, we develop the theory of divisors. This leads us to the study of rational functions on curves, and thus face one of the crucial results of algebraic geometry: the Riemann-Roch theorem. Based on this we prove that elliptic curves over fields of characteristic zero have genus one. Finally we define the Picard group. This group measures the extent of how much of the set of divisors fails to have its origin on rational functions. Then we establish a homomorphism between this group and the elliptic curve: this yields a fancy way of saying that associativy of one structure is preserved in the other.

A ênfase do trabalho recai na análise da taxa temporal de produção de entropia em sistemas de rede determinados por suas propriedades de simetria, no intuito de constituí-la como uma ferramenta paradigmática no estudo de sistemas irreversíveis. Nesse sentido, uma vez que se consegue consolidar uma definição consistente dessa grandeza para este campo, propõe-se uma abordagem estocástica para o modelamento da dinâmica dos exemplares considerados. O grupo de simetria C_ descreve as propriedades de invariância em sistemas com ampla relevância em física, de maneira que resulta natural elaborar a construção dos modelos em torno a sua estrutura, mais ainda quando se pode assumir que as características de simetria, no relativo à determinação da classe de universalidade dos modelos, são condições mais relevantes que a presença do não-equilíbrio, em coerência com a conjetura de Grinstein. Aliás, o modelo de Potts de três estados também apresenta propriedades de simetria próprias daquele grupo, além de ser passível de certo rigor no seu tratamento matemático, de maneira que oferece resultados consideravelmente satisfatórios e propícios para, por comparação, analisar os sistemas que concernem neste estudo. Assim, o procedimento tem como fim a determinação numérica da produção de entropia em sistemas com dinâmica irreversível e invariantes ante as transformações de simetria que compõem o grupo C_3v, partindo para isso de simulações de Monte Carlo em modelos estruturados sobre redes quadradas. A determinação da produção de entropia segue a prescrição de Schnakenberg (Schnakenberg [1976]), fundamentada nas correntes de probabilidade que surgem no sistema como consequência da violação da reversibilidade microscópica; a qual, por sua vez, estabelece a necessidade para os sistemas em equilíbrio de que todas as sequências cíclicas possíveis entre estados consecutivos sejam percorridas com igualdade de probabilidade num sentido quanto no inverso. Como uma segunda instância deste trabalho, também foram estudadas as propriedades de escalabilidade apresentadas por estos modelos durante seus primeiros instantes de evolução, isso, a partir da determinação numérica dos exponentes dinâmicos e sua caracterização dentro do marco teórico conhecido como \"short time scaling\'\' (Jansen et al. (1989)). Nesse sentido foram consideradas algumas das prescrições concernentes que tem apresentado melhor desempenho nos últimos anos. O observado mostra um comportamento coerente com a satisfação do que implicaria a conjetura de Grinstein para estes sistemas irreversíveis, indicando sua pertença à classe de universalidade do modelo de Potts de três estados, e, com isso, reafirmando os resultados obtidos em relação à produção de entropia. / This work is proposed as a study of the entropy production rate in lattice systems determined by its symmetries, looking for its consolidation as a paradigmatic tool in the area of irreversible and nonequilibrium systems. Henceforth, given the actual possibility of defining this quantity on that field, a stochastic perspective is adopted for modeling the dynamics of the considered systems. The C_ symmetry group describes the invariance properties of a wide range of physical systems, hence it results sensitive building the models to be dealt in accordance with its intrinsic characteristics, even more when it comes to be just fair, at the sight of the previous available analysis as well of the Grinstein conjecture, considering the invariance properties of systems as a more relevant factor than the reversibility conditions in what concerns the establishment of its universality class. The three states Potts model, indeed, shares its symmetry characteristics with those owned by the elements of the referred group and, also, concerning it there is a considerable amount of well confirmed information, becoming suitable for contrasting the results obtained. Henceforth, this work is focused on the numerical determination of the entropy production rate in irreversible systems whose invariance properties are the ones defined by the C_ symmetry group, implementing for that porpoise Monte Carlo simulations over square lattices models with the proper symmetries. By its own, the entropy production is determined in accordance with the Schnakenberg prescription (Scnhakenberg [1976]); deeply related with the probability currents emerging within irreversible systems as consequence of microscopic reversibility violation, which, in equilibrium, is imposed due to the mandatory equality between the evolution directions of all possible cyclic paths through a succession of states assumed by the system. As a second instance of this work, the scaling properties of the studied models during the first period of its evolution, just after the microscopic scale of time, were also analyzed. Henceforth, the determination of its dynamical exponents, as well as its characterization within the context of \"short time scaling\'\' (Jansent et al. [1989]) was realized through the calculus of some quantities with proven signatures of presenting an scalable \"initial slip\'\', finding strong suggestions for the models of being in the same universality class of the three state Potts model, fact coherent with the Grinstein conjecture if extended over them, but also with the observed behavior of the entropy production.

A ênfase do trabalho recai na análise da taxa temporal de produção de entropia em sistemas de rede determinados por suas propriedades de simetria, no intuito de constituí-la como uma ferramenta paradigmática no estudo de sistemas irreversíveis. Nesse sentido, uma vez que se consegue consolidar uma definição consistente dessa grandeza para este campo, propõe-se uma abordagem estocástica para o modelamento da dinâmica dos exemplares considerados. O grupo de simetria C_ descreve as propriedades de invariância em sistemas com ampla relevância em física, de maneira que resulta natural elaborar a construção dos modelos em torno a sua estrutura, mais ainda quando se pode assumir que as características de simetria, no relativo à determinação da classe de universalidade dos modelos, são condições mais relevantes que a presença do não-equilíbrio, em coerência com a conjetura de Grinstein. Aliás, o modelo de Potts de três estados também apresenta propriedades de simetria próprias daquele grupo, além de ser passível de certo rigor no seu tratamento matemático, de maneira que oferece resultados consideravelmente satisfatórios e propícios para, por comparação, analisar os sistemas que concernem neste estudo. Assim, o procedimento tem como fim a determinação numérica da produção de entropia em sistemas com dinâmica irreversível e invariantes ante as transformações de simetria que compõem o grupo C_3v, partindo para isso de simulações de Monte Carlo em modelos estruturados sobre redes quadradas. A determinação da produção de entropia segue a prescrição de Schnakenberg (Schnakenberg [1976]), fundamentada nas correntes de probabilidade que surgem no sistema como consequência da violação da reversibilidade microscópica; a qual, por sua vez, estabelece a necessidade para os sistemas em equilíbrio de que todas as sequências cíclicas possíveis entre estados consecutivos sejam percorridas com igualdade de probabilidade num sentido quanto no inverso. Como uma segunda instância deste trabalho, também foram estudadas as propriedades de escalabilidade apresentadas por estos modelos durante seus primeiros instantes de evolução, isso, a partir da determinação numérica dos exponentes dinâmicos e sua caracterização dentro do marco teórico conhecido como \"short time scaling\'\' (Jansen et al. (1989)). Nesse sentido foram consideradas algumas das prescrições concernentes que tem apresentado melhor desempenho nos últimos anos. O observado mostra um comportamento coerente com a satisfação do que implicaria a conjetura de Grinstein para estes sistemas irreversíveis, indicando sua pertença à classe de universalidade do modelo de Potts de três estados, e, com isso, reafirmando os resultados obtidos em relação à produção de entropia. / This work is proposed as a study of the entropy production rate in lattice systems determined by its symmetries, looking for its consolidation as a paradigmatic tool in the area of irreversible and nonequilibrium systems. Henceforth, given the actual possibility of defining this quantity on that field, a stochastic perspective is adopted for modeling the dynamics of the considered systems. The C_ symmetry group describes the invariance properties of a wide range of physical systems, hence it results sensitive building the models to be dealt in accordance with its intrinsic characteristics, even more when it comes to be just fair, at the sight of the previous available analysis as well of the Grinstein conjecture, considering the invariance properties of systems as a more relevant factor than the reversibility conditions in what concerns the establishment of its universality class. The three states Potts model, indeed, shares its symmetry characteristics with those owned by the elements of the referred group and, also, concerning it there is a considerable amount of well confirmed information, becoming suitable for contrasting the results obtained. Henceforth, this work is focused on the numerical determination of the entropy production rate in irreversible systems whose invariance properties are the ones defined by the C_ symmetry group, implementing for that porpoise Monte Carlo simulations over square lattices models with the proper symmetries. By its own, the entropy production is determined in accordance with the Schnakenberg prescription (Scnhakenberg [1976]); deeply related with the probability currents emerging within irreversible systems as consequence of microscopic reversibility violation, which, in equilibrium, is imposed due to the mandatory equality between the evolution directions of all possible cyclic paths through a succession of states assumed by the system. As a second instance of this work, the scaling properties of the studied models during the first period of its evolution, just after the microscopic scale of time, were also analyzed. Henceforth, the determination of its dynamical exponents, as well as its characterization within the context of \"short time scaling\'\' (Jansent et al. [1989]) was realized through the calculus of some quantities with proven signatures of presenting an scalable \"initial slip\'\', finding strong suggestions for the models of being in the same universality class of the three state Potts model, fact coherent with the Grinstein conjecture if extended over them, but also with the observed behavior of the entropy production.