3-oxoacyl-(acyl-carrier-protein) reductase (NADH): Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Citation bot 1
m Citations: [Pu184]Tweaked: doi. You can use this bot yourself. Report bugs here.
 
en>Addbot
m Bot: Migrating 3 interwiki links, now provided by Wikidata on d:q2646487
 
Line 1: Line 1:
The author's title is Christy Brookins. Credit authorising is exactly where my primary income arrives from. Ohio is where his house is and his family loves it. What me and my family members adore is doing ballet but I've been using on new things lately.<br><br>Here is my webpage: [http://myoceancounty.net/groups/apply-these-guidelines-when-gardening-and-grow/ love psychic readings]
In [[mathematics]], particularly [[numerical analysis]], the '''Bramble–Hilbert [[lemma (mathematics)|lemma]]''', named after [[James H. Bramble]] and [[Stephen Hilbert]], bounds the [[approximation error|error]] of an [[approximation]] of a [[function (mathematics)|function]] <math>\textstyle u</math> by a [[polynomial]] of order at most <math>\textstyle m-1</math> in terms of [[derivative (mathematics)|derivatives]] of <math>\textstyle u</math> of order <math>\textstyle m</math>. Both the error of the approximation and the derivatives of <math>\textstyle u</math> are measured by [[Lp space|<math>\textstyle L^{p}</math> norms]] on a [[Bounded set|bounded]] [[Domain (mathematical analysis)|domain]] in <math>\textstyle \mathbb{R}^{n}</math>. This is similar to classical numerical analysis, where, for example, the error of [[linear interpolation]] <math>\textstyle u</math> can be bounded using the second derivative of <math>\textstyle u</math>. However, the Bramble–Hilbert lemma applies in any number of dimensions, not just one dimension, and the approximation error and the derivatives of <math>\textstyle u</math> are measured by more general norms involving averages, not just the [[maximum norm]].
 
Additional assumptions on the domain are needed for the Bramble–Hilbert lemma to hold. Essentially, the [[Boundary (topology)|boundary]] of the domain must be "reasonable". For example, domains that have a spike or a slit with zero angle at the tip are excluded. [[Lipschitz domain]]s are reasonable enough, which includes [[Convex set|convex]] domains and domains with [[continuously differentiable]] boundary.
 
The main use of the Bramble–Hilbert lemma is to prove bounds on the error of interpolation of function <math>\textstyle u</math> by an operator that preserves polynomials of order up to <math>\textstyle m-1</math>, in terms of the derivatives of <math>\textstyle u</math> of order <math>\textstyle m</math>. This is an essential step in error estimates for the [[finite element method]]. The Bramble–Hilbert lemma is applied there on the domain consisting of one element (or, in some [[superconvergence]] results, a small number of elements).
 
==The one-dimensional case==
 
Before stating the lemma in full generality, it is useful to look at some simple special cases. In one dimension and for a function <math>\textstyle u</math> that has <math>\textstyle m</math> derivatives on interval <math>\textstyle \left(  a,b\right)  </math>, the lemma reduces to
 
:<math> \inf_{v\in P_{m-1}}\bigl\Vert u^{\left(  k\right)  }-v^{\left(  k\right) }\bigr\Vert_{L^{p}\left(  a,b\right)  }\leq C\left(  m\right)  \left( b-a\right)  ^{m-k}\bigl\Vert u^{\left(  m\right)  }\bigr\Vert_{L^{p}\left( a,b\right)  }, </math>
 
where <math>\textstyle P_{m-1}</math> is the space of all polynomials of order at most <math>\textstyle m-1</math>.
 
In the case when <math>\textstyle p=\infty</math>, <math>\textstyle m=2</math>, <math>\textstyle k=0</math>, and <math>\textstyle u</math> is twice differentiable, this means that there exists a polynomial <math>\textstyle v</math> of degree one such that for all <math>\textstyle x\in\left(  a,b\right)  </math>,
 
:<math> \left\vert u\left(  x\right)  -v\left(  x\right)  \right\vert \leq C\left( b-a\right)  ^{2}\sup_{\left(  a,b\right)  }\left\vert u^{\prime\prime }\right\vert. </math>
 
This inequality also follows from the well-known error estimate for linear interpolation by choosing <math>\textstyle v</math> as the linear interpolant of <math>\textstyle u</math>.
 
==Statement of the lemma==
{{Dubious|Dependence of the constant|date=October 2011}}
Suppose <math>\textstyle \Omega</math> is a bounded domain in <math>\textstyle \mathbb{R}^n</math>, <math>\textstyle n\geq1</math>, with boundary <math>\textstyle \partial\Omega</math> and [[diameter]] <math>\textstyle d</math>. <math>\textstyle W_p^k(\Omega)</math> is the [[Sobolev space]] of all function <math>\textstyle u</math> on <math>\textstyle \Omega</math> with [[weak derivative]]s <math>\textstyle D^\alpha u</math> of order <math>\textstyle \left\vert \alpha\right\vert </math> up to <math>\textstyle k</math> in <math>\textstyle L^p(\Omega)</math>. Here, <math>\textstyle \alpha=\left(  \alpha_1,\alpha_2,\ldots,\alpha_n\right)  </math> is a [[multiindex]], <math>\textstyle \left\vert \alpha\right\vert =</math> <math>\textstyle \alpha_1+\alpha_2+\cdots+\alpha_n</math> and <math>\textstyle D^\alpha</math> denotes the derivative <math>\textstyle \alpha_1</math> times with respect to <math>\textstyle x_1</math>, <math>\textstyle \alpha_2</math> times with respect to <math>\textstyle x_2</math>, and so on. The Sobolev seminorm on <math>\textstyle W_p^m(\Omega)</math> consists of the <math>\textstyle L^p</math> norms of the highest order derivatives,
 
:<math> \left\vert u\right\vert _{W_p^m(\Omega)}=\left(  \sum_{\left\vert \alpha\right\vert =m}\left\Vert D^\alpha  u\right\Vert_{L^p(\Omega)}^p\right)  ^{1/p}\text{ if }1\leq p<\infty </math>
 
and
 
:<math> \left\vert u\right\vert _{W_\infty^{m}(\Omega)}=\max_{\left\vert \alpha\right\vert =m}\left\Vert D^{\alpha}u\right\Vert _{L^\infty(\Omega)}</math>
 
<math>\textstyle P_k</math> is the space of all polynomials of order up to <math>\textstyle k</math> on <math>\textstyle \mathbb{R}^n</math>. Note that <math>\textstyle D^{\alpha}v=0</math> for all <math>\textstyle v\in P_{m-1}</math>. and <math>\textstyle \left\vert \alpha\right\vert =m</math>, so <math>\textstyle \left\vert u+v\right\vert _{W_p^m(\Omega)}</math> has the same value for any <math>\textstyle v\in P_{k-1}</math>.
 
'''Lemma''' (Bramble and Hilbert) Under additional assumptions on the domain <math>\textstyle \Omega</math>, specified below, there exists a constant <math>\textstyle C=C\left( m,\Omega\right)  </math> independent of <math>\textstyle p</math> and <math>\textstyle u</math> such that for any <math>\textstyle u\in W_p^k(\Omega)</math> there exists a polynomial <math>\textstyle v\in P_{m-1}</math> such that for all <math>\textstyle k=0,\ldots,m,</math>
 
:<math> \left\vert u-v\right\vert _{W_p^k(\Omega)}\leq Cd^{m-k}\left\vert u\right\vert _{W_p^m(\Omega)}. </math>
 
==The original result==
 
The lemma was proved by Bramble and Hilbert <ref name="Bramble-1970-ELF">J. H. Bramble and S. R. Hilbert. Estimation of linear functionals on Sobolev spaces with application to Fourier transforms and spline interpolation. ''SIAM J. Numer. Anal.'', 7:112–124, 1970.
 
</ref> under the assumption that <math>\textstyle \Omega</math> satisfies the [[strong cone property]]; that is, there exists a finite open covering <math>\textstyle \left\{  O_{i}\right\}  </math> of <math>\textstyle \partial\Omega</math> and corresponding cones <math>\textstyle \{C_{i}\}</math> with vertices at the origin such that <math>\textstyle x+C_{i}</math> is contained in <math>\textstyle \Omega</math> for any <math>\textstyle x</math> <math>\textstyle \in\Omega\cap O_{i}</math>.
 
The statement of the lemma here is a simple rewriting of the right-hand inequality stated in Theorem 1 in.<ref name="Bramble-1970-ELF"/> The actual statement in <ref name="Bramble-1970-ELF"/> is that the norm of the factorspace <math>\textstyle W_{p}^{m}(\Omega)/P_{m-1}</math> is equivalent to the <math>\textstyle W_{p}^{m}(\Omega)</math> seminorm. The <math>\textstyle W_{p}^{m}(\Omega)</math> norm is not the usual one but the terms are scaled with <math>\textstyle d</math> so that the right-hand inequality in the equivalence of the seminorms comes out exactly as in the statement here.
 
In the original result, the choice of the polynomial is not specified, and the value of constant and its dependence on the domain <math>\textstyle \Omega</math> cannot be determined from the proof.
 
==A constructive form==
 
An alternative result was given by Dupont and Scott <ref name="Dupont-1980-PAF">Todd Dupont and Ridgway Scott. Polynomial approximation of functions in Sobolev spaces. ''Math. Comp.'', 34(150):441–463, 1980.</ref> under the assumption that the domain <math>\textstyle \Omega</math> is [[star-shaped]]; that is, there exists a ball <math>\textstyle B</math> such that for any <math>\textstyle x\in\Omega</math>, the closed [[convex hull]] of <math>\textstyle \left\{  x\right\}  \cup B</math> is a subset of <math>\textstyle \Omega</math>. Suppose that <math>\textstyle \rho _\max</math> is the supremum of the diameters of such balls. The ratio <math>\textstyle \gamma=d/\rho_\max</math> is called the chunkiness of <math>\textstyle \Omega</math>.
 
Then the lemma holds with the constant <math>\textstyle C=C\left(  m,n,\gamma\right)  </math>, that is, the constant depends on the domain <math>\textstyle \Omega</math> only through its chunkiness <math>\textstyle \gamma</math> and the dimension of the space <math>\textstyle n</math>. In addition, <math>v</math> can be chosen as <math>v=Q^m u</math>, where <math>\textstyle Q^m u</math> is the averaged [[Taylor polynomial]], defined as
 
:<math> Q^{m}u=\int_B T_y^mu\left(  x\right)  \psi\left(  y\right) \, dx, </math>
 
where
 
:<math> T_y^m u\left(  x\right)  =\sum\limits_{k=0}^{m-1}\sum\limits_{\left\vert \alpha\right\vert =k}\frac{1}{\alpha!}D^\alpha u\left(  y\right)  \left( x-y\right)^\alpha</math>
 
is the Taylor polynomial of degree at most <math>\textstyle m-1</math> of <math>\textstyle u</math> centered at <math>\textstyle y</math> evaluated at <math>\textstyle x</math>, and <math>\textstyle \psi\geq0</math> is a function that has derivatives of all orders, equals to zero outside of <math>\textstyle B</math>, and such that
 
:<math> \int_B\psi \, dx=1. </math>
 
Such function <math>\textstyle \psi</math> always exists.
 
For more details and a tutorial treatment, see the monograph by [[Susanne Brenner|Brenner]] and Scott.<ref name="Brenner-2002-MTF">[[Susanne Brenner|Susanne C. Brenner]] and L. Ridgway Scott. ''The mathematical theory of finite element methods'', volume 15 of ''Texts in Applied Mathematics''. Springer-Verlag, New York, second edition, 2002. ISBN 0-387-95451-1
 
</ref> The result can be extended to the case when the domain <math>\textstyle \Omega</math> is the union of a finite number of star-shaped domains, which is slightly more general than the strong cone property, and other polynomial spaces than the space of all polynomials up to a given degree.<ref name="Dupont-1980-PAF"/>
 
==Bound on linear functionals==
 
This result follows immediately from the above lemma, and it is also called sometimes the Bramble–Hilbert lemma, for example by [[Philippe G. Ciarlet|Ciarlet]].<ref name="Ciarlet-2002-FEM">[[Philippe G. Ciarlet]]. ''The finite element method for elliptic problems'', volume 40 of ''Classics in Applied Mathematics''. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2002. Reprint of the 1978 original [North-Holland, Amsterdam]. ISBN 0-89871-514-8
 
</ref> It is essentially Theorem 2 from.<ref name="Bramble-1970-ELF"/>
 
'''Lemma''' Suppose that <math>\textstyle \ell</math> is a [[continuous linear functional]] on <math>\textstyle W_{p}^{m}(\Omega)</math> and <math>\textstyle \left\Vert \ell\right\Vert _{W_{p}^{m}(\Omega )^{^{\prime}}}</math> its [[dual norm]]. Suppose that <math>\textstyle \ell\left(  v\right)  =0</math> for all <math>\textstyle v\in P_{m-1}</math>. Then there exists a constant <math>\textstyle C=C\left(  \Omega\right)  </math> such that
 
:<math> \left\vert \ell\left(  u\right)  \right\vert \leq C\left\Vert \ell\right\Vert _{W_{p}^{m}(\Omega)^{^{\prime}}}\left\vert u\right\vert _{W_{p}^{m}(\Omega)}. </math>
 
==References==
<!-- this 'empty' section displays references defined elsewhere -->
{{reflist}}
 
==External links==
* {{Springer|id=B/b130220|author=Raytcho D. Lazarov|title=Bramble–Hilbert lemma}}
* http://aps.arxiv.org/abs/0710.5148 – Jan Mandel: The Bramble–Hilbert Lemma
 
{{DEFAULTSORT:Bramble-Hilbert Lemma}}
[[Category:Lemmas]]
[[Category:Approximation theory]]
[[Category:Finite element method]]

Latest revision as of 18:53, 17 March 2013

In mathematics, particularly numerical analysis, the Bramble–Hilbert lemma, named after James H. Bramble and Stephen Hilbert, bounds the error of an approximation of a function u by a polynomial of order at most m1 in terms of derivatives of u of order m. Both the error of the approximation and the derivatives of u are measured by Lp norms on a bounded domain in n. This is similar to classical numerical analysis, where, for example, the error of linear interpolation u can be bounded using the second derivative of u. However, the Bramble–Hilbert lemma applies in any number of dimensions, not just one dimension, and the approximation error and the derivatives of u are measured by more general norms involving averages, not just the maximum norm.

Additional assumptions on the domain are needed for the Bramble–Hilbert lemma to hold. Essentially, the boundary of the domain must be "reasonable". For example, domains that have a spike or a slit with zero angle at the tip are excluded. Lipschitz domains are reasonable enough, which includes convex domains and domains with continuously differentiable boundary.

The main use of the Bramble–Hilbert lemma is to prove bounds on the error of interpolation of function u by an operator that preserves polynomials of order up to m1, in terms of the derivatives of u of order m. This is an essential step in error estimates for the finite element method. The Bramble–Hilbert lemma is applied there on the domain consisting of one element (or, in some superconvergence results, a small number of elements).

The one-dimensional case

Before stating the lemma in full generality, it is useful to look at some simple special cases. In one dimension and for a function u that has m derivatives on interval (a,b), the lemma reduces to

infvPm1u(k)v(k)Lp(a,b)C(m)(ba)mku(m)Lp(a,b),

where Pm1 is the space of all polynomials of order at most m1.

In the case when p=, m=2, k=0, and u is twice differentiable, this means that there exists a polynomial v of degree one such that for all x(a,b),

|u(x)v(x)|C(ba)2sup(a,b)|u|.

This inequality also follows from the well-known error estimate for linear interpolation by choosing v as the linear interpolant of u.

Statement of the lemma

To succeed in selling a home, it is advisable be competent in real estate advertising and marketing, authorized, monetary, operational aspects, and other information and skills. This is essential as a result of you want to negotiate with more and more sophisticated buyers. You could outperform rivals, use latest technologies, and stay ahead of the fast altering market.

Home is where the center is, and choosing the right house is a part of guaranteeing a contented expertise in Singapore. Most expats sign up for a two-year lease with the option to resume, so it is value taking the time to choose a neighbourhood that has the services you want. The experts at Expat Realtor have compiled the next data that will help you negotiate your means by way of the property minefield. Some government state properties for rent. Over 2000 units available for lease however occupancy is often excessive. Some properties come under a bidding system. Their property brokers embody DTZ and United Premas. Up to date serviced residences located just off Orchard Highway. one hundred sixty Orchard Highway, #06-01 Orchard Level, Singapore 238842. Institute Of Property Agents

There is no such thing as a deal too small. Property agents who're willing to find time for any deal even when the commission is small are those you want in your side. They also show humbleness and might relate with the average Singaporean higher. Relentlessly pursuing any deal, calling prospects even without being prompted. Even when they get rejected a hundred times, they still come back for more. These are the property brokers who will find consumers what they want finally, and who would be the most profitable in what they do. four. Honesty and Integrity

As a realtor, you're our own business. Due to this fact, it is imperative that you handle yours prices and spend money correctly in order to market your property successfully. Also, beware of mentors who always ask you to pay for pointless costs. Such mentors typically are recruiting to develop a staff and see you as a option to defray advertising and marketing prices. For foreigners who want to register with CEA as salespersons, they might want to have a valid Employment Cross (EP) issued by the Ministry of Manpower (MOM). They should consult an property agent that is ready to assist their future registration software, who would then examine with CEA. Thereafter, after they register for the RES Course, they might want to produce a letter of assist from the property agent."

Main Real Property Brokers with in depth local knowledge, Carole Ann, Elizabeth and their group of extremely skilled property consultants provide a personalised service, for those looking to buy, lease or promote in Singapore. Relocation companies out there. Properties for the aesthete. Boutique real property agency for architecturally distinguished, unique properties for rent and on the market. Caters to the niche market of design-savvy people. Sale, letting and property management and taxation services. three Shenton Means, #10-08 Shenton Home, Singapore 068805. Buy property, promote or leasing estate company. 430 Lorong 6 Toa Payoh, #08-01 OrangeTee Constructing, Singapore 319402. HIGH Date / Age of property Estate Agents and Home Search Services Property Information Highlights Prime Achievers

From the above info, you may see that saving on agent's commission will not cover the expenses wanted to market your home efficiently. As well as, it's essential make investments a whole lot of time, vitality and effort. By taking yourself away from your work and other endeavors, additionally, you will incur unnecessary opportunity prices. There may be additionally no assurance you could beat the market and get the outcomes you need. That is why you want an agent - not simply an ordinary agent - you want knowledgeable and competent specialist, geared up with the best instruments and knowledge to serve you and lead you to success! Within the midst of this ‘uniquely Singapore' Property GSS, our most needed foreign customers are nowhere to be seen. Different types of Public Residential properties

Based on Kelvin, other agents may also make use of your agent's listings. "If your pricing is on the excessive aspect, these brokers may use your house to persuade their patrons why Http://Trafficstooges.Com/Singapore-Property-Condominium they should purchase another residence." To counter this, Kelvin says it is crucial for your agent to supply a current market analysis before putting up your private home for sale. "This helps you worth your property appropriately and realistically." When property is made accessible (HIGH is issued) to the client. Becoming a successful property agent is a distinct story altogether! Hi, I would like to ask how I might be a property agent and whether there are courses I might take. And if I need to be at a certain age. www. Property BUYER com.sg (your impartial Mortgage Advisor) In private properties in Suppose Ω is a bounded domain in n, n1, with boundary Ω and diameter d. Wpk(Ω) is the Sobolev space of all function u on Ω with weak derivatives Dαu of order |α| up to k in Lp(Ω). Here, α=(α1,α2,,αn) is a multiindex, |α|= α1+α2++αn and Dα denotes the derivative α1 times with respect to x1, α2 times with respect to x2, and so on. The Sobolev seminorm on Wpm(Ω) consists of the Lp norms of the highest order derivatives,

|u|Wpm(Ω)=(|α|=mDαuLp(Ω)p)1/p if 1p<

and

|u|Wm(Ω)=max|α|=mDαuL(Ω)

Pk is the space of all polynomials of order up to k on n. Note that Dαv=0 for all vPm1. and |α|=m, so |u+v|Wpm(Ω) has the same value for any vPk1.

Lemma (Bramble and Hilbert) Under additional assumptions on the domain Ω, specified below, there exists a constant C=C(m,Ω) independent of p and u such that for any uWpk(Ω) there exists a polynomial vPm1 such that for all k=0,,m,

|uv|Wpk(Ω)Cdmk|u|Wpm(Ω).

The original result

The lemma was proved by Bramble and Hilbert [1] under the assumption that Ω satisfies the strong cone property; that is, there exists a finite open covering {Oi} of Ω and corresponding cones {Ci} with vertices at the origin such that x+Ci is contained in Ω for any x ΩOi.

The statement of the lemma here is a simple rewriting of the right-hand inequality stated in Theorem 1 in.[1] The actual statement in [1] is that the norm of the factorspace Wpm(Ω)/Pm1 is equivalent to the Wpm(Ω) seminorm. The Wpm(Ω) norm is not the usual one but the terms are scaled with d so that the right-hand inequality in the equivalence of the seminorms comes out exactly as in the statement here.

In the original result, the choice of the polynomial is not specified, and the value of constant and its dependence on the domain Ω cannot be determined from the proof.

A constructive form

An alternative result was given by Dupont and Scott [2] under the assumption that the domain Ω is star-shaped; that is, there exists a ball B such that for any xΩ, the closed convex hull of {x}B is a subset of Ω. Suppose that ρmax is the supremum of the diameters of such balls. The ratio γ=d/ρmax is called the chunkiness of Ω.

Then the lemma holds with the constant C=C(m,n,γ), that is, the constant depends on the domain Ω only through its chunkiness γ and the dimension of the space n. In addition, v can be chosen as v=Qmu, where Qmu is the averaged Taylor polynomial, defined as

Qmu=BTymu(x)ψ(y)dx,

where

Tymu(x)=k=0m1|α|=k1α!Dαu(y)(xy)α

is the Taylor polynomial of degree at most m1 of u centered at y evaluated at x, and ψ0 is a function that has derivatives of all orders, equals to zero outside of B, and such that

Bψdx=1.

Such function ψ always exists.

For more details and a tutorial treatment, see the monograph by Brenner and Scott.[3] The result can be extended to the case when the domain Ω is the union of a finite number of star-shaped domains, which is slightly more general than the strong cone property, and other polynomial spaces than the space of all polynomials up to a given degree.[2]

Bound on linear functionals

This result follows immediately from the above lemma, and it is also called sometimes the Bramble–Hilbert lemma, for example by Ciarlet.[4] It is essentially Theorem 2 from.[1]

Lemma Suppose that is a continuous linear functional on Wpm(Ω) and Wpm(Ω) its dual norm. Suppose that (v)=0 for all vPm1. Then there exists a constant C=C(Ω) such that

|(u)|CWpm(Ω)|u|Wpm(Ω).

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

External links

  • Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.

    my web-site http://himerka.com/
  • http://aps.arxiv.org/abs/0710.5148 – Jan Mandel: The Bramble–Hilbert Lemma
  1. 1.0 1.1 1.2 1.3 J. H. Bramble and S. R. Hilbert. Estimation of linear functionals on Sobolev spaces with application to Fourier transforms and spline interpolation. SIAM J. Numer. Anal., 7:112–124, 1970.
  2. 2.0 2.1 Todd Dupont and Ridgway Scott. Polynomial approximation of functions in Sobolev spaces. Math. Comp., 34(150):441–463, 1980.
  3. Susanne C. Brenner and L. Ridgway Scott. The mathematical theory of finite element methods, volume 15 of Texts in Applied Mathematics. Springer-Verlag, New York, second edition, 2002. ISBN 0-387-95451-1
  4. Philippe G. Ciarlet. The finite element method for elliptic problems, volume 40 of Classics in Applied Mathematics. Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 2002. Reprint of the 1978 original [North-Holland, Amsterdam]. ISBN 0-89871-514-8