Representing measures on the Royden boundary for solutions of Δu=Pu on a Riemannian manifold

Consider the Royden compactification R* of a Riemannian n-manifold R, Γ = R*\R its Royden boundary, Δ its harmonic boundary and the elliptic differential equation Δu = Pu, P ≥ 0 on R. A regular Borel measure m^P can be constructed on Γ with support equal to the closure of Δ^P = {q ϵ Δ : q has a neighborhood U in R* with _U^ʃ_ᴖR^{P ˂ ∞} }. Every enegy-finite solution to u (i.e. E(u) = D(u) + ^ʃ_Ru²P ˂ ∞, where D(u) is the Dirichlet integral of u) can be represented by u(z) = ^ʃ_Γu(q)K(z,q)dm^P(q) where K(z,q) is a continuous function on ^Rx Γ . A _P^~_E-function is a nonnegative solution which is the infimum of a downward directed family of energy-finite solutions. A nonzero _P^~_E-function is called _P^~_E-minimal if it is a constant multiple of every nonzero _P^~_E-function dominated by it. THEOREM. There exists a _P^~_E-minimal function if and only if there exists a point in q ϵ Γ such that m^P(q) > 0. THEOREM. For q ϵ Δ^P , m^P(q) > 0 if and only if m⁰(q) > 0 .

A função e natureza das convenções e hipóteses segundo o convencionalismo francês da virada do século XIX para o XX: relações entre ciência e metafísica nas obras de Henri Poincaré, Pierre Duhem e Édouard Le Roy

Nesse trabalho apresentamos a função e determinamos a natureza das convenções e hipóteses para os fundamentos científicos segundo a corrente convencionalista que surgiu na França na virada do século XIX para o XX, composta por Henri Poincaré, Pierre Duhem e Édouard Le Roy. Além disso, analisamos a relação que as convenções e hipóteses podem estabelecer com teses metafísicas através dos critérios utilizados pelos cientistas para determinar a preferência por certas teorias. Para isso, promovemos uma interpretação imanente das obras publicadas entre 1891 e 1905. Como resultado, revelamos que os autores, apesar de serem classificados como pertencentes a uma mesma corrente, não possuem apenas posições comuns, mas também divergências. Poincaré e Le Roy concordam que as convenções geométricas são escolhidas de acordo com o critério de conveniência. Contudo, eles discordam sobre o valor que a conveniência agrega ao conhecimento científico. Em relação aos fenômenos naturais, os três autores concordam que a realidade não pode ser descrita univocamente por um mesmo conjunto de convenções e hipóteses. Porém, Poincaré e Duhem acreditam que há critérios que tornam umas teorias mais satisfatórias que outras. Analisamos os critérios experimentais, racionais e axiológicos que justificam a satisfação dos cientistas com certas teorias e apontamos como estes critérios se relacionam com a metafísica. Concluímos que os convencionalistas, mesmo que cautelosamente e de modo implícito, buscaram se aproximar da metafísica com o intuito de justificar a própria atividade científica.

Cosmological equations and thermodynamics on apparent horizon in thick braneworld

We derive the generalized Friedmann equation governing the cosmological evolution inside the thick brane model in the presence of two curvature correction terms: a four-dimensional scalar curvature from induced gravity on the brane, and a five-dimensional Gauss-Bonnet curvature term. We find two effective four-dimensional reductions of the generalized Friedmann equation in some limits and demonstrate that the reductions but not the generalized Friedmann equation can be rewritten as the first law of equilibrium thermodynamics on the apparent horizon of thick braneworld.

Uniqueness of the polar factorisation and projection of a vector-valued mapping

G.R. BURTON and R.J. DOUGLAS, Uniqueness of the polar factorisation and projection of a vector-valued mapping. Ann. I.H. Poincare ? A.N. 20 (2003), 405-418.

The resonance spectrum of the cusp map in the space of analytic functions

We prove that the Frobenius-Perron operator $U$ of the cusp map $F:[-1,1]\to [-1,1]$, $F(x)=1-2 x^{1/2}$ (which is an approximation of the Poincare section of the Lorenz attractor) has no analytic eigenfunctions corresponding to eigenvalues different from 0 and 1. We also prove that for any $q\in (0,1)$ the spectrum of $U$ in the Hardy space in the disk $\{z\in C:|z-q|

Superluminal electromagnetic solitary waves in electron-positron plasmas

The propagation of an electromagnetic wave packet in an electron-positron plasma, in the form of coupled localized electromagnetic excitations, is investigated, from first principles. By means of the Poincare section method, a special class of superluminal localized nonlinear stationary solutions, existing along a separatrix curve, are proposed as intrinsic electromagnetic modes in a relativistic electron-positron plasma. The ratio of the envelope time scale to the carrier wave time scale of these envelope solitary waves critically depends on the carrier's phase velocity. In the strongly superluminal regime, v(ph)/c >> 1, the large difference between the envelope and carrier time scales enables us to carry out a multiscale perturbative analysis resulting in an analytical form of the solution envelope. The analytical prediction thus obtained is shown to be in agreement with the solution obtained via a direct numerical integration. Copyright (c) EPLA, 2012

Existência de minimizantes relaxados e fenómeno de Lavrentiev

Neste trabalho prova-se a existência de minimizantes relaxados em problemas de controlo óptimo não convexos usando técnicas de compactificação. Faz-se a extensão do exemplo de Manià a dimensão dois, obtendo-se uma classe de problemas variacionais em 2D que apresentam Fenómeno de Lavrentiev. Prova-se que o fenómeno persiste a certas perturbações, obtendo- -se assim uma classe de funcionais cujos Lagrangianos são coercivos e convexos em relação ao gradiente. Adicionalmente, apresentam-se exemplos de problemas do cálculo das variações com diferentes condições de fronteira, e em diferentes tipos de domínios (incluindo domínios com fronteira fractal), que exibem Fenómeno de Lavrentiev.

Cobordismes lagrangiens et uniréglage

Ce mémoire traite de la question suivante: est-ce que les cobordismes lagrangiens préservent l'uniréglage? Dans les deux premiers chapitres, on présente en survol la théorie des courbes pseudo-holomorphes nécessaire. On examine d'abord en détail la preuve que les espaces de courbes $ J $-holomorphes simples est une variété de dimension finie. On présente ensuite les résultats nécessaires à la compactification de ces espaces pour arriver à la définition des invariants de Gromov-Witten. Le troisième chapitre traite ensuite de quelques résultats sur la propriété d'uniréglage, ce qu'elle entraine et comment elle peut être démontrée. Le quatrième chapitre est consacré à la définition et la description de l'homologie quantique, en particulier celle des cobordismes lagrangiens, ainsi que sa structure d'anneau et de module qui sont finalement utilisées dans le dernier chapitre pour présenter quelques cas ou la conjecture tient.

Analyse quantifiée de l'asymétrie de la marche par application de Poincaré

La marche occupe un rôle important dans la vie quotidienne. Ce processus apparaît comme facile et naturel pour des gens en bonne santé. Cependant, différentes sortes de maladies (troubles neurologiques, musculaires, orthopédiques...) peuvent perturber le cycle de la marche à tel point que marcher devient fastidieux voire même impossible. Ce projet utilise l'application de Poincaré pour évaluer l'asymétrie de la marche d'un patient à partir d'une carte de profondeur acquise avec un senseur Kinect. Pour valider l'approche, 17 sujets sains ont marché sur un tapis roulant dans des conditions différentes : marche normale et semelle de 5 cm d'épaisseur placée sous l'un des pieds. Les descripteurs de Poincaré sont appliqués de façon à évaluer la variabilité entre un pas et le cycle complet de la marche. Les résultats montrent que la variabilité ainsi obtenue permet de discriminer significativement une marche normale d'une marche avec semelle. Cette méthode, à la fois simple à mettre en oeuvre et suffisamment précise pour détecter une asymétrie de la marche, semble prometteuse pour aider dans le diagnostic clinique.

Fuzzy Absolutes and Related Topics

The study on the fuzzy absolutes and related topics. The different kinds of extensions especially compactification formed a major area of study in topology. Perfect continuous mappings always preserve certain topological properties. The concept of Fuzzy sets introduced by the American Cyberneticist L. A Zadeh started a revolution in every branch of knowledge and in particular in every branch of mathematics. Fuzziness is a kind of uncertainty and uncertainty of a symbol lies in the lack of well-defined boundaries of the set of objects to which this symbol belongs. Introduce an s-continuous mapping from a topological space to a fuzzy topological space and prove that the image of an H-closed space under an s-continuous mapping is f-H closed. Here also proved that the arbitrary product fi and sum of  fi of the s-continuous maps fi are also s-continuous. The original motivation behind the study of absolutes was the problem of characterizing the projective objects in the category of compact spaces and continuous functions.

A study on fuzzy semi inner product spaces

Mathematical models are often used to describe physical realities. However, the physical realities are imprecise while the mathematical concepts are required to be precise and perfect. Even mathematicians like H. Poincare worried about this. He observed that mathematical models are over idealizations, for instance, he said that only in Mathematics, equality is a transitive relation. A first attempt to save this situation was perhaps given by K. Menger in 1951 by introducing the concept of statistical metric space in which the distance between points is a probability distribution on the set of nonnegative real numbers rather than a mere nonnegative real number. Other attempts were made by M.J. Frank, U. Hbhle, B. Schweizer, A. Sklar and others. An aspect in common to all these approaches is that they model impreciseness in a probabilistic manner. They are not able to deal with situations in which impreciseness is not apparently of a probabilistic nature. This thesis is confined to introducing and developing a theory of fuzzy semi inner product spaces.

Artificial boundary conditions for the Stokes and Navier-Stokes equations in domains that are layer-like at infinity

Artificial boundary conditions are presented to approximate solutions to Stokes- and Navier-Stokes problems in domains that are layer-like at infinity. Based on results about existence and asymptotics of the solutions v^infinity, p^infinity to the problems in the unbounded domain Omega the error v^infinity - v^R, p^infinity - p^R is estimated in H^1(Omega_R) and L^2(Omega_R), respectively. Here v^R, p^R are the approximating solutions on the truncated domain Omega_R, the parameter R controls the exhausting of Omega. The artificial boundary conditions involve the Steklov-Poincare operator on a circle together with its inverse and thus turn out to be a combination of local and nonlocal boundary operators. Depending on the asymptotic decay of the data of the problems, in the linear case the error vanishes of order O(R^{-N}), where N can be arbitrarily large.

Bayes quadratic unbiased estimator of spatial covariance parameters

This work presents Bayes invariant quadratic unbiased estimator, for short BAIQUE. Bayesian approach is used here to estimate the covariance functions of the regionalized variables which appear in the spatial covariance structure in mixed linear model. Firstly a brief review of spatial process, variance covariance components structure and Bayesian inference is given, since this project deals with these concepts. Then the linear equations model corresponding to BAIQUE in the general case is formulated. That Bayes estimator of variance components with too many unknown parameters is complicated to be solved analytically. Hence, in order to facilitate the handling with this system, BAIQUE of spatial covariance model with two parameters is considered. Bayesian estimation arises as a solution of a linear equations system which requires the linearity of the covariance functions in the parameters. Here the availability of prior information on the parameters is assumed. This information includes apriori distribution functions which enable to find the first and the second moments matrix. The Bayesian estimation suggested here depends only on the second moment of the prior distribution. The estimation appears as a quadratic form y'Ay , where y is the vector of filtered data observations. This quadratic estimator is used to estimate the linear function of unknown variance components. The matrix A of BAIQUE plays an important role. If such a symmetrical matrix exists, then Bayes risk becomes minimal and the unbiasedness conditions are fulfilled. Therefore, the symmetry of this matrix is elaborated in this work. Through dealing with the infinite series of matrices, a representation of the matrix A is obtained which shows the symmetry of A. In this context, the largest singular value of the decomposed matrix of the infinite series is considered to deal with the convergence condition and also it is connected with Gerschgorin Discs and Poincare theorem. Then the BAIQUE model for some experimental designs is computed and compared. The comparison deals with different aspects, such as the influence of the position of the design points in a fixed interval. The designs that are considered are those with their points distributed in the interval [0, 1]. These experimental structures are compared with respect to the Bayes risk and norms of the matrices corresponding to distances, covariance structures and matrices which have to satisfy the convergence condition. Also different types of the regression functions and distance measurements are handled. The influence of scaling on the design points is studied, moreover, the influence of the covariance structure on the best design is investigated and different covariance structures are considered. Finally, BAIQUE is applied for real data. The corresponding outcomes are compared with the results of other methods for the same data. Thereby, the special BAIQUE, which estimates the general variance of the data, achieves a very close result to the classical empirical variance.