The objective of this thesis is to examine one of the most fundamental and yet important methodologies used in statistical practice, interval estimation of the probability of success in a binomial distribution. The textbook confidence interval for this problem is known as the Wald interval as it comes from the Wald large sample test for the binomial case. It is generally acknowledged that the actual coverage probability of the standard interval is poor for values of p near 0 or 1. Moreover, recently it has been documented that the coverage properties of the standard interval can be inconsistent even if p is not near the boundaries. For this reason, one would like to study the variety of methods for construction of confidence intervals for unknown probability p in the binomial case. The present thesis accomplishes the task by presenting several methods for constructing confidence intervals for unknown binomial probability p. It is well known that the hypergeometric distribution is related to the binomial distribution. In particular, if the size of the population, N, is large and the number of items of interest k is such that k/N tends to p as N grows, then the hypergeometric distribution can be approximated by the binomial distribution. Therefore, in this case, one can use the confidence intervals constructed for p in the case of the binomial distribution as a basis for construction of the confidence intervals for the unknown value k = pN. The goal of this thesis is to study this approximation and to point out several confidence intervals which are designed specifically for the hypergeometric distribution. In particular, this thesis considers several confidence intervals which are based on estimation of a binomial proportion as well as Bayesian credible sets based on various priors.

Hypergoemetric Series are very important in mathematics and come up regularly when dealing with the precise definitions of constants such as <i>e</i>, &pi; and Apery's constant &sigmaf;(3). The evaluation of such series to high precision is traditionally done with multiple divisions, multiplications and factorials, which all takes a long time to compute, especially when the computation is done on a single machine. The interest lies in performing this computation in parallel and in a distributed fashion. In this thesis, we present a simple distributed toolkit for doing such computations by splitting the problem into smaller sub-problems, solving these sub-problems in parallel on distributed machines and then combining the result at the end. Our toolkit takes care of all the networking for the user; connectivity, dropped connections, management of the Clients and the Server. All the user has to provide is the definition of the problem; how to split the problem into sub-problems, how to solve the sub-problems and finally how to combine the sub-problems and produce a result. The toolkit records timings for computation as well as for communication. What is different about our application is that all the code is written in Java (which is completely machine independent) and all the Clients are Java Applets. This means that having a web browser in enough to take part in the computation when it is distributed over the internet. We are almost guaranteed that every computer on the internet has a web browser. The Java Plug-in (if unavailable) can easily be downloaded from Sun's web site. We present a comparison between Java's native BigInteger library and an FFT based Integer Library written by R. Howell of University of Kansas. This study is important since we are doing computations with very large integers. To test our system, we evaluate <i>e</i> to different number of digits of precision and show that our system truly works and is easy for anyone to use.

Hypergoemetric Series are very important in mathematics and come up regularly when dealing with the precise definitions of constants such as <i>e</i>, &pi; and Apery's constant &sigmaf;(3). The evaluation of such series to high precision is traditionally done with multiple divisions, multiplications and factorials, which all takes a long time to compute, especially when the computation is done on a single machine. The interest lies in performing this computation in parallel and in a distributed fashion. In this thesis, we present a simple distributed toolkit for doing such computations by splitting the problem into smaller sub-problems, solving these sub-problems in parallel on distributed machines and then combining the result at the end. Our toolkit takes care of all the networking for the user; connectivity, dropped connections, management of the Clients and the Server. All the user has to provide is the definition of the problem; how to split the problem into sub-problems, how to solve the sub-problems and finally how to combine the sub-problems and produce a result. The toolkit records timings for computation as well as for communication. What is different about our application is that all the code is written in Java (which is completely machine independent) and all the Clients are Java Applets. This means that having a web browser in enough to take part in the computation when it is distributed over the internet. We are almost guaranteed that every computer on the internet has a web browser. The Java Plug-in (if unavailable) can easily be downloaded from Sun's web site. We present a comparison between Java's native BigInteger library and an FFT based Integer Library written by R. Howell of University of Kansas. This study is important since we are doing computations with very large integers. To test our system, we evaluate <i>e</i> to different number of digits of precision and show that our system truly works and is easy for anyone to use.

The aim of this work is to study the interaction between two classical objects of mathematics: the modular group, and the absolute Galois group. The latter acts on the category of finite index subgroups of the modular group. However, it is a task out of reach do understand this action in this generality. We propose a lattice which parametrizes a certain system of &rdquo / geometric&rdquo / elements in this category. This system is setwise invariant under the Galois action, and there is a hope that one can explicitly understand the pointwise action on the elements of this system. These elements admit moreover a combinatorial description as quadrangulations of the sphere, satisfying a natural nonnegative curvature condition. Furthermore, their connections with hypergeometric functions allow us to realize these quadrangulations as points in the moduli space of rational curves with 8 punctures. These points are conjecturally defined over a number field and our ultimate wish is to compare the Galois action on the lattice elements in the category and the corresponding points in the moduli space.

The special functions and, particularly, the classical orthogonal polynomials encountered in many branches of applied mathematics and mathematical physics satisfy a second order differential equation, which is known as the equation of the hypergeometric type. The variable coefficients in this equation of the hypergeometric type are of special structures. Depending on the coefficients the classical orthogonal polynomials associated with the names Jacobi, Laguerre and Hermite can be derived as solutions of this equation. In this thesis, these well known classical polynomials as well as another class of polynomials, which receive less attention in the literature called Bessel polynomials have been studied.

Les problèmes de diffusion de particules, à deux et à trois corps, ont une importance cruciale en physique atomique, car ils servent à décrire différents processus de collisions. Actuellement, le cas de deux corps peut être résolu avec une précision numérique désirée. Les problèmes de diffusion à trois particules chargées sont connus pour être bien plus difficiles mais une déclaration similaire peut être affirmée. L’objectif de ce travail est de contribuer, d’un point de vue analytique, à la compréhension des processus de diffusion Coulombiens à trois corps. Ceci a non seulement un intérêt fondamental, mais est également utile pour mieux maîtriser les approches numériques en cours d’élaboration au sein de la communauté de collisions atomiques. Pour atteindre cet objectif, nous proposons d’approcher la solution du problème avec des développements en séries sur des ensembles de fonctions appropriées et possédant une expression analytique. Nous avons ainsi développé un nombre d’outils mathématiques faisant intervenir des fonctions Coulombiennes, des équations différentielles de second ordre homogènes et non-homogènes, et des fonctions hypergéométriques à une et à deux variables / Two and three-body scattering problems are of crucial relevance in atomic physics as they allow to describe different atomic collision processes. Nowadays, the two-body cases can be solved with any degree of numerical accuracy. Scattering problem involving three charged particles are notoriously difficult but something similar -- though to a lesser extent -- can be stated. The aim of this work is to contribute to the understanding of three-body Coulomb scattering problems from an analytical point of view. This is not only of fundamental interest, it is also useful to better master numerical approaches that are being developed within the collision community. To achieve this aim we propose to approximate scattering solutions with expansions on sets of appropriate functions having closed form. In so doing, we develop a number of related mathematical tools involving Coulomb functions, homogeneous and non-homogeneous second order differential equations, and hypergeometric functions in one and two variables

The present paper introduces 10 Appell’s type generalized functions Ni, i = 1, 2, ...... 10 by considering the product of n − 3F2 functions. The paper contains Fractional derivative representations, Integral representations and symbolic forms similar to those obtained by J. L. Burchnall and T. W.Chaundy for the four Appell’s functions, have been obtained for these newly defined functions N1, N2.......N10. The results obtained are believed to be new. / El presente artículo introduce 10 tipo de funciones generalizadas tipo Appell Ni, 1 ≤ i ≤ 10, considerando el producto de n funciones 3F2. El artículo contiene representaciones por derivadas fraccionales, representaciones integrales y formas simbólicas similares a aquellas obtenidas por J. L. Burchnall y T. W. Chaundy para las cuatro funciones de Appell, han sido obtenidas para estas nuevas funciones N1, N2.......N10. Los resultados parecen ser nuevos.

Orientador: Edmundo Capelas de Oliveira / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-17T14:35:07Z (GMT). No. of bitstreams: 1 Rosa_EsterCristinaFontesdeAquino_M.pdf: 847998 bytes, checksum: d177526572b19cc1fdd5eeccdf511380 (MD5) Previous issue date: 2011 / Resumo: Este trabalho tem por objetivo modelar e resolver, matematicamente, um problema físico conhecido como pêndulo simples. Discutimos, como caso particular, as chamadas oscilações de pequena amplitude, isto é, uma aproximação que nos leva a mostrar que o período de oscilação é proporcional à raiz quadrada do quociente entre o comprimento do pêndulo e a aceleração da gravidade. Como vários outros problemas oriundos da Física, o pêndulo simples é representado através de equações diferenciais parciais. Assim, na busca de sua solução, aplicamos a metodologia de separação de variáveis que nos leva a um conjunto de equações ordinárias passíveis de simples integração. Escolhendo um sistema de coordenadas adequado, é conveniente usar o método de Hamilton-Jacobi, discutindo, antes, o problema do oscilador harmónico, apresentando, em seguida, o problema do pêndulo simples e impondo condições a fim de mostrar que as equações diferenciais associadas a esses dois sistemas são iguais, ou seja, suas soluções são equivalentes. Para tanto, estudamos o método de separação de variáveis associado às equações diferenciais parciais, lineares e de segunda ordem, com coeficientes constantes e três variáveis independentes, bem como a respectiva classificação quanto ao tipo. Posteriormente, estudamos as equações hipergeométricas, cujas soluções, as funções hipergeométricas. podem ser encontradas pelo método de Frobenius. Apresentamos o método de Hamilton-Jacobi, já mencionado, para o enfren-tamento do problema apresentado. Fizemos no capítulo final um apêndice sobre a função gama por sua presente importância no trato de funções hipergeométricas, em especial a integral elíptica completa de primeiro tipo que compõe a solução exata do período do pêndulo simples / Abstract: This work aims to present and solve, mathematically, the physics problem that is called simple pendulum. We reasoned, as an specific case, the so called low amplitude oscillation, that is, a convenient approximation that make us show that the period of oscillation is proportional to the quotient square root between the pendulum length and the gravity acceleration. Like several other problems arising from the physics, we are going to broach it through partial differential equations. Thus, in the search of its solution, we made use of the variable separation methodology that leads us to a body of ordinary equations susceptible of simple integration. Choosing an appropriate coordinate system, it is convenient to use the method Hamilton-Jacobi, arguing, first, the problem of the harmonic oscillator, with, then the problem of sf simple pendulum and imposing conditions to show that the differential equations associated with these two systems are equal, that is, their solutions are equivalent. With the purpose of reaching the objectives, we studied the variable separation method associated with partial differential equations, linear and of second order, with constant coefficient and three independent variables, as well as the respective classification about the type. Afterwards, we studied the hypergeometrical equations whose solutions, the hypergeometrical functions, are found by the Frobenius method. Introducing the Hamilton-Jacobi method, already mentioned, for addressing the problem presented. We made an appendix in the final chapter on the gamma function by its present importance in dealing with hypergeometric functions, in particular the elliptic integral of first kind consists of the exact period of sf simple pendulum / Mestrado / Fisica-Matematica / Mestre em Matemática

Orientador: Edmundo Capelas de Oliveira / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-11T17:01:55Z (GMT). No. of bitstreams: 1 Rosendo_DaniloCastro_M.pdf: 1231397 bytes, checksum: 33e1a80ea06fa615b7b7aec7917bbbe2 (MD5) Previous issue date: 2008 / Resumo: Neste trabalho abordamos um estudo da equação diferencial ordinária, linear, homogênea de segunda ordem com três singularidades regulares, incluindo uma no infinito de onde obtivemos a equação hipergeométrica e, através do método de Frobenius, introduzimos a função hipergeométrica com singularidade na origem. Por um conveniente processo de limite na equação hipergeométrica obtivemos a equação hipergeométrica confluente, bem como a função hipergeométrica confluente. Apresentamos a função de Mittag-Le²er como uma generalização da função exponencial e suas relações com outras funções, em especial com a função hipergeométrica confluente. Abordamos o conceito de integral e derivada de ordens fracionárias de algumas funções conhecidas. Através da metodologia da transformada de Laplace discutimos uma equação diferencial fracionária com coeficientes constantes de onde emergem as funções de Mittag-Leffler. Por fim, definimos as equações diferenciais fracionárias e, como aplicação, efetuamos um estudo sistemático do oscilador harmônico fracionário. / Abstract: This work presents an introductory study of a second order, linear and homogeneous, ordinary differential equation with three singular regular points, including a singularity at the infinity. We obtain the hypergeometric equation and, by means of the Frobenius method, we introduce the hypergeometric function which is regular at the origin. By a convenient limit process we obtain the confluent hypergeometric equation which has the confluent hypergeometric function as a regular solution at the origin. We introduce the Mittag-Leffler function as a generalization of the exponential function and present a relation with the confluent hypergeometric function. Finally, we present the so-called fractional ordinary differential equation and as an application we discuss the fractional harmonic oscillator / Mestrado / Mestre em Matemática

L'objet de cette thèse porte sur le problème de Cauchy singulier dans le domaine complexe. Il s'agit d'étudier les singularités de la solution du problème pour trois classes d'équations aux dérivées partielles. Cette thèse s'inscrit dans la continuité des travaux initiés par Jean Leray et son école. Pour décrire les singularités de la solution, on cherche la solution sous la forme d'un développement asymptotique de fonctions hypergéométriques de Gauss. Comme les singularités sont portées par les fonctions hypergéométriques, l'étude de la ramification de la solution se ramène à celle de ces fonctions. / This thesis deals with the singular Cauchy problem in the complex domain. We study the singularities of the solution of the problem for three classes of partial differential equations. This thesis is a continuation of the work initiated by Jean Leray and his school. To describe the singularities of the solution, we seek the solution in the form of asymptotic an expansion of Gauss hypergeometric functions. As the singularities are carried by the hypergeometric functions, the study of the ramification of the solution reduces to that of these functions.