We give some background information about the Cauchy-Schwarz inequality including its history. We then continue by providing a number of proofs for the inequality in its classical form using various proof techniques, including proofs without words. Next we build up the theory of inner product spaces from metric and normed spaces and show applications of the Cauchy-Schwarz inequality in each content, including the triangle inequality, Minkowski's inequality and Hölder's inequality. In the final part we present a few problems with solutions, some proved by the author and some by others.

Made available in DSpace on 2014-06-11T19:32:10Z (GMT). No. of bitstreams: 0 Previous issue date: 2005-03Bitstream added on 2014-06-13T20:27:16Z : No. of bitstreams: 1 marchioro_dfz_dr_ift.pdf: 456969 bytes, checksum: 2a5b04c825c9224829a3bca3da7ebeb7 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Nesta tese, mostramos a equivalência dos formalismos de Green-Schwarz e de espinores puros para a supercorda. Partindo da ação de Green-Schwarz no semi-gauge de cone de luz e adicionando graus de liberdade fermiônicos, relacionamos os operadores BRST do formalismo de espinores puros e de Green-Schwarz no semi-gauge de cone de luz através de transformações de similaridade, indicando a equivalência das respectivas cohomologias. Esta prova de equivalência é uma generalização do procedimento usado para relacionar a superpartícula de Brink-Schwarz e a superpartícula do formalismo de espinores puros. / Abstracts: In this thesis, we have shown the equivalence of the Green-Schwarz and pure spinor formalisms for the superstring. Starting from the Green-Schwarz action in the semi-light-cone gauge additional fermionic degrees of freedom, we have related the BRST operator of pure spinor formalism to the semi-light-cone Green-Schwarz operator through similarity transformations, indicating the equivalence of the cohomologies. This equivalence proof is a generalization of the procedure used to related the Brink-Schwarz and pure spinor's superparticle.

No description available.

The constant gamma in the strengthened Cauchy-Bunyakowskii-Schwarz inequality is a basic tool for constructing of two-level and multilevel preconditioning matrices. Therefore many authors consider estimates or computations of this quantity. In this paper the bilinear form arising from 3D linear elasticity problems is considered on a polyhedron. The cosine of the abstract angle between multilevel finite element subspaces is computed by a spectral analysis of a general eigenvalue problem. Octasection and bisection approaches are used for refining the triangulations. Tetrahedron, pentahedron and hexahedron meshes are considered. The dependence of the constant $\gamma$ on the Poisson ratio is presented graphically.

In this paper we consider the well-known BPX-preconditioner in conjunction with adaptive FEM. We present an algorithm which enables us to compute the preconditioner with optimal complexity by a total of only O(DoF) additional memory. Furthermore, we show how to combine the BPX-preconditioner with an overlapping Additive-Schwarz-preconditioner to obtain a preconditioner for finite element spaces with arbitrary polynomial degree distributions. Numerical examples illustrate the efficiency of the algorithms.

Asynchronous iterative algorithms are parallel iterative algorithms in which communications and iterations are not synchronized among processors. Thus, as soon as a processing unit finishes its own calculations, it starts the next cycle with the latest data received during a previous cycle, without waiting for any other processing unit to complete its own calculation. These algorithms increase the number of updates in some processors (as compared to the synchronous case) but suppress most idle times. This usually results in a reduction of the (execution) time to achieve convergence. Optimized Schwarz methods (OSM) are domain decomposition methods in which the transmission conditions between subdomains contain operators of the form \linebreak $\partial/\partial \nu +\Lambda$, where $\partial/\partial \nu$ is the outward normal derivative and $\Lambda$ is an optimized local approximation of the global Steklov-Poincar\'e operator. There is more than one family of transmission conditions that can be used for a given partial differential equation (e.g., the $OO0$ and $OO2$ families), each of these families containing a particular approximation of the Steklov-Poincar\'e operator. These transmission conditions have some parameters that are tuned to obtain a fast convergence rate. Optimized Schwarz methods are fast in terms of iteration count and can be implemented asynchronously. In this thesis we analyze the convergence behavior of the synchronous and asynchronous implementation of OSM applied to solve partial differential equations with a shifted Laplacian operator in bounded rectangular domains. We analyze two cases. In the first case we have a shift that can be either positive, negative or zero, a one-way domain decomposition and transmission conditions of the $OO2$ family. In the second case we have Poisson's equation, a domain decomposition with cross-points and $OO0$ transmission conditions. In both cases we reformulate the equations defining the problem into a fixed point iteration that is suitable for our analysis, then derive convergence proofs and analyze how the convergence rate varies with the number of subdomains, the amount of overlap, and the values of the parameters introduced in the transmission conditions. Additionally, we find the optimal values of the parameters and present some numerical experiments for the second case illustrating our theoretical results. To our knowledge this is the first time that a convergence analysis of optimized Schwarz is presented for bounded subdomains with multiple subdomains and arbitrary overlap. The analysis presented in this thesis also applies to problems with more general domains which can be decomposed as a union of rectangles. / Mathematics

No description available.

No / This paper presents a novel concept to describe the couplings among the outputs of the stochastic systems which are represented by NARMA models. Compared with the traditional coupling description, the presented concept can be considered as an extension using statistical independence theory. Based on this concept, the decoupling control in statistical sense is established with the necessary and sufficient conditions for complete decoupling. Since the complete decoupling is difficult to achieve, a control algorithm has been developed using the Cauchy-Schwarz mutual information criterion. Without modifying the existing control loop, this algorithm supplies a compensative controller to minimise the statistical couplings of the system outputs and the local stability has been analysed. In addition, a further discussion illustrates the combination of the presented control algorithm and data-based mutual information estimation. Finally, a numerical example is given to show the feasibility and efficiency of the proposed algorithm.

A l'échelle macroscopique, la mécanique des milieux continus (MMC) rencontre parfois des difficultés à représenter correctement le comportement d'un système physique, du fait d'une modélisation insuffisante des phénomènes. Ces faiblesses sont particulièrement marquées dans les systèmes où les interfaces, qui font apparaître des échelles d'espace très différentes, jouent un rôle prépondérant : microfluidique, écoulements polyphasiques etc.. Or, dans de nombreux domaines, et notamment dans le milieu pétrolier, les modèles macroscopiques existants semblent insuffisants pour pouvoir traiter correctement les cas proposés. Par ailleurs, la méconnaissance des paramètres d’entrée d'une simulation macroscopique tels que les propriétés de transport, introduit parfois une mauvaise représentation de l’ensemble des processus diffusifs. La simulation à l'échelle microscopique, en l'occurrence la dynamique moléculaire classique (DM), peut pallier certains problèmes rencontrés par les approches macroscopiques, en permettant de mieux appréhender les divers processus physiques, notamment aux interfaces. Elle permet également de suppléer l’expérimentation, en permettant de calculer pour un fluide modèle les propriétés physiques du mélange étudié. Ainsi, à partir des ces données générées, il est possible de construire des corrélations palliant aux différents manques. Néanmoins, de par son caractère microscopique, cette approche ne permet de simuler que des échelles sub-micrométriques qui sont bien éloignées de la taille indispensable à la plupart des cas réalistes, qu’ils soient académiques ou industriels. En couplant les deux démarches, macroscopique et microscopique, de manière directe ou indirecte, il est donc envisageable d’accéder à des informations que l’une ou l’autre des ces approches ne peut fournir seule. / Hybrid atomistic-continuum methods allow the simulation of complex flows, depending on the intimate connection of many spatiotemporal scales : from the nanoscale to the microscale and beyond. By limiting the molecular description within a small localized region, for example near fluid/fluid or fluid/solid interfaces (breakdown of the continuum), these methods are useful to study large systems for reasonable times. Besides, there is a wide variety of applications for such hybrid methods, ranging from the micro- or nano-scale devices, and other industrial processes such as wetting, droplet formation, and biomolecules near interfaces. In this work, we present one scheme for coupling the Navier-Stokes set of equations with Molecular Dynamics. Among the existing alternatives to couple these two approaches, we have chosen to implement a domain decomposition algorithm based on the alternating Schwarz method. In this method, the flow domain is decomposed into two overlapping regions : an atomistic region described by molecular dynamics and a continuum region described by a finite volume discretization of the incompressible Navier-Stokes equations. The fundamental assumption is that the atomistic and the continuum descriptions match in the overlapping region, where the exchange of information is performed. The information exchange, requires the imposition of velocity from one sub-domain in the form of boundary conditions (Dirichlet)/constraints on the solver of the other subdomain and vice versa. The spatial coupling as well as the temporal coupling of the two approaches has been investigated in this work. To show the feasibility of such a coupling, we have applied the multiscale method to a classical fluid mechanics problems.

Neste trabalho, seguindo a abordagem de Weierstrass, temos o objetivo de responder a seguinte questão: conhecida a equivalência entre holomorfia e analiticidade no caso complexo, quais propriedades das funções analíticas podem ser obtidas sem assumir tal equivalência? Analisando esta situação, resultados interessantes serão obtidos sem o uso de qualquer teorema de integração complexa e, para alcançar tal objetivo, nossas principais ferramentas serão a teoria de somas não ordenadas de famílias em C e propriedades do índice de caminhos fechados. Entre os resultados apresentados estão os conhecidos Teorema Fundamental da Álgebra, Lema de Schwarz, Teorema de Montel, Teorema da Série Dupla de Weierstrass, Princípio do Argumento, Teorema de Rouché, Teorema da Fatoração de Weierstrass, Pequeno Teorema de Picard e o Teorema da Aplicação de Riemann. / In this work, following the Weierstrass\'s approach, we aim to answer the following question: knowing the equivalence between holomorphy and analyticity in the complex case, which properties of analytic functions can be obtained without assuming such equivalence? Through analyzing this situation, interesting results will be obtained without employing of any complex integration theorem and in order to achieve this goal, our main tools will be the theory of unordered sums in C and properties of winding numbers of closed paths. Among the proven results are the well known Fundamental Theorem of Algebra, Schwarz\'s Lemma, Montel\'s Theorem, Weierstrass\'s Double Series Theorem, Argument Principle, Rouché\'s Theorem, Weierstrass\'s Factorization Theorem, Picard\'s Little Theorem and the Riemann\'s Mapping Theorem.