Photo-Carnot engine

Last updated

A photo-Carnot engine is a Carnot cycle engine in which the working medium is a photon inside a cavity with perfectly reflecting walls. Radiation is the working fluid, and the piston is driven by radiation pressure.

Contents

A quantum Carnot engine is one in which the atoms in the heat bath are given a small bit of quantum coherence. The phase of the atomic coherence provides a new control parameter. [1]

The deep physics behind the second law of thermodynamics is not violated; nevertheless, the quantum Carnot engine has certain features that are not possible in a classical engine.

Derivation

The internal energy of the photo-Carnot engine is proportional to the volume (unlike the ideal-gas equivalent) as well as the 4th power of the temperature (see Stefan–Boltzmann law) using Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle a = \frac {4\sigma}{c}} :

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle U = V\varepsilon aT^{4} \,.}

The radiation pressure is only proportional to this 4th power of temperature but no other variables, meaning that for this photo-Carnot engine an isotherm is equivalent to an isobar:

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle P = \frac{U}{3V} = \frac{\varepsilon aT^{4}}{3} \,.}

Using the first law of thermodynamics (Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle dU = dW + dQ}) we can determine the work done through an adiabatic () expansion by using the chain rule (Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle dU = \varepsilon aT^{4} dV + 4\varepsilon aVT^{3} dT}) and setting it equal to

Combining these Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle dW_V = dU} gives us Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle -\frac{1}{3} T dV = V dT} which we can solve to find Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle T^{3} V= \text{const} \,}, or equivalently Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle PV^{4/3}=\text{const}\,.}

Since the photo-Carnot engine needs a quantum coherence in the gas which is lost during the process, the rebuild of coherency takes more energy than is produced with the machine.

The efficiency of this reversible engine including the coherency must at most be the Carnot efficiency, regardless of the mechanism and so Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle \eta \le \frac{T_H - T_C}{T_H} =1-\frac{T_C}{T_H}\,.}

See also

Footnotes

  1. "Extracting Work from a Single Heat Bath via Vanishing Quantum Coherence – Marlan Scully, M. Suhail Zubairy, G. S. Agarwal, and Herbert Walther, 299 (5608): 862 – Science". www.sciencemag.org. Retrieved 2008-06-18.

Further reading


Related Research Articles

Continuum mechanics is a branch of mechanics that deals with the deformation of and transmission of forces through materials modeled as a continuous mass rather than as discrete particles. The French mathematician Augustin-Louis Cauchy was the first to formulate such models in the 19th century.

<span class="mw-page-title-main">Qubit</span> Basic unit of quantum information

In quantum computing, a qubit or quantum bit is a basic unit of quantum information—the quantum version of the classic binary bit physically realized with a two-state device. A qubit is a two-state quantum-mechanical system, one of the simplest quantum systems displaying the peculiarity of quantum mechanics. Examples include the spin of the electron in which the two levels can be taken as spin up and spin down; or the polarization of a single photon in which the two states can be taken to be the vertical polarization and the horizontal polarization. In a classical system, a bit would have to be in one state or the other. However, quantum mechanics allows the qubit to be in a coherent superposition of both states simultaneously, a property that is fundamental to quantum mechanics and quantum computing.

In mathematical logic and computer science, a general recursive function, partial recursive function, or μ-recursive function is a partial function from natural numbers to natural numbers that is "computable" in an intuitive sense – as well as in a formal one. If the function is total, it is also called a total recursive function. In computability theory, it is shown that the μ-recursive functions are precisely the functions that can be computed by Turing machines. The μ-recursive functions are closely related to primitive recursive functions, and their inductive definition (below) builds upon that of the primitive recursive functions. However, not every total recursive function is a primitive recursive function—the most famous example is the Ackermann function.

2 (two) is a number, numeral and digit. It is the natural number following 1 and preceding 3. It is the smallest and only even prime number. Because it forms the basis of a duality, it has religious and spiritual significance in many cultures.

In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces. The coproduct of a family of objects is essentially the "least specific" object to which each object in the family admits a morphism. It is the category-theoretic dual notion to the categorical product, which means the definition is the same as the product but with all arrows reversed. Despite this seemingly innocuous change in the name and notation, coproducts can be and typically are dramatically different from products.

<span class="mw-page-title-main">Egyptian fraction</span> Finite sum of distinct unit fractions

An Egyptian fraction is a finite sum of distinct unit fractions, such as

In algebraic number theory, a quadratic field is an algebraic number field of degree two over , the rational numbers.

In functional analysis and operator theory, a bounded linear operator is a linear transformation between topological vector spaces (TVSs) and that maps bounded subsets of to bounded subsets of If and are normed vector spaces, then is bounded if and only if there exists some Failed to parse : M>0 such that for all

A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum and a unique infimum. An example is given by the power set of a set, partially ordered by inclusion, for which the supremum is the union and the infimum is the intersection. Another example is given by the natural numbers, partially ordered by divisibility, for which the supremum is the least common multiple and the infimum is the greatest common divisor.

Sedimentation equilibrium in a suspension of different particles, such as molecules, exists when the rate of transport of each material in any one direction due to sedimentation equals the rate of transport in the opposite direction due to diffusion. Sedimentation is due to an external force, such as gravity or centrifugal force in a centrifuge.

In abstract algebra and number theory, Kummer theory provides a description of certain types of field extensions involving the adjunction of nth roots of elements of the base field. The theory was originally developed by Ernst Eduard Kummer around the 1840s in his pioneering work on Fermat's Last Theorem. The main statements do not depend on the nature of the field – apart from its characteristic, which should not divide the integer n – and therefore belong to abstract algebra. The theory of cyclic extensions of the field K when the characteristic of K does divide n is called Artin–Schreier theory.

In microeconomics, a consumer's Marshallian demand function is the quantity they demand of a particular good as a function of its price, their income, and the prices of other goods, a more technical exposition of the standard demand function. It is a solution to the utility maximization problem of how the consumer can maximize their utility for given income and prices. A synonymous term is uncompensated demand function, because when the price rises the consumer is not compensated with higher nominal income for the fall in their real income, unlike in the Hicksian demand function. Thus the change in quantity demanded is a combination of a substitution effect and a wealth effect. Although Marshallian demand is in the context of partial equilibrium theory, it is sometimes called Walrasian demand as used in general equilibrium theory.

<span class="mw-page-title-main">Statistical learning theory</span> Framework for machine learning

Statistical learning theory is a framework for machine learning drawing from the fields of statistics and functional analysis. Statistical learning theory deals with the statistical inference problem of finding a predictive function based on data. Statistical learning theory has led to successful applications in fields such as computer vision, speech recognition, and bioinformatics.

<span class="mw-page-title-main">Conway's Soldiers</span> Mathematical puzzle by John Conway

Conway's Soldiers or the checker-jumping problem is a one-person mathematical game or puzzle devised and analyzed by mathematician John Horton Conway in 1961. A variant of peg solitaire, it takes place on an infinite checkerboard. The board is divided by a horizontal line that extends indefinitely. Above the line are empty cells and below the line are an arbitrary number of game pieces, or "soldiers". As in peg solitaire, a move consists of one soldier jumping over an adjacent soldier into an empty cell, vertically or horizontally, and removing the soldier which was jumped over. The goal of the puzzle is to place a soldier as far above the horizontal line as possible.

In combinatorial mathematics, a q-exponential is a q-analog of the exponential function, namely the eigenfunction of a q-derivative. There are many q-derivatives, for example, the classical q-derivative, the Askey-Wilson operator, etc. Therefore, unlike the classical exponentials, q-exponentials are not unique. For example, is the q-exponential corresponding to the classical q-derivative while are eigenfunctions of the Askey-Wilson operators.

The sensitivity index or discriminability index or detectability index is a dimensionless statistic used in signal detection theory. A higher index indicates that the signal can be more readily detected.

In mathematics, a complete field is a field equipped with a metric and complete with respect to that metric. Basic examples include the real numbers, the complex numbers, and complete valued fields.

In the field of mathematical analysis, a general Dirichlet series is an infinite series that takes the form of

Abelian varieties are a natural generalization of elliptic curves, including algebraic tori in higher dimensions. Just as elliptic curves have a natural moduli space Failed to parse : {\displaystyle \mathcal{M}_{1,1}} over characteristic 0 constructed as a quotient of the upper-half plane by the action of , there is an analogous construction for abelian varieties using the Siegel upper half-space and the symplectic group .

<span class="mw-page-title-main">Rayleigh–Kuo criterion</span>

The Rayleigh–Kuo criterion is a stability condition for a fluid. This criterion determines whether or not a barotropic instability can occur, leading to the presence of vortices. The Kuo criterion states that for barotropic instability to occur, the gradient of the absolute vorticity must change its sign at some point within the boundaries of the current. Note that this criterion is a necessary condition, so if it does not hold it is not possible for a barotropic instability to form. But it is not a sufficient condition, meaning that if the criterion is met, this does not automatically mean that the fluid is unstable. If the criterion is not met, it is certain that the flow is stable.