<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Nice_name</id>
	<title>Nice name - Revision history</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/index.php?action=history&amp;feed=atom&amp;title=Nice_name"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Nice_name&amp;action=history"/>
	<updated>2026-05-03T21:35:20Z</updated>
	<subtitle>Revision history for this page on the wiki</subtitle>
	<generator>MediaWiki 1.43.0-wmf.28</generator>
	<entry>
		<id>https://en.formulasearchengine.com/index.php?title=Nice_name&amp;diff=15466&amp;oldid=prev</id>
		<title>en&gt;Helpful Pixie Bot: ISBNs (Build KF)</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/index.php?title=Nice_name&amp;diff=15466&amp;oldid=prev"/>
		<updated>2012-05-08T11:46:39Z</updated>

		<summary type="html">&lt;p&gt;ISBNs (Build KF)&lt;/p&gt;
&lt;p&gt;&lt;b&gt;New page&lt;/b&gt;&lt;/p&gt;&lt;div&gt;In [[mathematics]], a &amp;#039;&amp;#039;&amp;#039;Lipschitz domain&amp;#039;&amp;#039;&amp;#039; (or &amp;#039;&amp;#039;&amp;#039;domain with Lipschitz boundary&amp;#039;&amp;#039;&amp;#039;) is a [[Domain (mathematical analysis)|domain]] in [[Euclidean space]] whose boundary is &amp;quot;sufficiently regular&amp;quot; in the sense that it can be thought of as locally being the graph of a [[Lipschitz continuity|Lipschitz continuous function]]. The term is named after the [[Germany|German]] [[mathematician]] [[Rudolf Lipschitz]].&lt;br /&gt;
&lt;br /&gt;
==Definition==&lt;br /&gt;
&lt;br /&gt;
Let &amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;amp;nbsp;∈&amp;amp;nbsp;&amp;#039;&amp;#039;&amp;#039;N&amp;#039;&amp;#039;&amp;#039;, and let Ω be an [[open set|open]] and [[bounded set|bounded]] [[subset]] of &amp;#039;&amp;#039;&amp;#039;R&amp;#039;&amp;#039;&amp;#039;&amp;lt;sup&amp;gt;&amp;#039;&amp;#039;n&amp;#039;&amp;#039;&amp;lt;/sup&amp;gt;. Let ∂Ω denote the [[boundary (topology)|boundary]] of Ω. Then Ω is said to have &amp;#039;&amp;#039;&amp;#039;Lipschitz boundary&amp;#039;&amp;#039;&amp;#039;, and is called a &amp;#039;&amp;#039;&amp;#039;Lipschitz domain&amp;#039;&amp;#039;&amp;#039;, if, for every point &amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;amp;nbsp;∈&amp;amp;nbsp;∂Ω, there exists a radius &amp;#039;&amp;#039;r&amp;#039;&amp;#039;&amp;amp;nbsp;&amp;amp;gt;&amp;amp;nbsp;0 and a map &amp;#039;&amp;#039;h&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;&amp;amp;nbsp;:&amp;amp;nbsp;&amp;#039;&amp;#039;B&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;r&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;(&amp;#039;&amp;#039;p&amp;#039;&amp;#039;)&amp;amp;nbsp;→&amp;amp;nbsp;&amp;#039;&amp;#039;Q&amp;#039;&amp;#039; such that&lt;br /&gt;
* &amp;#039;&amp;#039;h&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt; is a [[bijection]];&lt;br /&gt;
* &amp;#039;&amp;#039;h&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt; and &amp;#039;&amp;#039;h&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;&amp;lt;sup&amp;gt;&amp;amp;minus;1&amp;lt;/sup&amp;gt; are both Lipschitz continuous functions;&lt;br /&gt;
* &amp;#039;&amp;#039;h&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;(∂Ω&amp;amp;nbsp;∩&amp;amp;nbsp;&amp;#039;&amp;#039;B&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;r&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;(&amp;#039;&amp;#039;p&amp;#039;&amp;#039;)) = &amp;#039;&amp;#039;Q&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;0&amp;lt;/sub&amp;gt;;&lt;br /&gt;
* &amp;#039;&amp;#039;h&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;p&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;(Ω&amp;amp;nbsp;∩&amp;amp;nbsp;&amp;#039;&amp;#039;B&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;&amp;#039;&amp;#039;r&amp;#039;&amp;#039;&amp;lt;/sub&amp;gt;(&amp;#039;&amp;#039;p&amp;#039;&amp;#039;)) = &amp;#039;&amp;#039;Q&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;+&amp;lt;/sub&amp;gt;;&lt;br /&gt;
where&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;B_{r} (p) := \{ x \in \mathbb{R}^{n} | \| x - p \| &amp;lt; r \}&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
denotes the &amp;#039;&amp;#039;n&amp;#039;&amp;#039;-[[dimension]]al [[open ball]] of radius &amp;#039;&amp;#039;r&amp;#039;&amp;#039; about &amp;#039;&amp;#039;p&amp;#039;&amp;#039;, &amp;#039;&amp;#039;Q&amp;#039;&amp;#039; denotes the unit ball &amp;#039;&amp;#039;B&amp;#039;&amp;#039;&amp;lt;sub&amp;gt;1&amp;lt;/sub&amp;gt;(0), and&lt;br /&gt;
&lt;br /&gt;
:&amp;lt;math&amp;gt;Q_{0} := \{ (x_{1}, \dots, x_{n}) \in Q | x_{n} = 0 \};&amp;lt;/math&amp;gt;&lt;br /&gt;
:&amp;lt;math&amp;gt;Q_{+} := \{ (x_{1}, \dots, x_{n}) \in Q | x_{n} &amp;gt; 0 \}.&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
==Applications of Lipschitz domains==&lt;br /&gt;
&lt;br /&gt;
Many of the [[Sobolev inequality|Sobolev embedding theorems]] require that the domain of study be a Lipschitz domain. Consequently, many [[partial differential equation]]s and [[calculus of variations|variational problems]] are defined on Lipschitz domains.&lt;br /&gt;
&lt;br /&gt;
==References==&lt;br /&gt;
&lt;br /&gt;
* {{cite book | author=Dacorogna, B. | title=Introduction to the Calculus of Variations | publisher=Imperial College Press, London | year=2004 | isbn=1-86094-508-2 }}&lt;br /&gt;
&lt;br /&gt;
[[Category:Geometry]]&lt;br /&gt;
[[Category:Lipschitz maps]]&lt;br /&gt;
[[Category:Sobolev spaces]]&lt;/div&gt;</summary>
		<author><name>en&gt;Helpful Pixie Bot</name></author>
	</entry>
</feed>