Index | Problem Statement | Polygonal Regions | Bounded Smooth Regions | The Three Dimensional Case |
Links to related topics | Glossary | References

# Smooth Bounded Domains

Both parts of the illumination problem have been solved for smooth regions . In 1958, L. Penrose and R. Penrose answered question 1 negatively using a region grown on half of an ellipse.  Later on, other authors used Penrose's region to build different regions that provided a negative answer to question 2.  We describe in here how these regions solve the illumination problem for smooth regions.

## Penrose 's Mushroom

Figure 1- Penrsose Mushroom.

Let us consider a smooth region G made of the upper half of an ellipse and completed by a curve which connects the foci p and q by a straight segment and form two lobes as in Figure 1.  We will refer to this mushroom like shape as the Penrose's mushroom.

### Claim 1

Any ray beginnning in the left or right hand lobe of G never hits the line segment connecting the two foci.

### Proof

Recall that:
(1) in an ellipse, a ray issued from one focus will be reflected back to the other focus after hitting the boundary of the ellipse,
(2) when a ray hits the boundary, the angle of incidence is equal to the angle of reflection.

Let us consider, without loss of generality, a ray r leaving the left lobe from point a (see figure 2). Ray r will hit the boundary, say at point b, above line pq. It will then be reflected to hit the boundary again at point c. Let angle ABC be the angle made by point a, b and c. Note that angle ABC is the sum of the incident angle and the reflected angle made by ray r at point b.

Figure 2 - Evolution of ray r in Penrose's mushroom

Imagine now a ray u leaving focus p and hitting the boundary at point b. By (1), we know that ray u will be reflected back to the second focus q.  Let the angle PBQ be the angle made by p, b and q.

The angle of incidence of ray r at point b is always bigger than the angle of incidence of ray u at point b.  To be smaller, ray r would have to emerge to the right of focus p which is physically impossible since ray r starts in the right lobe. By (2) we conclude that angle ABC is always greater than angle PBQ.

Therefore, no matter in what direction ray r emerges out of the left lobe of G it will never be reflected onto line pq. By symmetry, this also holds for the right lobe.

### Claim 2

Any ray emerging from line pq, will never reach the left or right lobe.

### Proof

The geometry used to prove this is similar to the above. However, in this case, let ray r emerge from a point a on line pq. Then, the angle ABC, is bounded to be smaller than the angle OBQ - forcing the ray to reflect on the line pq - since the angle of incidence of ray r at point b is smaller than the angle of incidence of ray u at b.

## Negation of Question 1

Figure 3 - Shape negating question 1

We can now build a region H that will not be illuminable from any point located in either lobe. To do this, we add a little dimple below the line pq of region G (figure 3 ).  Because no ray emerging out of the lobe can be reflected on line pq, it will never enter the dimple put on this line. Therefore, region H is a not an illuminable region. This provides a negative answer to question 1 of the illumination problem for smooth surfaces.

## Negation of Question 2

Figure 4 - A region that is not directly illuminable

Connecting two Penrose mushrooms as shown in figure 4, we get a region that is not illuminable from any point.  Any ray starting in a region below pq will not illuminate regions labelled with an S. Similarly, any ray starting in a region above p'q' will not illuminate regions labelled with S'.  No matter where you put a light source in a room of this shape, there will always remain some dark areas. In other words, this region is not a directly illuminable region.

## Other Questions

The illumination problem as stated traditionally considers one light source illuminating a bounded region. Now that we have found some regions that are neither illuminable nor directry illuminable by one light source, we may wonder how many light sources are needed to illuminate such regions. It takes three light sources to illuminate Region H since it is the union of three starlike set. Rauch shows that it is possible to use a finite number of points to illuminate any bounded and smooth region. In order to prove this, he uses the following claim "Any bouded region G lying on one side of its C1 boundary is the finite union of starlike sets". He  also provide an example where a bounded region G, smooth in every point except one, gives raise to a region that is not illuminated from any finite set of points (figure 5).

Figure 5 - Region Not Illuminable
from any finite set of points

The illumination problem may be changed if the region is allowed to have holes or if constraints are added such as limiting the position of the light source to the boundary.

Index | Problem Statement | Polygonal Regions | Bounded Smooth Regions | The Three Dimensional Case |
Links to related topics | Glossary | References