944 resultados para Existence Theorems
Resumo:
The conditions under which the hydromagnetic interface waves can exist at a magnetic interface is deduced. Using these conditions, it is shown that a slow interface wave with a phase velocity about 5Km/s and a fast interface wave with a phase velocity 6.5 to 8km/s at the photospheric level can exist.
Resumo:
In this paper we prove two Paley-Wiener-type theorems for the Heisenberg group. One is for the group Fourier transform which is the analogue of the classical Paley-Wiener theorem. The other one is for the spectral projections associated to the sub-Laplacian
Resumo:
We prove a Wiener Tauberian theorem for the L-1 spherical functions on a semisimple Lie group of arbitrary real rank. We also establish a Schwartz-type theorem for complex groups. As a corollary we obtain a Wiener Tauberian type result for compactly supported distributions.
Resumo:
An important problem regarding pin joints in a thermal environment is addressed. The motivation emerges from structural safety requirements in nuclear and aerospace engineering. A two-dimensional model of a smooth, rigid misfit pin in a large isotropic sheet is considered as an abstraction. The sheet is subjected to a biaxial stress system and far-field unidirectional heat flow. The thermoelastic analysis is complex due to non-linear load-dependent contact and separation conditions at the pin-hole interface and the absence of existence and uniqueness theorems for the class of frictionless thermoelastic contact problems. Identification of relevant parameters and appropriate synthesis of thermal and mechanical variables enables the thermomechanical generalization of pin-joint behaviour. This paper then proceeds to explore the possibility of multiple solutions in such problems, especially interface contact configuration.
Resumo:
We re-examine holographic versions of the c-theorem and entanglement entropy in the context of higher curvature gravity and the AdS/CFT correspondence. We select the gravity theories by tuning the gravitational couplings to eliminate non-unitary operators in the boundary theory and demonstrate that all of these theories obey a holographic c-theorem. In cases where the dual CFT is even-dimensional, we show that the quantity that flow is the central charge associated with the A-type trace anomaly. Here, unlike in conventional holographic constructions with Einstein gravity, we are able to distinguish this quantity from other central charges or the leading coefficient in the entropy density of a thermal bath. In general, we are also able to identify this quantity with the coefficient of a universal contribution to the entanglement entropy in a particular construction. Our results suggest that these coefficients appearing in entanglement entropy play the role of central charges in odd-dimensional CFT's. We conjecture a new c-theorem on the space of odd-dimensional field theories, which extends Cardy's proposal for even dimensions. Beyond holography, we were able to show that for any even-dimensional CFT, the universal coefficient appearing the entanglement entropy which we calculate is precisely the A-type central charge.
Resumo:
A novel phase of nickel hydroxide with an average interlayer spacing 5.4-5.6 Angstrom has been synthesized which is neither ct nor beta type but is an interstratification of both. It ages to the beta form in strong alkali. These observations have implications on the dissolution-reprecipitation mechanism suggested for the alpha-->beta transformation of nickel hydroxide.
Resumo:
alpha-Hydroxides of nickel(II) and cobalt(II) are hydrotalcite-like phases, possessing a layered double hydroxide (LDH) structure even though there are no trivalent cations in the lattice. While the LDHs acquire a positive charge on the hydroxide layers by the incorporation of trivalent cations, we suggest that the alpha-hydroxides acquire a positive charge by partial protonation of the hydroxyl ions according to the equation M(OH)(2)+xH(+) --> [M(OH)(2-x)(H2O)(x)](x+). As in the LDHs, charge balance is restored by the incorporation of anions in the interlayer region. (C) 1997 Academic Press.
Resumo:
We establish conditions for the existence, in a chordal graph, of subgraphs homeomorphic to K-n (n greater than or equal to 3), K-m,K-n (m,n greater than or equal to 2), and wheels W-r (r greater than or equal to 3). Using these results, we develop a simple linear time algorithm for testing planarity of chordal graphs. We also show how these results lead to simple polynomial time algorithms for the Fixed Subgraph Homeomorphism problem on chordal graphs for some special classes of pattern graphs.
Resumo:
We know, from the classical work of Tarski on real closed fields, that elimination is, in principle, a fundamental engine for mechanized deduction. But, in practice, the high complexity of elimination algorithms has limited their use in the realization of mechanical theorem proving. We advocate qualitative theorem proving, where elimination is attractive since most processes of reasoning take place through the elimination of middle terms, and because the computational complexity of the proof is not an issue. Indeed what we need is the existence of the proof and not its mechanization. In this paper, we treat the linear case and illustrate the power of this paradigm by giving extremely simple proofs of two central theorems in the complexity and geometry of linear programming.
Resumo:
The crystal polymorphism of the anthelmintic drug, triclabendazole (TCB), is described. Two anhydrates (Forms I and II), three solvates, and an amorphous form have been previously mentioned. This study reports the crystal structures of Forms I (1) and II (2). These structures illustrate the uncommon phenomenon of tautomeric polymorphism. TCB exists as two tautomers A and B. Form I (Z'=2) is composed of two molecules of tautomer A while Form II (Z'=1) contains a 1:1 mixture of A and B. The polymorphs are also characterized by using other solid-state techniques (differential scanning calorimetry (DSC), thermal gravimetric analysis (TGA), PXRD, FT-IR, and NMR spectroscopy). Form I is the higher melting form (m.p.: 177 degrees C, Delta Hf=approximate to 105 +/- 4 Jg-1) and is the more stable form at room temperature. Form II is the lower melting polymorph (m.p.: 166 degrees C, Delta Hf=approximate to 86 +/- 3 Jg-1) and shows high kinetic stability on storage in comparison to the amorphous form but it transforms readily into Form I in a solution-mediated process. Crystal structure analysis of co-crystals 3-11 further confirms the existence of tautomeric polymorphism in TCB. In 3 and 11, tautomer A is present whereas in 4-10 the TCB molecule exists wholly as tautomer B. The DFT calculations suggest that the optimized tautomers A and B have nearly the same energies. Single point energy calculations reveal that tautomer A (in Form I) exists in two low-energy conformations, whereas in Form II both tautomers A and B exist in an unfavorable high-energy conformation, stabilized by a five-point dimer synthon. The structural and thermodynamic features of 1-11 are discussed in detail. Triclabendazole is an intriguing case in which tautomeric and conformational variations co-exist in the polymorphs.