966 resultados para ANALYTIC-FUNCTIONS
Resumo:
In this work we prove the real Nullstellensatz for the ring O(X) of analytic functions on a C-analytic set X ⊂ Rn in terms of the saturation of Łojasiewicz’s radical in O(X): The ideal I(Ƶ(a)) of the zero-set Ƶ(a) of an ideal a of O(X) coincides with the saturation (Formula presented) of Łojasiewicz’s radical (Formula presented). If Ƶ(a) has ‘good properties’ concerning Hilbert’s 17th Problem, then I(Ƶ(a)) = (Formula presented) where (Formula presented) stands for the real radical of a. The same holds if we replace (Formula presented) with the real-analytic radical (Formula presented) of a, which is a natural generalization of the real radical ideal in the C-analytic setting. We revisit the classical results concerning (Hilbert’s) Nullstellensatz in the framework of (complex) Stein spaces. Let a be a saturated ideal of O(Rn) and YRn the germ of the support of the coherent sheaf that extends aORn to a suitable complex open neighborhood of Rn. We study the relationship between a normal primary decomposition of a and the decomposition of YRn as the union of its irreducible components. If a:= p is prime, then I(Ƶ(p)) = p if and only if the (complex) dimension of YRn coincides with the (real) dimension of Ƶ(p).
Resumo:
MSC 2010: 30C45
Resumo:
The problem of decaying states and resonances is examined within the framework of scattering theory in a rigged Hilbert space formalism. The stationary free,''in,'' and ''out'' eigenvectors of formal scattering theory, which have a rigorous setting in rigged Hilbert space, are considered to be analytic functions of the energy eigenvalue. The value of these analytic functions at any point of regularity, real or complex, is an eigenvector with eigenvalue equal to the position of the point. The poles of the eigenvector families give origin to other eigenvectors of the Hamiltonian: the singularities of the ''out'' eigenvector family are the same as those of the continued S matrix, so that resonances are seen as eigenvectors of the Hamiltonian with eigenvalue equal to their location in the complex energy plane. Cauchy theorem then provides for expansions in terms of ''complete'' sets of eigenvectors with complex eigenvalues of the Hamiltonian. Applying such expansions to the survival amplitude of a decaying state, one finds that resonances give discrete contributions with purely exponential time behavior; the background is of course present, but explicitly separated. The resolvent of the Hamiltonian, restricted to the nuclear space appearing in the rigged Hilbert space, can be continued across the absolutely continuous spectrum; the singularities of the continuation are the same as those of the ''out'' eigenvectors. The free, ''in'' and ''out'' eigenvectors with complex eigenvalues and those corresponding to resonances can be approximated by physical vectors in the Hilbert space, as plane waves can. The need for having some further physical information in addition to the specification of the total Hamiltonian is apparent in the proposed framework. The formalism is applied to the Lee–Friedrichs model and to the scattering of a spinless particle by a local central potential. Journal of Mathematical Physics is copyrighted by The American Institute of Physics.
Resumo:
The concept of an atomic decomposition was introduced by Coifman and Rochberg (1980) for weighted Bergman spaces on the unit disk. By the Riemann mapping theorem, functions in every simply connected domain in the complex plane have an atomic decomposition. However, a decomposition resulting from a conformal mapping of the unit disk tends to be very implicit and often lacks a clear connection to the geometry of the domain that it has been mapped into. The lattice of points, where the atoms of the decomposition are evaluated, usually follows the geometry of the original domain, but after mapping the domain into another this connection is easily lost and the layout of points becomes seemingly random. In the first article we construct an atomic decomposition directly on a weighted Bergman space on a class of regulated, simply connected domains. The construction uses the geometric properties of the regulated domain, but does not explicitly involve any conformal Riemann map from the unit disk. It is known that the Bergman projection is not bounded on the space L-infinity of bounded measurable functions. Taskinen (2004) introduced the locally convex spaces LV-infinity consisting of measurable and HV-infinity of analytic functions on the unit disk with the latter being a closed subspace of the former. They have the property that the Bergman projection is continuous from LV-infinity onto HV-infinity and, in some sense, the space HV-infinity is the smallest possible substitute to the space H-infinity of analytic functions. In the second article we extend the above result to a smoothly bounded strictly pseudoconvex domain. Here the related reproducing kernels are usually not known explicitly, and thus the proof of continuity of the Bergman projection is based on generalised Forelli-Rudin estimates instead of integral representations. The minimality of the space LV-infinity is shown by using peaking functions first constructed by Bell (1981). Taskinen (2003) showed that on the unit disk the space HV-infinity admits an atomic decomposition. This result is generalised in the third article by constructing an atomic decomposition for the space HV-infinity on a smoothly bounded strictly pseudoconvex domain. In this case every function can be presented as a linear combination of atoms such that the coefficient sequence belongs to a suitable Köthe co-echelon space.
Resumo:
We consider a modification of the three-dimensional Navier-Stokes equations and other hydrodynamical evolution equations with space-periodic initial conditions in which the usual Laplacian of the dissipation operator is replaced by an operator whose Fourier symbol grows exponentially as e(vertical bar k vertical bar/kd) at high wavenumbers vertical bar k vertical bar. Using estimates in suitable classes of analytic functions, we show that the solutions with initially finite energy become immediately entire in the space variables and that the Fourier coefficients decay faster than e-(C(k/kd) ln(vertical bar k vertical bar/kd)) for any C < 1/(2 ln 2). The same result holds for the one-dimensional Burgers equation with exponential dissipation but can be improved: heuristic arguments and very precise simulations, analyzed by the method of asymptotic extrapolation of van der Hoeven, indicate that the leading-order asymptotics is precisely of the above form with C = C-* = 1/ ln 2. The same behavior with a universal constant C-* is conjectured for the Navier-Stokes equations with exponential dissipation in any space dimension. This universality prevents the strong growth of intermittency in the far dissipation range which is obtained for ordinary Navier-Stokes turbulence. Possible applications to improved spectral simulations are briefly discussed.
Resumo:
The paper describes a semianalytic slope delay model for CMOS switch-level timing verification. It is characterised by classification of the effects of the input slope, internal size and load capacitance of a logic gate on delay time, and then the use of a series of carefully chosen analytic functions to estimate delay times under different circumstances. In the field of VLSI analysis, this model achieves improvements in speed and accuracy compared with conventional approaches to transistor-level and switch-level simulation.
Resumo:
A renderização de volume direta tornou-se uma técnica popular para visualização volumétrica de dados extraídos de fontes como simulações científicas, funções analíticas, scanners médicos, entre outras. Algoritmos de renderização de volume, como o raycasting, produzem imagens de alta qualidade. O seu uso, contudo, é limitado devido à alta demanda de processamento computacional e o alto uso de memória. Nesse trabalho, propomos uma nova implementação do algoritmo de raycasting que aproveita a arquitetura altamente paralela do processador Cell Broadband Engine, com seus 9 núcleos heterogêneos, que permitem renderização eficiente em malhas irregulares de dados. O poder computacional do processador Cell BE demanda um modelo de programação diferente. Aplicações precisam ser reescritas para explorar o potencial completo do processador Cell, que requer o uso de multithreading e código vetorizado. Em nossa abordagem, enfrentamos esse problema distribuindo a computação de cada raio incidente nas faces visíveis do volume entre os núcleos do processador, e vetorizando as operações da integral de iluminação em cada um. Os resultados experimentais mostram que podemos obter bons speedups reduzindo o tempo total de renderização de forma significativa.
Resumo:
The times spent by an electron in a scattering event or tunnelling through a potential barrier are investigated using a method based on the absorption probabilities. The reflection and transmission times derived from this method are equal to the local Larmor times if the transmission and reflection probability amplitudes are complex analytic functions of the complex potential. The numerical results show that they coincide with the phase times except as the incident electron energy approaches zero or when the transmission probability is too small. If the imaginary potential covers the whole space the tunnelling times are again equal to the phase times. The results show that the tunnelling times based on absorption probabilities are the best of the various candidates.
Resumo:
Physical modelling of musical instruments involves studying nonlinear interactions between parts of the instrument. These can pose several difficulties concerning the accuracy and stability of numerical algorithms. In particular, when the underlying forces are non-analytic functions of the phase-space variables, a stability proof can only be obtained in limited cases. An approach has been recently presented by the authors, leading to unconditionally stable simulations for lumped collision models. In that study, discretisation of Hamilton’s equations instead of the usual Newton’s equation of motion yields a numerical scheme that can be proven to be energy conserving. In this paper, the above approach is extended to collisions of distributed objects. Namely, the interaction of an ideal string with a flat barrier is considered. The problem is formulated within the Hamiltonian framework and subsequently discretised. The resulting nonlinearmatrix equation can be shown to possess a unique solution, that enables the update of the algorithm. Energy conservation and thus numerical stability follows in a way similar to the lumped collision model. The existence of an analytic description of this interaction allows the validation of the model’s accuracy. The proposed methodology can be used in sound synthesis applications involving musical instruments where collisions occur either in a confined (e.g. hammer-string interaction, mallet impact) or in a distributed region (e.g. string-bridge or reed-mouthpiece interaction).
Resumo:
Collisions are an innate part of the function of many musical instruments. Due to the nonlinear nature of contact forces, special care has to be taken in the construction of numerical schemes for simulation and sound synthesis. Finite difference schemes and other time-stepping algorithms used for musical instrument modelling purposes are normally arrived at by discretising a Newtonian description of the system. However because impact forces are non-analytic functions of the phase space variables, algorithm stability can rarely be established this way. This paper presents a systematic approach to deriving energy conserving schemes for frictionless impact modelling. The proposed numerical formulations follow from discretising Hamilton׳s equations of motion, generally leading to an implicit system of nonlinear equations that can be solved with Newton׳s method. The approach is first outlined for point mass collisions and then extended to distributed settings, such as vibrating strings and beams colliding with rigid obstacles. Stability and other relevant properties of the proposed approach are discussed and further demonstrated with simulation examples. The methodology is exemplified through a case study on tanpura string vibration, with the results confirming the main findings of previous studies on the role of the bridge in sound generation with this type of string instrument.
Resumo:
Esta dissertação descreve o processo de integração dos matemáticos portugueses na comunidade matemática internacional no final do século XIX e início do século XX, focando-se na vida e obra do matemático Francisco Gomes Teixeira (1851-1933). Tenciona a ser mais um contributo para o reconhecimento nacional e internacional do matemático Gomes Teixeira analisando a sua obra como matemático e organizador científico em Portugal através de fontes, parcialmente ainda não conhecidas. Para esse efeito analisou-se a evolução histórica que ocorreu no mundo científico daquela época, em particular a formação da comunidade matemática através de iniciativas individuais ou coletivas, muitas vezes acompanhadas pela fundação de revistas e elaboração de manuais que contribuíram para a internacionalização e, de certa forma, para uma estandardização do estudo universitário básico. Em particular foi estudada a situação em Portugal, onde o papel de liderança foi assumido por Gomes Teixeira. Mostra-se como Gomes Teixeira, graças ao seu trabalho, ao seu talento como matemático e à sua atividade como organizador académico, conseguiu reduzir significativamente o isolamento científico de Portugal na área da matemática. Estudou-se em extensão a fundação de revistas científicas em diferentes países, acompanhando a sua evolução desde de revistas nacionais até revistas internacionais. Focando-nos no Jornal de Sciencias Matemáticas e Astronómicas, fundado em 1877 por Gomes Teixeira (mais tarde conhecido internacionalmente como Teixeira’s Journal), acompanhamos detalhadamente a sua transformação de uma revista nacional numa revista internacional, sendo esta transformação comum naquela época à maioria de revistas científicas importantes de outros países como, por exemplo, no caso do Jornal de Crelle, do Jornal de Liouville, ou outros. Estudou-se igualmente o reconhecimento a nível internacional, através de referências estrangeiras, da abordagem original de Gomes Teixeira à Análise Infinitesimal patente nos seus manuais. O interesse de Gomes Teixeira pela teoria das funções analíticas e pelos seus diferentes desenvolvimentos em série manifestou-se no grande número de artigos publicados sobre este tema e encontrou reconhecimento justo pela designação de um teorema que completa resultados de Lagrange e de Laurent como Teorema de Teixeira. Na sua análise do mérito científico de Gomes Teixeira esta dissertação restringiu-se conscientemente nesta área da Análise Matemática, uma vez que um estudo abrangente de toda a obra ultrapassasse o nosso objetivo. Foi também discutido o intenso intercâmbio científico levado a cabo por Gomes Teixeira através de correspondência e troca de publicações ou permuta de revistas com os matemáticos de diferentes países. Esta análise permitiu verificar um aumento da popularidade dos matemáticos portugueses através do incremento do número de artigos publicados no estrangeiro durante quase 30 anos. Uma fonte imprescindível nesta análise foi o Jahrbuch über die Fortschritte der Mathematik, cujas referências (em geral na língua alemã e por isso até agora quase nunca usadas na literatura Portuguesa) documentaram as publicações em quase todas as revistas matemáticas durante os anos da sua existência entre 1868 e 1942. Descreve-se a colaboração de Gomes Teixeira com diferentes organizações internacionais e documenta-se o apreço internacional por parte do mundo académico. Novos documentos traçam o processo de eleição como membro da Academia das Ciências Alemã Leopoldina, sob proposta de Georg Cantor e outros matemáticos alemães. Finalmente, incluí-se uma breve descrição das atividades levadas a cabo na Rússia, em Espanha e na Grécia em prol do processo de internacionalização da comunidade matemática europeia tendo em vista uma melhor contextualização do contributo de Gomes Teixeira para a integração de Portugal neste processo.
Resumo:
Soit p un polynôme d'une variable complexe z. On peut trouver plusieurs inégalités reliant le module maximum de p et une combinaison de ses coefficients. Dans ce mémoire, nous étudierons principalement les preuves connues de l'inégalité de Visser. Nous montrerons aussi quelques généralisations de cette inégalité. Finalement, nous obtiendrons quelques applications de l'inégalité de Visser à l'inégalité de Chebyshev.
Resumo:
There is a recent trend to describe physical phenomena without the use of infinitesimals or infinites. This has been accomplished replacing differential calculus by the finite difference theory. Discrete function theory was first introduced in l94l. This theory is concerned with a study of functions defined on a discrete set of points in the complex plane. The theory was extensively developed for functions defined on a Gaussian lattice. In 1972 a very suitable lattice H: {Ci qmxO,I qnyo), X0) 0, X3) 0, O < q < l, m, n 5 Z} was found and discrete analytic function theory was developed. Very recently some work has been done in discrete monodiffric function theory for functions defined on H. The theory of pseudoanalytic functions is a generalisation of the theory of analytic functions. When the generator becomes the identity, ie., (l, i) the theory of pseudoanalytic functions reduces to the theory of analytic functions. Theugh the theory of pseudoanalytic functions plays an important role in analysis, no discrete theory is available in literature. This thesis is an attempt in that direction. A discrete pseudoanalytic theory is derived for functions defined on H.
Resumo:
Exam questions and solutions in PDF
Resumo:
Exercises and solutions in LaTex